Merging First-Order Knowledge Using Dilation Operators
From MaRDI portal
Publication:5445298
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
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