May, 2015
模块化行动语言ALM
Modular Action Language ALM
TL;DR本文介绍了一种新的模块化行动语言ALM,重点介绍了其使用方法,解决了现有行动语言处理大型系统的限制,支持知识结构化并提供了包括模块层次等多种有用功能以便于逐步开发,测试和阅读知识库。
Abstract
The paper introduces a new modular action language, alm, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used
发现论文,激发创造
将知识生成定义扩展到 FO(ID):初步结果
文章提出一个语言,将FO(ID)中的归纳定义结构与Ordered Epistemic Logic看做独立的认知组成部分相结合,以便研究这两个故事之间的互动,并探索将它们视为两个单独的经典逻辑扩展还是两个组合的适当性。
Jan, 2013
COREALMLIB:从零件库翻译的ALM库
该文章介绍了COREALMLIB,它是一个常识知识关于动态领域的ALM库。该库由CLIB的一部分通过ALM进行翻译获得,目标是CLIB状态和行为。结果ALM库包含123个行动类的描述,分成43个可重用的模块,可以与ASP推理算法无缝集成。
Aug, 2016
用理论模态行动语言表示混合自动机
该研究论文介绍了混合自动机和行为语言之间的形式关系,并展示了如何用action language表示混合自动机,然后介绍了一个用混合自动机模型研究系统并利用dReal求解的原型系统。
Jul, 2017
ALC本体的通用模块的高效计算(扩展版)
该论文提出了一种用于提取适用于描述逻辑 ALC 的本体的通用模块的方法,该方法基于均匀插值,可以比目前最先进的方法更快地计算通用模块和统一插值。
May, 2023
如果LLM是巫师,那么代码就是魔棒:关于代码如何赋予大语言模型作为智能代理的调查
通过将代码集成到大型语言模型的训练数据中,可以提高语言模型的代码生成能力、推理能力以及生成结构化和精确的中间步骤,并将其转化为智能代理在复杂自然语言任务中的应用。
Jan, 2024
在动态知识图谱中实现基于SPIN的描述时态动态算法的策略
计划和推理是最近逻辑和计算机科学研究中的重要问题,本研究提出了一种将行为嵌入到描述逻辑(DL)中的框架,用于表示和推理行为,并提出了一种算法来处理行动的各种情况。
Jan, 2024