Implementing Prioritized Merging with ASP
作者： Julien Hue , Odile Papini , Eric Würbel
DOI: 10.1007/978-3-642-14055-6_15
关键词: Fusion operator 、 Iterated function 、 Extension (predicate logic) 、 Theoretical computer science 、 Mathematics
摘要: The paper addresses the extension of removed sets framework to prioritized fusion (PRSF). It discusses links between PRSF and iterated revision shows that satisfy most postulates proposed for merging. An implementation this new syntactic operator is thanks answer programming.
springer.com
sci-hub.st 参考文章(43)
Salem Benferhat, Claudette Cayrol, Henri Prade, Jerome Lang, Didier Dubois, Inconsistency management and prioritized syntax-based entailment international joint conference on artificial intelligence. pp. 640- 645 ,(1993)
James Delgrande, Jérôme Lang, Didier Dubois, Iterated revision as prioritized merging principles of knowledge representation and reasoning. pp. 210- 220 ,(2006)
Sébastien Konieczny, On the difference between merging knowledge bases and combining them principles of knowledge representation and reasoning. pp. 135- 144 ,(2000)
Cristinel Mateis, Thomas Eiter, Francesco Scarcello, Gerald Pfeifer, Nicola Leone, The KR system dlv: progress report, comparisons and benchmarks principles of knowledge representation and reasoning. pp. 406- 417 ,(1998)
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
Laurence Cholvy, Reasoning About Merged Information Springer, Dordrecht. pp. 233- 263 ,(1998) , 10.1007/978-94-011-5054-5_6
Isabelle Bloch, Jérôme Lang, Towards mathematical morpho-logics Technologies for constructing intelligent systems. pp. 367- 380 ,(2002) , 10.1007/978-3-7908-1796-6_29
Celine Lafage, Jérôme Lang, Logical representation of preferences for group decision making principles of knowledge representation and reasoning. pp. 457- 468 ,(2000)
Sébastien Konieczny, Ramón Pino Pérez, On the logic of merging principles of knowledge representation and reasoning. pp. 488- 498 ,(1998)
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)