A survey of paraconsistent semantics for logic programs
A survey of paraconsistent semantics for logic programs
复制标题
逻辑程序的次一致语义的调查
DOI：
10.1007/978-94-017-1739-7_8
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
L. Pereira
中科院分区：
文献类型：
--
作者：
C. Damásio;L. Pereira
我们对本书的贡献在于提供逻辑程序员对处理程序不一致的看法。我们所讨论的语义将涉及在存在矛盾的情况下实施推理的几个方面。逻辑编程已经显示出对表示知识的广泛适用性[Barai 和 Gel-fond，1994]。此外，最重要的非单调形式主义，例如默认逻辑[Reiter，1980]和自认知逻辑[Moore，1984； Moore，1985]在逻辑编程方面有对应的语义。1此外，逻辑编程已被证明是实现和探索人工智能其他重要方面（例如更新和信念修正）的工具。因此，逻辑编程界已经开展了大量工作来理解次一致推理与逻辑编程的集成，为现在正在出现的具有巨大潜力的应用和实现角色做准备，这并不奇怪。
Our contribution to this volume consists in giving a logic programmer’s view on handling program inconsistency. The semantics we cover will touch several aspects ofimplementingreasoning in the presence of contradiction. Logic programming has already shown a wide applicability for representings knowledge [Barai and Gel-fond, 1994]. Also, the most important non-monotonic formalisms, for instance Default Logic [Reiter, 1980] and Autoepistemic logics [Moore, 1984; Moore, 1985], have a counterpart semantics on the logic programming side.1Moreover, logic programming has turned out to be vehicle for implementing and exploring other important aspects of Artificial Intelligence such as updates and belief revision. Therefore, it is not strange that a lot of work in the logic programming community has been carried out to understand the integration of paraconsistent reasoning with logic programming, in preparation for an applicational and implementational rôle of great potential, now emerging.