Merging Belief Bases Represented by Logic Programs
作者： Julien Hué , Odile Papini , Eric Würbel
DOI: 10.1007/978-3-642-02906-6_33
关键词:
摘要: This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. is based on the syntactic operators described in framework of propositional logic. The study these leads new definition consequence relation between programs Here-and-There brought by Turner. Moreover, specificity non-monotonic given semantics describing weakened version operation. Once are defined, their behaviour respect Konieczny and Pino-Perez postulates examined discussed.
springer.com
sci-hub.st 参考文章(25)
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
Sébastien Konieczny, Ramón Pino Pérez, On the logic of merging principles of knowledge representation and reasoning. pp. 488- 498 ,(1998)
Thomas Meyer, Aditya Ghose, Samir Chopra, Syntactic Representations of Semantic Merging Operations pacific rim international conference on artificial intelligence. pp. 620- 620 ,(2002) , 10.1007/3-540-45683-X_88
Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev, Semi-qualitative Reasoning about Distances: A Preliminary Report Springer US. pp. 37- 56 ,(2000) , 10.1007/3-540-40006-0_4
R. Fagin, G. M. Kuper, J. Ullman, M. Y. Vardi, Updating Logical Databases. Advances in Computing Research. ,vol. 3, pp. 1- 18 ,(1984) , 10.21236/ADA144937
Ilkka Niemelä, Patrik Simons, Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP international conference on logic programming. pp. 421- 430 ,(1997)