A New Research into Default Logic

In previous papers some important properties of extensions of general default theories were given. In order to dedicate further research to default logic, a characterization of extensions is presented again and some new algorithms for reasoning tasks in default logic are presented in this paper. A class of default theories, auto-compatible default theory, is also developed. We show that the characterization and notions of compatibility and auto-compatibility, suitably applied to logic programs, yield some sufficient conditions of existence of answer sets. All these essentially develop the theories of Reiter and his followers.     

关于D.W.Etherington的扩充产生算法的一个注记

Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎｄ的算法对一般的有限有序缺省理论并非总是收敛，然后给出了该算法对
对一般的有限有序缺省理论收敛的一个充分条件。     

Logic Programs,Compatibility and Forward Chaining Construction

Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the Λ operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.     

缺省推理中的三个定理

本文证明了缺省推理中的三个定理.定理1表明了缺省推理的非单调性这一特点.定理2的实际意义在于,在一个封闭规范缺省理论(D,W)中,只要W能推出D中某些缺省的结论,则可以把这样的缺省规则从理论中删除,所得到的较小的缺省理论其延伸仍与原来缺省理论一样.尤其是若W能推出D中所有的缺省规则结论,则(D,W)的延伸就是W,这就是本文推论的结论.     

利用重写系统研究缺省逻辑

本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理论外延的结构，证明了一个缺省理论的外延的模型集合就是对应的布尔环方程组的极大缺省解，从而为确定缺省理论的外延提供了一种简便实用的方法。     

Ordered seminormal default theories and their extensions

Abstract

The concept of extension plays an important role in default logic. The notion of an ordered seminormal default theory has been introduced (Etherington 1987) to characterize a class of seminormal default theories which have extensions. However, the original definition has a drawback because of its dependence on specific representations of the default theory. We introduce the ‘canonical representation’ of a default theory and redefine the orderedness of a default theory based on its canonical representation. We show that under the new definition, the orderedness of a default theory Δ = (W,D) is intrinsic to the theory itself, independent of the specific representations of W and D. We present a modification of the algorithm in Etherington (1987) for computing extensions of a default theory. More importantly, we prove the conjecture (Etherington 1987) that a modified version of the algorithm in Etherington (1987) converges for general ordered, finite seminormal default theories, while the original algorithm was proven (Etherington 1987) to converge for ordered, finite network default theories which form a proper subset of the theories considered in this paper.     

贪婪缺省逻辑

提出一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能的保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统-GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论 的一个扩展,必定存在一个贪婪缺省理论的GD-扩展使得缺省逻辑的扩展是贪婪缺省逻辑扩展的子集.并且存在贪婪缺省理论 的某一GD-扩展,该GD-扩展不包含缺省理论的任一扩展.因此缺省逻辑和贪婪缺省逻辑是两种不同的逻辑.     

累积缺省逻辑的扩充

针对缺省理论的一大热点问题—缺省扩充,将Grigoris Antonion的语义算子理论算法及V.W.Marek和M.Frusz-cyuski的语构算法用于计算累积缺省逻辑(CDL)的扩充,系统地讨论了CDL及其新变种CADL与QDL的理论的扩充问题,从而使得具有累积性的缺省逻辑扩充的计算问题系统化,同时指出这两种方法可用于其他类型的缺省理论扩充的计算。     

若干限制形式的缺省推理的复杂性

该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.     

缺省理论的简化

缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定条件下得以化简,有的甚至可以把它们化为一阶逻辑理论.     

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

This paper shows how action theories, expressed in an extended version of the language     , can be naturally encoded using Prioritized Default Theory . We also show how prioritized default theory can be extended to express preferences between rules . This extension provides a natural framework to introduce different types of preferences in action theories— preferences between actions and preferences between final states . In particular, we demonstrate how these preferences can be expressed within extended prioritized default theory. We also discuss how this framework can be implemented in terms of answer set programming.     

基于模态缺省理论的多Agent系统的知识更新

