A framework for reasoning under uncertainty based on non-deterministic distance semantics

DOI10.1016/j.jal.2010.07.001zbMath1272.68387OpenAlexW1999586011MaRDI QIDQ541819

Ofer Arieli, Anna Zamansky

Publication date: 8 June 2011

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2010.07.001

zbMATH Keywords

distance semanticsnon-determinisitic matricesreasoning with incomplete and inconsistent information

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Uses Software

• MaxSolver
• MiniMaxSat

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Counterfactuals and comparative possibility
• \(\text{DA}^2\) merging operators
• Reasoning with prioritized information by iterative aggregation of distance functions
• Disjunctive merging: quota and Gmin merging operators
• Resolution for Max-SAT
• Two modellings for theory change
• Multiset theory
• Measuring inconsistency
• Minimal-change integrity maintenance using tuple deletions
• Another perspective on default reasoning
• Distance-based paraconsistent logics
• Implementing semantic merging operators using binary decision diagrams
• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• Distance semantics for database repair
• Distance semantics for belief revision
• Voting by Committees
• Merging Information Under Constraints: A Logical Framework
• Answer sets for consistent query answering in inconsistent databases