计算机科学中的数理逻辑
这篇论文旨在将数学逻辑的基础知识传达给与人工智能合作的法律界。我们将重点放在基于规则的人工智能上,而忽略神经网络和机器学习。数学逻辑与法律基于规则的人工智能实践相互作用,并对人工智能应用带来了限制和复杂性。我们将这些限制和数学逻辑与法律人工智能的相互作用分类为三类:逻辑、计算和数学。交互作用的示例主要来自欧洲的交通法规。论文最后对如何使用和人工智能的基本机制对塑造社会的反思进行了总结。
Feb, 2024
本论文通过对物理学、数学和计算机科学三个领域的引用流进行建模,并通过时间桶签名对这三个领域之间的引用互动进行量化。基于最近提出的中继链接框架的变体,本文提出了数值模型,试图解开这三个领域之间引用链接形成的基本原理。
Sep, 2023
论文探讨了三个现代逻辑在人工智能中的作用,并以可处理的布尔电路理论为基础,这三个角色包括逻辑作为计算基础、逻辑用于从数据和知识的组合中进行学习和逻辑用于推理机器学习系统的行为。
Apr, 2020
本文介绍了一种适用于给定形式语言中的任何逻辑语句并随时间精细调整概率的可计算算法,并证明了其在学习预测逻辑陈述中真实和虚假的模式、使用恰当的统计摘要预测具有伪随机的真值序列、拥有关于自身的精确信念、且在极限情况下,其信念有着一种自洽性的优势。
Sep, 2016
计算机科学和脑科学的历史紧密相连。两者间存在着类似和不同之处。该研究提出要研究脑科学与计算机科学的交界处,并探索其带来的新机遇和连接。在这个界面,还存在许多关键问题需要研究,同时也提供了 CISE 研究社区发挥战略作用的机会,以促进工作的进展。
Apr, 2020
本文介绍了人工智能和量子计算中一些常见的数学工具,重点讨论了向量空间模型、张量积以及应用相关技术在信息检索、自然语言处理、推理等领域的方法。此外,本文探讨了这些技术在量子计算上的实现及其潜在应用方向。
Jan, 2021
在自然主义传统中,本研究考察了逻辑、认识论和科学之间的相互关系,提出了一个连接逻辑、数学、物理、化学、生物和认知的框架,强调自然组织层次上的尺度不变、自组织动力学。同时,本研究认为认知逻辑源自于物理、化学和生物逻辑的进化,并通过较低组织层次上的自然逻辑过程的步骤,利用基于形态 / 物理 / 自然计算的创新计算框架来解释以自然化逻辑进化产生以人为中心的逻辑。在生命主体的扩展进化综合中,理解人类级别逻辑的产生以及逻辑与信息处理 / 计算认识论的关系至关重要。因此,我们得出结论,需要进一步研究自然现象与自然中的行动逻辑之间的机制细节。
Sep, 2023