Revision programs: A Tool for Programming Knowledge Base Transformations

IRI-9400568 Truszczynski，Miroslaw University of肯塔基州$57，341 - 12个月。 修订问题：知识库转换的编程工具 这是一个为期三年的连续奖励的第一年资助。 本研究计划旨在发展一种新的逻辑方法来处理知识库变化的影响。 它是领域独立的，因此它可能是一个重要的工具，人们在基于逻辑的知识表示。 它解决了任何知识表示都必须类似地解决的重要问题。修订程序系统显著地扩展了具有稳定模型语义的逻辑编程。 修订程序被视为输入/输出设备（借鉴DATALOG的经验）。 因此，修订程序允许（未知）原因与（可观察）影响之间的关系。因此，它们可以用来研究溯因推理。 本研究的主要目的是介绍和研究修正规划的形式，并探讨其在信念修正和溯因推理中的应用。

IRI-9400568 Truszczynski, Miroslaw University of Kentucky $57,341 - 12 mos. Revision Problems: A Tool for Programming Knowledge Base Transformations This is the first year funding of a three-year continuing award. This research project is to develop a new logic-based approach to handle the effects of change in knowledge bases. It is domain independent, so it could be an important tool for people working in logic-based knowledge representations. It addresses important questions that any knowledge representation must address analogously. The system of revision programs significantly extends logic programming with stable model semantics. Revision programs are treated as input/output devices (drawing from the experience of DATALOG). As such, revision programs allow relation of (unknown) causes to (observable) effects. Consequently, they can be used to study abductive reasoning. The research program is to introduce and study the formalism of revision programming and to investigate its applications in belief revision and abduction.