Reasoning About Inconsistent Formulas

被引：0
|
作者：
Marques-Silva, Joao [1 ]
Mencia, Carlos [2 ]
机构：
[1] Univ Toulouse, ANITI, Toulouse, France
[2] Univ Oviedo, Oviedo, Spain
来源：
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2020年
关键词：
DIAGNOSIS; SUBSETS;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：4899 / 4906
页数：8
相关论文
共 50 条
  • [1] QCTL: A logic for reasoning about inconsistent concurrent systems
    Chen, Donghuo
    Zhang, Guangquan
    Wu, Jinzhao
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 241 - +
  • [2] Superposition Reasoning about Quantified Bitvector Formulas
    Damestani, David
    Kovacs, Laura
    Suda, Martin
    [J]. 2019 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2019), 2020, : 95 - 99
  • [3] Paraconsistent reasoning via quantified Boolean formulas, II: Circumscribing inconsistent theories
    Besnard, P
    Schaub, T
    Tompits, H
    Woltran, S
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING, 2003, 2711 : 528 - 539
  • [4] Reasoning with Inconsistent Ontologies
    Huang, Zhisheng
    van Harmelen, Frank
    ten Teije, Annette
    [J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 454 - 459
  • [5] Reasoning with inconsistent ontologies
    Fang J.
    Huang Z.
    [J]. Tsinghua Science and Technology, 2010, 15 (06) : 687 - 691
  • [6] Reasoning with Inconsistent Ontologies
    方俊
    [J]. Tsinghua Science and Technology, 2010, 15 (06) : 687 - 691
  • [7] Reasoning with inconsistent precedents
    Canavotto, Ilaria
    [J]. ARTIFICIAL INTELLIGENCE AND LAW, 2023,
  • [8] Consistent and inconsistent pupils' reasoning about intensive quantities: The case of density and pressure
    Fassoulopoulos, G
    Kariotoglou, P
    Koumaras, P
    [J]. RESEARCH IN SCIENCE EDUCATION, 2003, 33 (01) : 71 - 87
  • [9] Consistent and Inconsistent Pupils' Reasoning about Intensive Quantities: The Case of Density and Pressure
    Georgios Fassoulopoulos
    Petros Kariotoglou
    Panagiotis Koumaras
    [J]. Research in Science Education, 2003, 33 : 71 - 87
  • [10] Reasoning about inconsistent concurrent systems: A non-classical temporal logic
    Chen, DH
    Wu, JZ
    [J]. SOFSEM 2006: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2006, 3831 : 207 - 217
12345