1) ordered default theory
有序缺省理论
1.
Etherington presented a class of default theories called finite ordered default theory,and proposed a procedure to generate all extensions of such default theories.
Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对有限有序网络缺省理论总是收敛到一扩充。
2) default theory
缺省理论
1.
Research on the Dynamics of Constrained Epistemic Default Theory;
带约束的认识缺省理论的动态特性研究
2.
The present paper investigates the representability of default theories by means of the set of extensions of a default theory.
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。
3.
Every default theory has its extension,and it is semimonotonic and cumulative.
提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法。
3) C-default theory
C-缺省理论
4) bi-default theory
双缺省理论
1.
A novel theory called bi-default theory is proposed for handling inconsistent knowledge simultaneously in the context of default logic without leading to triviality of the extension.
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性。
5) Modal default theory
模态缺省理论
6) clausal default theory
子句型缺省理论
补充资料：缺省值
分子式：
CAS号：
性质：计算机软件系统要求用户输入某些值而用户未给定时，系统自动赋予的事先设定的数值。
CAS号：
性质：计算机软件系统要求用户输入某些值而用户未给定时，系统自动赋予的事先设定的数值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条