ISCAS OpenIR  > 中科院软件所  > 中科院软件所
关于Circumscription的协调性和完全性
郑林
1990
Degree Grantor中国科学院软件研究所
Degree Level博士
Place of Degree Grantor中国科学院软件研究所
English AbstractCircumscription是J. McCarthy所提出的一种非单调推理的形式,尽管有人为这种推理形式在人工智能的应用上已做了一些工作,并认为具有一定的应用前景。一理论相对Circumscription的协调性和完全性仍未彻底解决,尤其是缺乏完全性结果限制了这种推理形式的可应用程度。本文从模型论角度讨论Circumscription的语义,并给出与Circumscription协调性等价的语义条件。由此可以回答为什么Circumscription在Keuker的例子[11]上失效的问题。我们证明了P-有限理论相对Circumscription的协调性和完全性。最后给出一种相对Circumscription完全的skolem理论的形式。
Pages48
Language中文
Content Type学位论文
URIhttp://ir.iscas.ac.cn/handle/311060/6512
Collection中科院软件所_中科院软件所
Recommended Citation
GB/T 7714
郑林. 关于Circumscription的协调性和完全性[D]. 中国科学院软件研究所. 中国科学院软件研究所,1990.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[郑林]'s Articles
Baidu academic
Similar articles in Baidu academic
[郑林]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[郑林]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.