Automated reasoning

被引:0
|
作者
Gavanelli, Marco [1 ]
Mancini, Toni [2 ]
机构
[1] Ferrara Univ, EnDiF Engn Dept, Ferrara, Italy
[2] Sapienza Univ, Comp Sci Dept, Rome, Italy
关键词
Automated reasoning; logic programming; constraints; planning and scheduling; propositional logic;
D O I
10.3233/IA-130053
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Knowledge representation and automated reasoning are two of the pillars of Artificial Intelligence but, differently from other pillars, they are strictly intertwined. Depending on how knowledge is represented, different types of reasoning can be applied and, on the other hand, new developments in the automated reasoning column fosters new ideas on the knowledge representation side. The Italian community has been always very involved in these fascinating themes, and this is witnessed by the lively group of knowledge representation and automated reasoning (Rappresentazione della Conoscenza e Ragionamento Automatico, RCRA) of AI*IA. In this paper we survey the developments on automated reasoning in the last 25 years, with particular emphasis on the research of the Italian community and of the RCRA group. The focus will be mainly on the algorithmic side, while a companion paper focuses more on the knowledge representation side, and on the vast area of semantic technologies.
引用
收藏
页码:113 / 124
页数:12
相关论文
共 50 条
  • [1] AUTOMATED REASONING
    WOS, L
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (02): : 85 - 92
  • [2] AN OVERVIEW OF AUTOMATED REASONING
    POST, S
    SAGE, AP
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 202 - 224
  • [3] Applications of automated reasoning
    Furbach, Ulrich
    Obermaier, Claudia
    [J]. KI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4314 : 174 - +
  • [4] The flowering of automated reasoning
    Wos, L
    [J]. MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 204 - 227
  • [5] AUTOMATED REASONING - THEORY
    HUMPERT, B
    [J]. HELVETICA PHYSICA ACTA, 1986, 59 (6-7): : 1264 - 1264
  • [6] AUTOMATED REASONING - APPLICATIONS
    HUMPERT, B
    [J]. HELVETICA PHYSICA ACTA, 1986, 59 (6-7): : 1264 - 1264
  • [7] Automated Reasoning in the Wild
    Furbach, Ulrich
    Pelzer, Bjoern
    Schon, Claudia
    [J]. AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 55 - 72
  • [8] METHODS OF AUTOMATED REASONING
    BIBEL, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 232 : 171 - 217
  • [9] Automated Reasoning for Mathematics
    Avigad, Jeremy
    [J]. AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 3 - 20
  • [10] Automated Reasoning and Learning for Automated Payroll Management
    Dumancic, Sebastijan
    Meert, Wannes
    Goethals, Stijn
    Stuyckens, Tim
    Huygen, Jelle
    Denies, Koen
    [J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 15107 - 15116