A formal logic for abductive reasoning

被引：24

作者：

Meheus, Joke ^{[1
]}

Batens, Diderik ^{[1
]}

机构：

[1] Univ Ghent, Ctr Log & Philosophy Sci, B-9000 Ghent, Belgium

来源：

LOGIC JOURNAL OF THE IGPL | 2006年 / 14卷 / 02期

关键词：

abduction; adaptive logic; dynamic reasoning;

D O I：

10.1093/jigpal/jzk015

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint (but not necessarily exhaustive). Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their disjunction.

引用

页码：221 / 236

页数：16

共 50 条

[1] Adding abductive reasoning to a propositional logic
Rasga, Joao
Sernadas, Cristina
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (04) : 697 - 728
[2] An abductive propositional logic for design reasoning
Lin, FT
Wang, HHS
[J]. JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2001, 24 (05) : 569 - 579
[3] Abductive reasoning: Logic, visual thinking, and coherence
Thagard, P
Shelley, C
[J]. LOGIC AND SCIENTIFIC METHODS: VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 259 : 413 - 427
[4] Abductive Logic Programming for Normative Reasoning and Ontologies
Gavanelli, Marco
Lamma, Evelina
Riguzzi, Fabrizio
Bellodi, Elena
Riccardo, Zese
Cota, Giuseppe
[J]. NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2017, 10091 : 187 - 203
[5] Reasoning on Datalog± Ontologies with Abductive Logic Programming
Gavanelli, Marco
Lamma, Evelina
Riguzzi, Fabrizio
Bellodi, Elena
Zese, Riccardo
Cota, Giuseppe
[J]. FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 65 - 93
[6] ABDUCTIVE REASONING AS THE LOGIC OF AGENT-BASED MODELLING
Halas, Matus
[J]. PROCEEDINGS - 25TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION, ECMS 2011, 2011, : 105 - 111
[7] Towards abductive reasoning in first-order logic
Liliana Reyes-Cabello, A.
Aliseda-Llera, Atocha
Nepomuceno-Fernandez, Angel
[J]. LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 287 - 304
[8] Interleaving belief updating and reasoning in abductive logic programming
Sadri, Fariba
Toni, Francesca
[J]. ECAI 2006, PROCEEDINGS, 2006, 141 : 442 - +
[9] A Diagnostics Framework based on Abductive Description Logic Reasoning
Hubauer, Thomas M.
Grimm, Stephan
Lamparter, Steffen
Roshchin, Mikhail
[J]. 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2012, : 1046 - 1053
[10] PROCESSING ABDUCTIVE REASONING VIA CONTEXTUAL LOGIC PROGRAMMING
LAMMA, E
MELLO, P
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 336 - 343

← 1 2 3 4 5 →