Constraints on Extensions of a Default Theory
摘要
In this paper, the representability of a family of theories as the set of extensions of a default theory is studied. First, a new necessary condition is given for the representability by means of general default theories; then a sufficient one is presented. The families of theories represented by default theories are also fully characterized. Finally, the paper gives an example of denumerable families of mutually inconsistent theories that are represented by a default theory but not by normal ones.
引用本文（GB/T 7714）
苏开乐. Constraints on Extensions of a Default Theory[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2001.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。