Encoding the Revision of Partially Preordered Information in Answer Set Programming
作者： Mariette Sérayet , Pierre Drap , Odile Papini
DOI: 10.1007/978-3-642-02906-6_37
关键词: Semantics (computer science) 、 Mathematics 、 Encoding (memory) 、 Propositional formula 、 Context (language use) 、 Set (abstract data type) 、 Belief revision 、 Answer set programming 、 Logic programming 、 Theoretical computer science 、 Algorithm
摘要: Most of belief revision operations have been proposed for totally preordrered information. However, in case partial ignorance, pieces information are partially preordered and few effective approaches proposed. The paper presents a new framework revising information, called Partially Preordered Removed Sets Revision (PPRSR). notion removed set, initially defined the context non ordered or is extended to preorders. sets efficiently computed thanks suitable encoding problem into logic programming with answer set semantics. This captures possibilistic allows implementing it ASP. Finally, shows how PPRSR can be applied real application VENUS european project before concluding.
springer.com
sci-hub.st 参考文章(16)
Eric Würbel, Julien Hué, Odile Papini, Removed Sets Fusion: Performing Off The Shelf european conference on artificial intelligence. ,vol. 178, pp. 94- 98 ,(2008) , 10.3233/978-1-58603-891-5-94
Eric Würbel, Odile Papini, Robert Jeansoulin, Revision: an application in the framework of GIS principles of knowledge representation and reasoning. pp. 505- 515 ,(2000)
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub, Clasp: a conflict-driven answer set solver international conference on logic programming. pp. 260- 265 ,(2007) , 10.1007/978-3-540-72200-7_23
Gerd Brewka, Ulrich Junker, Handling Partially Ordered Defaults in TMS european conference on symbolic and quantitative approaches to reasoning and uncertainty. pp. 211- 218 ,(1991) , 10.1007/3-540-54659-6_91
Salem Benferhat, Sylvain Lagrue, Odile Papini, Revision of partially ordered information: axiomatization, semantics and iteration international joint conference on artificial intelligence. pp. 376- 381 ,(2005)
Vladimir Lifschitz, Michael Gelfond, The stable model semantics for logic programming international conference on lightning protection. pp. 1070- 1080 ,(1988)
Salem Benferhat, Sylvain Lagrue, Odile Papini, Revising partially ordered beliefs. non-monotonic reasoning. pp. 142- 149 ,(2002)
Didier Dubois, Henri Prade, Belief Revision: Belief change and possibility theory ,(1992) , 10.1017/CBO9780511526664.006
Hirofumi Katsuno, Alberto O. Mendelzon, Propositional knowledge base revision and minimal change Artificial Intelligence. ,vol. 52, pp. 263- 294 ,(1991) , 10.1016/0004-3702(91)90069-V
Salem Benferhat, Sylvain Lagrue, Odile Papini, Reasoning with Partially Ordered Information in a Possibilistic Logic Framework Fuzzy Sets and Systems. ,vol. 144, pp. 25- 41 ,(2004) , 10.1016/J.FSS.2003.10.012