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.
Cite
Text
Marques-Silva and Mencía. "Reasoning About Inconsistent Formulas." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/682Markdown
[Marques-Silva and Mencía. "Reasoning About Inconsistent Formulas." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/marquessilva2020ijcai-reasoning/) doi:10.24963/IJCAI.2020/682BibTeX
@inproceedings{marquessilva2020ijcai-reasoning,
title = {{Reasoning About Inconsistent Formulas}},
author = {Marques-Silva, João and Mencía, Carlos},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2020},
pages = {4899-4906},
doi = {10.24963/IJCAI.2020/682},
url = {https://mlanthology.org/ijcai/2020/marquessilva2020ijcai-reasoning/}
}