Simplified forms of computerized reasoning with distance semantics

DOI10.1016/J.JAL.2010.07.001MaRDI QIDQ545150zbMATH OpenOpenAlexFDO

Authors Ofer Arieli, Anna Zamansky

Publication date 22 June 2011

Published in Journal of Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

non-classical logicsautomated reasoningdistance semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Distance-based paraconsistent logics
• scientific article; zbMATH DE number 1759368
• Distance semantics for belief revision
• Distance-based non-deterministic semantics for reasoning with uncertainty
• Some computational aspects of DISTANCE SAT

Cites work

• scientific article; zbMATH DE number 1301608 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1735831 (Why is no real title available?)
• scientific article; zbMATH DE number 1114003 (Why is no real title available?)
• scientific article; zbMATH DE number 1849163 (Why is no real title available?)
• A sphere world semantics for default reasoning
• Another perspective on default reasoning
• Answer sets for consistent query answering in inconsistent databases
• Counterfactuals.
• Disjunctive merging: quota and Gmin merging operators
• Distance semantics for belief revision
• Distance semantics for database repair
• Distance-based paraconsistent logics
• Error detecting and error correcting codes
• Implementing semantic merging operators using binary decision diagrams
• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• Measuring inconsistency
• Merging Information Under Constraints: A Logical Framework
• Minimal-change integrity maintenance using tuple deletions
• Minimaxsat: an efficient weighted Max-SAT solver
• Multiset theory
• Reasoning with prioritized information by iterative aggregation of distance functions
• Resolution for Max-SAT
• Two modellings for theory change
• Voting by Committees
• \(\text{DA}^2\) merging operators

Cited in

(2)

• A dissimilarity-based framework for generating inconsistency-tolerant logics
• A graded approach to database repair by context-aware distance semantics

Describes a project that uses

Uses Software

• MaxSolver
• MiniMaxSat

This page was built for publication: Simplified forms of computerized reasoning with distance semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q545150)