期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

有限信念集上修正的一种方法 被引量：2

AN APPROACH TO THE REVISION OF A FINITE BELIEF SET
下载PDF
导出
摘要 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.
作者 栾尚敏 戴国忠
机构地区 中国科学院软件研究所
出处 《广西师范大学学报（自然科学版）》 CAS 2003年第1期111-118,共8页 Journal of Guangxi Normal University:Natural Science Edition
基金 国家自然科学基金，中国博士后科学基金
关键词 信念修正 命题逻辑 一阶逻辑 有限信念集 极小不协调子集 修正方法 人工智能
分类号 TP18 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献33

  • 1[1]Doyle J.A truth maintenance system[J].Artificial Intelligence,1979,12:231-272.
  • 2[2]Kleer J D.An assumption-based TMS[J].Artificial Intelligence,1986,28:127-162.
  • 3[3]Fagin R,Ullman J D,Vardi M Y.On the semantics of updates in databases[A].DeWitt David J,Gardarin Georges.Proceedings of the second ACM SIGACT-SIGMOD symposium on principle of database systems[C].New York:ACM Press,1983.352-365.
  • 4[4]Ginsberg M L,Smith D E.Reasoning about action I:a possible worlds approach[J].Artificial Intelligence,1988,35:165-195.
  • 5[5]Dalal M.Investigations into a theory of knowledge base revision:preliminary report[A].Mitchell Tom M,Smith Reid G.Proceedings of the seventh national conference on artificial intelligence[C].California:AAAAI Press,1988.475-479.
  • 6[6]Satoh K.Nonmonotonic reasoning by minimal belief revision[A].ICOT.Proceedings of international conference on fifth generation computer system[C].Berlin:Springer-Verlag,1988.455-462.
  • 7[7]Borgida A.Language features for flexible handling of exception in information systems[J].ACM Transaction on Database System,1985,10:536-603.
  • 8[8]Weber A.Updating propositional formulas[A].Kerschberg Larry.Proceedings first conference on expert database systems[C].Menlo Park:Benjamin Cummings,1986.487-500.
  • 9[9]Forbus K D.Introducing actions into qualitative simulation[A].Sridharan N S.Proceedings international joint conference on artificial intelligence[C].San Francisco:Morgan Kaufmann,1989.1 273-1 278.
  • 10[10]Winslett M.Reasoning about action using possible models approach[A].Mitchell Tom M,Smith Reid G.Proceedings of the seventh national conference on artificial intelligence[C].California:AAAAI Press,1988.89-93.

同被引文献19

  • 1M Dalal.Updates in propositional databases[R].Technical report,Rutgers University, 1988.
  • 2Alchourron C,Gardenfors P,Makinson,D.On the logic of theory change:Partial meet contraction functions and their associated revision function[J].Journal of Symbolic Logic,50:510-530.
  • 3H Katsuno,A Mendelzon.On the difference between updating a knowledge base and revising it[C].In:Principles of Knowledge Representation and Reasoning:Proc.Second International Conference(KR'91),1991:387-394.
  • 4Liberatore,Schaerf.Arbitration(or How to Merge Knowledge Bases)[J].IEEE Transactions on Knowledge and Data Engineering,1998;10(1):76-90.
  • 5Knoieczny,perez.Merging with Integrity Constraints[J].Lecture Notes in Computer Scienc, 1999:233-257.
  • 6Revesz.On the semantics of theory change:arbitration between old and new information[C].In:Proc PODS'93,12th ACM SIGACT SIGMOD SIGART Symp.Principles of Database Systems,1991:263-294.
  • 7Peter Z Revesz.Model-Theoretic Minimal Change Operators for Constraint Databases[C].In:ICDT 1997,1997 : 447-460.
  • 8Jinxin Lin.Information Sharing and Knowledge Merging in Cooperative Information Systems[C].In:Proceedings of the 4th Workshop on Information Technologies and Systems,Vancouver,CA,1994.
  • 9C E Alchourron,P Gardenfors,D Makinson.On the logic of theory change:Partial meet contraction and revision functions.The Journal of Symbolic Logic,1985,50(2):510～530
  • 10P Gardenfors,D Makinson.Revision of knowledge systems using epistemic entrenchment.In:M Vardi ed.Proc of the 2nd Conf on Theoretical Aspects of Reasoning About Knowledge.Los Altos,CA:Morgan Kaufmann,1988.83～95

引证文献2

二级引证文献3

广西师范大学学报（自然科学版）
2003年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部