首页 | 本学科首页   官方微博 | 高级检索  
     


THE RELATIONS BETWEEN NONMONOTONIC TRUTH MAINTENANCE AND NONMONOTONIC LOGICS
Authors:YANG Jie LIN Xu feng  YANG Yong )
Abstract:Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.
Keywords:artificial intelligence  nonmonotonic truth maintenance  stratified truth maintenance  prioritized nonmonotonic logics
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号