Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments
作者： Andreas Herzig
DOI:
关键词: Dynamic logic (modal logic) 、 Theoretical computer science 、 Belief change 、 Artificial intelligence 、 ENCODE 、 Well-formed formula 、 Computer science 、 Zeroth-order logic 、 Belief revision 、 True quantified Boolean formula
摘要: We examine several belief change operations in the light of Dynamic Logic Propositional Assignments DL-PA. show that we can encode a systematic way update (such as Winslett's 'Possible Models Approach') and revision Dalal's) particular DL-PA programs. Every formula being equivalent to boolean formula, obtain syntactical counterparts for all these operations.
参考文章(38)
Andreas Herzig, Guilin Qi, Meghyn Bienvenu, Prime Implicate-based Belief Revision Operators european conference on artificial intelligence. pp. 741- 742 ,(2008)
Ken Satoh, Nonmonotonic Reasoning by Minimal Belief Revision. Future Generation Computer Systems. pp. 455- 462 ,(1988)
João Leite, Martin Slota, On Semantic Update Operators for Answer-Set Programs european conference on artificial intelligence. pp. 957- 962 ,(2010) , 10.3233/978-1-60750-606-5-957
Frank Wolter, Maja Miličić, Hongkai Liu, Carsten Lutz, Updating description logic ABoxes principles of knowledge representation and reasoning. pp. 46- 56 ,(2006)
Andreas Herzig, Pilar Pozos-Parra, François Schwarzentruber, Belief Merging in Dynamic Logic of Propositional Assignments foundations of information and knowledge systems. pp. 381- 398 ,(2014) , 10.1007/978-3-319-04939-7_19
Andreas Herzig, A Simple Separation Logic workshop on logic language information and computation. ,vol. 8071, pp. 168- 178 ,(2013) , 10.1007/978-3-642-39992-3_16
Marianne Winslett, Reasoning about action using a possible models approach national conference on artificial intelligence. pp. 89- 93 ,(1988)
Andreas Herzig, The PMA revisited principles of knowledge representation and reasoning. pp. 40- 50 ,(1996)
Laurent Perrussel, Andreas Herzig, Sylvie Doutre, A dynamic logic framework for abstract argumentation principles of knowledge representation and reasoning. pp. 62- 71 ,(2014)
Jérôme Lang, Belief update revisited international joint conference on artificial intelligence. pp. 2517- 2522 ,(2007)