基于模态缺省理论，建立多Agent系统的模态缺省逻辑，给出了每个主体 对应的模态缺省理论 的新知识和知识冲突的概念及其意义，主要讨论在多Agent环境下，当一个Agent的知识不足以完成推理时，可以从其它Agent处获得新的知识，从而对自身的信念集进行更新。当Wi发生变化(如遇到新的知识或出现与原信念集冲突的知识)时扩充Ei的性质和变化规律，提出了获取新扩充的较简单的求解方法，并证明了相关的定理，给出了多Agent系统的关于知识的一个动态描述过程。     

子句型自相容缺省理论的扩张

自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑揄常用的方法,文中Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省的理论的研究基础上,进一步研究了子句型闭自相容缺省理论,文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Ｒｅｔｅｒ关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念个性的相关定理。     

缺省理论与相信理论的关系

本文在相信逻辑中引入相信解释与相信模的概念，从语义上把相信逻辑改造成非单调逻辑。一个缺省理论可以直接转换成一个相信逻辑理论，本文中证明了一个缺省理论外延的模集就是对应相信理论的模，从而为缺省理论提供了一种简便的语义。     

Consequence finding and computing answers with defaults

Consequence finding has been recognized as an important technique in many intelligent systems involving inference. In previous work, propositional or first-order clausal theories have been considered for consequence finding. In this paper, we consider consequence finding from a default theory, which consists of a first-order clausal theory and a set of normal defaults. In an extension of a default theory, consequence finding can be done with the generating defaults for the extension. Alternatively, all extensions can be represented at once with the conditional answer format, which represents how a conclusion depends on which defaults. We also propose a procedure for consequence finding and query answering in a default theory using the first-order consequence-finding procedure SOL. In computing consequences from default theories efficiently, the notion of TCS-freeness is most important to prune a large number of irrational tableaux induced by the generating defaults for an extension. In order to simulate the TCS-freeness, the refined SOL calculus called SOL-S(Γ) is adopted using skip preference and complement checking. This research is supported in part by JSPS Grant-in-Aid for Scientific Research (No. 17300051)     

扩充与缺省规则的简化和分类

文章从缺省理论扩充的定义出发,在求扩充前根据缺省规则的特征,把对计算扩充没有影响的规则不予考虑,同时把具有不相容判断的规则分开考虑,也即就是在求扩充前对缺省规则进行适当的简化和分类,通过分析讨论给出了若干简化和分类的原则,从而使计算得以简化。     

Considerations on default logic: an alternative approach1

In the following paper we analyze Reiter's default logic and suggest modifying the notion of an extension for default theories. This modification leads to two important properties which are not guaranteed in Reiter's formalism: the existence of extensions and semimonotonicity.     

Tri-cubic polynomial natural spline interpolation for scattered data

In this paper an interpolation problem for 3D scattered data defined on a rectangular parallelepiped with natural boundary conditions is considered. By using spline function theory in Hilbert space, we discuss the existence, uniqueness and characterization of the solution of the interpolation problem as well as its convergence. We show that the solution can be constructed in a simple way without using reproducing kernel semi-Hilbert space theory. Moreover, the solution can be written as the sum of tri-linear polynomials and piecewise tri-cubic polynomials and its coefficients can be determined by solving a positive semi-definite linear system. Numerical examples are presented to illustrate the proposed approach.     

一种缺省推理方法及其应用

DFSES系统采用了一种缺省推理方法,大大地提高了该系统的决策能力,本文介绍了DFSES系统中的缺省理论及其扩张,并阐述了基于这些思想和类树形知识结构的特点缺省推理的实现。     

基于四值语义的缺省逻辑

基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L^-＋中,保证了所得到的缺省理论的所有扩张均不平凡,并通过一种弱变换可同时保证缺省扩张的存在性．为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L^-＋中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系．四值模型描述了公式变换的语义,基于四值语义的缺省推理通过缺省理论的变换技术能在标准的缺省逻辑中实现．