Revision programs: A Tool for Programming Knowledge Base Transformations

IRI-9400568特鲁兹琴斯基，肯塔基州米罗斯瓦夫大学，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.