Reasoning About Inconsistent Formulas

Joao Marques-Silva; Carlos Mencía

IJCAI 2020poster0 citations

Reasoning About Inconsistent Formulas

Abstract

The analysis of inconsistent formulas finds an ever-increasing range of applications, that include axiom pinpointing in description logics, fault localization in software, model-based diagnosis, optimization problems, but also explainability of machine learning models. This paper overviews approaches for analyzing inconsistent formulas, focusing on finding and enumerating explanations of and corrections for inconsistency, but also on solving optimization problems modeled as inconsistent formulas.

Constraints and Satisfiability: general

BibTeX

@inproceedings{ijcai2020p682,
  title     = {Reasoning About Inconsistent Formulas},
  author    = {Marques-Silva, Joao and Mencía, Carlos},
  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-20}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Christian Bessiere},
  pages     = {4899--4906},
  year      = {2020},
  month     = {7},
  note      = {Survey track},
  doi       = {10.24963/ijcai.2020/682},
  url       = {https://doi.org/10.24963/ijcai.2020/682},
}