- IJCAI函数的有限可导引理:一次一致性之旅
通过对逻辑编程领域中的回答集编程(ASP)进行分析,我们提出了一种精细化的方法,描述了 ASP 程序的特征,以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。
- 使用 s (LAW) 进行带有行动裁量的自动法律推理
自动法律推理在智能合约和自动决策中的应用日益受到关注,然而伦理和法律问题使得自动推理器在人能理解的术语中进行理由指明变得必要。本文提出使用 s (CASP) 来建模不确定性和其他模糊概念,并实现了一个框架来模拟、推理和证实适用法规,并通过翻 - COOL:一种约束面向对象逻辑编程语言及其神经符号编译系统
该论文研究了神经网络与逻辑编程的整合,解决了将神经网络的泛化和学习能力与符号逻辑的精确性相结合的难题。为了克服这些问题,引入了一种名为 COOL(Constraint Object-Oriented Logic)编程语言的创新方法,将逻辑推 - 可扩展神经概率答案集规划
提出了 SLASH 概率编程语言,通过神经概率谓词和逻辑编程实现了可管理的概率推理,可以进行各种类型的概率查询,并在多个任务上取得了良好的表现。
- MM通过具有稳定和支持模型的逻辑程序捕获(最优)松散计划
我们在删除自由计划和逻辑编程之间建立了新的关系,并采用逻辑程序的稳定模型来捕捉问题的所有行动子集,从而实现松弛计划问题的求解,同时,我们使用实验结果证明了这种方法能够提供更好的性能。
- MMSystem Predictor: 答案集语义下逻辑程序的规模估计器
本文研究了答案集编程中如何解决难以计算的组合搜索问题,提出了一个名为 Predictor 的估计程序规模的系统,并探讨了在答案集编程重写工具 Projector 和 Lpopt 中使用该系统的潜力。
- 检查推理数据库中的完整性约束
该研究从逻辑编程角度探讨了基于 SLDNF 证明树的完整性约束操作,定义了一种证明树的数据结构,确定了改变知识库时影响完整性约束的最小条件集。同时,利用此结构可以降低搜索时间和减少工作量。
- 逻辑编程用于机器人任务决策规划
这篇文章研究了逻辑编程在机器人任务规划中的应用,探讨了不同规划器的适用性,为机器人设计师选择最佳工具提供支持。
- 非确定性逼近不动点理论及其在分离逻辑编程中的应用
该论文扩展了近似不动点理论(AFT)以处理不确定性信息,如分离式公式,并将其应用于分离式逻辑编程中。
- 广义分布语义和投影分布族
通过分离自由随机组分和确定性部分抽象逻辑编程的核心思想,我们推广了支持概率逻辑编程的分布语义,包括从概率数据库、概率有限模型论和离散抬升贝叶斯网络框架,证明了确定性部分的一个有限的碎片足以表示所有可在广义分布语义中表示的投影分布族,但表明了 - 关于复杂网络的推理:一种逻辑编程方法
本文提出了一种基于逻辑程序的形式化语言 MANCaLog,该语言满足了前人提出的关于在复杂网络中进行推理的建议,重点研究了社交网络中确定组成员身份的问题,并提出了一种方法来达到更好的社交网络挖掘效果。
- 简单逻辑 —— 示例智能推理(全交互式在线版)
本文介绍了 Peter Flach 在 1994 年出版的《Simply Logical -- Intelligent Reasoning by Example》一书和 SWI-Prolog 程序。该书已经出现了一系列版本,并于 2015 - 探究图神经网络的内部逻辑及其逻辑性质
本文旨在探究利用逻辑程序模拟图神经网络的信息传播机制,在解决节点属性预测问题中的应用,通过实现一个类似 Prolog 程序的逻辑程序来模拟图神经网络的信息传播阶段,并利用相似节点的属性推断测试集中的节点属性,与链接结构进行比较,得到更好的表 - 第 38 届国际逻辑编程大会论文集
ICLP 是呈现逻辑编程研究的卓越国际会议,涵盖基础、语言、实现和应用,并欢迎相关范式和合作。
- 专家系统与逻辑 #。C# 面向对象编程中用于逻辑编程的新型建模框架
本文介绍了一种将逻辑编程应用于专家系统的新方法,它可以直接在面向对象的语言中声明。
- MM高效知识编译:超越带权模型计数
本文介绍了用于解决量化扩展逻辑编程中的第二级推理任务的算法框架 Second Level Algebraic Model Counting (2AMC),探讨了使用知识编译技术降低处理效率时的需要考虑变量阶数限制问题,进一步提出并实现了一种 - MM抽象论证和答案集编程:纳尔逊逻辑的两面
本文提出非矛盾推理与强化封闭世界假设两个原则,将逻辑编程和抽象论证框架都用 Nelson 构造逻辑 N4 予以说明,并将它们以一种模块化的方式翻译成构造逻辑,从而形成一种新的蕴涵连接,支持攻击表示通过将这个新的蕴涵与强否定相结合。
- MM三十年的认知规范
该研究论文介绍了认知逻辑程序的语言和形式语义,并探讨了该领域的当前状态和未来研究的挑战。
- MM抽象论证框架语义:逻辑编程方法
本研究探讨了基于 Argumentation Framework 的框架和 Partial Stable Models 之间的关系,证明每个基于 AF 的框架 Delta 都可以被翻译成一个逻辑程序 P_Delta,而不同的 Delta 语 - MM第 35 届国际逻辑编程会议特刊介绍
本特刊介绍了 ICLP 第 35 届国际会议上被接受发表的常规论文,主要讨论逻辑编程领域的工作。