搜索到653942篇“ COMPUTABILITY“的相关文章
- 论可计算性及其社会后果
- 2025年
- 在数智媒介时代,人类已置身于具有高度生成性和不确定性的平台世界,可计算性成为数字基础设施的灵魂。这种可计算性由数字的可换算性和可编码性构成,具有数字本体论的色彩。可计算性组织起来的平台世界极大地动摇了我们既有的知识体系,改变了我们的社会交往方式,甚至重构了我们存在的意义。可计算性本身就是当代人类的重要标识,它在与人类的共在关系中生成,人类也因此必须承担它带来的后果。人类迫切需要在可计算性组织起来的庞大机器体系面前,寻找自己的主体性、差异性以及生命过程的独一无二性。
- 胡翼青滕金达
- 关键词：可计算性
- 基于可观性和可计算性的配电网关键量测识别方法被引量：3
- 2024年
- 随着现代配电系统中分布式能源和柔性负荷的广泛集成,引起运行特性及拓扑均存在动态变化,因此亟需提升系统可观性。针对量测冗余度较低时传统可观性分析方法对配电网量测部署的指导作用不足的问题,提出基于可观性和可计算性的配电网关键量测识别方法。首先,使用数值可观性分析方法计算存量量测下的可观岛划分情况和可观性指标;然后,提出基于节点信息熵的可计算性评价指标,通过执行蒙特卡洛模拟得到可计算性评价指标;最后,基于可观性、可计算性指标提出配电网关键量测识别方法,并给出最优量测配置方案。案例分析表明,所提方法具有较高有效性和可行性,可为后续研究提供有力支撑。
- 陈培育金尧郑骁麟程茹芸张加东徐弢
- 关键词：配电网可观性可计算性状态估计
- 计算法学:法律如何实现可计算——以方法论和认识论为分析视角被引量：1
- 2024年
- 计算机技术与法学的融合促进了计算法学的形成。计算法学注重通过计算机技术对法律进行编码,用计算机代码表示、适用、解释和履行法律,甚至执行法律。为推动计算法学的进一步发展,学术研究必须回答“法律如何实现可计算”这个基本的理论问题。研究发现,在方法论和认识论视角下,有法律信息检索的智能化、法律合规标准的动态规则化、法律学术的数据化、法律规制工具的代码化,以及法律认知的可识别化五种途径实现可计算目标。同时,通过对这五种途径背后具有代表性的不同流派与设计理念的提炼,可在理论上回答和论证“法律如何实现可计算”的问题。这种“一花五蕊”的繁荣景象大大拓展了计算法学的疆域和学科前沿,在理论上初步构建了计算法学概念的外延。要完善计算法学的理论体系,还应在本体论之上构建概念内涵。从方法论和认识论到本体论的升华,是计算法学走向成熟和成为一门独立学科的必然路径。
- 徐冬根
- 关键词：本体论
- 论教育的可计算性被引量：8
- 2023年
- 在新一代信息技术和计算主义思潮的影响下,计算成为21世纪的视角,“计算型社会”正在形成,教育科研领域也深受计算的影响,诞生出新的学科研究方向、研究范式和研究思想。研究以此为背景,探索与讨论了教育可计算具备的理论和现实条件,阐明了教育计算在全方位感知教育教学情境、全维度理解教育教学主体、个性化供给教育教学服务这三个方面的内涵。最后,梳理了新技术、新范式和新思想带来的挑战,提出要审慎利用计算和计算主义思想推动教育研究量化工作发展,解决新型伦理问题,实现人文色彩的重赋。
- 刘三郝晓晗李卿
- 关键词：可计算性
- 哥德尔与可计算性理论——哥德尔可以有丘奇-图灵论题吗?
- 2022年
- 将非形式的“能行可计算性”概念等同于严格的数学概念“一般递归函数”或是“图灵可计算性”,这被称之为“丘奇-图灵论题”(Church-Turing Thesis,CTT),它被视为用逻辑的方式来澄清概念的一个典范。本文以哥德尔在可计算性理论发展中的角色为参照点,从历史考察以及哲学分析的角度来试图回答这样两个相关的问题:虽然哥德尔已经掌握了足够的技术细节,但是他为什么不愿意提出一个后来被证明是和CTT等价的“哥德尔论题”?其次,尽管对丘奇论题非常不满,但是为什么哥德尔后来还是为图灵的分析信服而最终愿意相信CTT的正确性?本文将从哥德尔的概念实在论视角出发提出一个不同于费佛曼和戴维斯的回答,并且以概念分析的公理化方法考察图灵论题相对于丘奇论题的优越性,以期更好地理解哥德尔的实在论和CTT所带来的认识论挑战。
- 陈龙
- 关键词：哥德尔公理化方法
- “可计算性”:人工智能时代的资本主义意识形态镜像被引量：2
- 2020年
- 对人工智能时代资本主义意识形态的研究不能仅停于技术层面,而应深入被植入底层的“可计算性”思维图式。“可计算性”思维图式是人工智能时代资本主义意识形态研究领域最具统摄性和阐释性的关键概念,其内核是计算思维。“可计算性”思维图式是根源于资本现代性的一种形式化理性,它既将资本改造为由形式化理性武装起来的现代资本,又将形式化理性重塑为凭借资本力量而不断发展的意识形态,因而构成资本主义意识形态的隐秘逻辑。这一逻辑随着人工智能技术的发展贯彻于算法权力规训与数据化个体实践之间的矛盾运动中,应警惕隐含于其中的意识形态霸权带来的社会主义意识形态安全风险。
- 曾庆娣
- 关键词：人工智能
- 会计核算的能行可计算性研究被引量：1
- 2020年
- 大数据时代,人工智能(AI)浪潮以不可阻挡之势汹涌而来,会计职业是首当其冲的职业之一。会计从业人员与其被动地适应AI,不如主动地在现有制度、准则环境中寻找和发现AI应用领域,探寻会计AI的实现路径。本文发现会计架构是天然的能行可计算函数:但会计的感知过程存在大量非确定性概念。基于此,本文发现会计学科的整体升级在现阶段仍属于起步准备阶段,但基于特定企业的会计信息AI化已满足实现条件。会计学科已经开始进入AI化升级时期,这个时期将产生大量的理论和实务成果,会计教学和从业人员均需不断提升自身相关素质。
- 陈波田进刘健陈宇齐
- 关键词：会计核算公允性会计人员会计准则会计概念可计算性
- 可计算性逻辑研究进展
- 2019年
- 可计算性逻辑(Computability Logic,简称CoL)在交互计算算法理论、运算集合和基于Cirquent的推理系统等方面得到持续研究。在可计算性逻辑中,经典逻辑的公式表示成了交互计算的问题;求解可计算性问题的过程可以看成是机器(计算部件)和环境(输入输出部件)之间的博弈;经典逻辑的公式“真”值表示在可计算性逻辑中存在着一个有效解;推理系统的建立采用自然演绎推理方法,图形化表示的cirquent允许不同的父结点可以有相同的子结点,保证资源可以共享,资源共享还可以有选择进行区分,而且,这种基于电路式的推理已经证明比传统的Gentzen相继式推理证明效率有指数级的提高。Cirquent演算的灵活性、高效性、表达性强等特点,使它正成为CoL的一种公理化工具。
- 夏卫国曲美霞
- 量子机器学习与人工智能的实现——基于可计算性与计算复杂性的哲学分析被引量：5
- 2019年
- 量子机器学习是量子计算与机器学习交叉形成的新研究方向,其主要目标是利用量子特性实现对传统机器学习算法的加速。目前已经出现了不少有实际应用价值的量子机器学习算法,这些算法能通过降低计算的复杂性程度,在一些特定领域实现弱人工智能。从可计算性的视角来看,量子机器学习能完成非决定性计算,在理论上可以实现对意识结果的模拟,从而为强人工智能提供支持。
- 王凯宁
- 关键词：人工智能量子计算可计算性
- 论语篇连贯的可计算性被引量：3
- 2018年
- 连贯性是语篇所具有的一种可分析的语义属性,是自然语篇理解和生成过程中的核心问题。语篇连贯的可计算性可以被理解为使计算机能够以语言的表层形式特征为依据对自然语篇中的连贯关系进行识别和处理。语篇连贯计算对人机互动、自动文摘以及作文评分系统的开发具有很高的应用价值。本文从汉语语篇连贯关系分类体系的建立、局部连贯关系的判定、整体连贯关系的识别、语篇语义结构的形式化表征、语篇连贯程度的自动评估等方面对语篇连贯计算的研究路径进行了探索和展望。
- 李佐文梁国杰
- 关键词：语篇连贯可计算性自然语言处理
