Merging First-Order Knowledge Using Dilation Operators

DOI10.1007/978-3-540-77684-0_11zbMath1138.68560MaRDI QIDQ5445298

Nikos Gorogiannis, Anthony Hunter

Publication date: 4 March 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77684-0_11

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

Related Items

Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning, Morphologic for knowledge dynamics: revision, fusion and abduction, Morpho-logic from a topos perspective -- application to symbolic AI, Sum-based weighted belief base merging: from commensurable to incommensurable framework, Logic based merging, Solving conflicts in information merging by a flexible interpretation of atomic propositions, Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics, On some associations between mathematical morphology and artificial intelligence

Cites Work

• Unnamed Item
• Knowledgebase transformations
• \(\text{DA}^2\) merging operators
• Disjunctive merging: quota and Gmin merging operators
• Propositional distances and compact preference representation
• Implementing semantic merging operators using binary decision diagrams
• Distance semantics for belief revision
• On the Semantics of Arbitration
• Error Detecting and Error Correcting Codes
• Merging Information Under Constraints: A Logical Framework