Revision programs: A Tool for Programming Knowledge Base Transformations

Truszczynski, Miroslaw University of Kentucky $57,341 - 12 mos。修订问题：编程知识库转换的工具这是一个持续三年的奖项的第一年资助。本研究项目旨在发展一种新的基于逻辑的方法来处理知识库变化的影响。它是领域独立的，因此对于从事基于逻辑的知识表示的人们来说，它可能是一个重要的工具。它解决了任何知识表示都必须类似地解决的重要问题。修正程序系统具有稳定的模型语义，极大地扩展了逻辑程序设计。修正程序被视为输入/输出设备（借鉴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.