Abduction, Induction, and the Logic of Scientific Knowledge Development

Peter Flach; Kakas Antonis

Abduction, Induction, and the Logic of Scientific Knowledge Development

Peter Flach
, Kakas Antonis

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Abstract

In this paper we describe recent developments in the study of abduction and induction and their role in scientific modelling and knowledge formation. We present a central challenge that is emerging from this study, namely the problem of formulating and characterizing the boundaries of incompleteness for proving the ``reverse truth" that these two forms of reasoning provide. This challenge can have important implications in many fields, from the practice of Artificial intelligence and Machine Learning to scientific theory development in areas such as Systems Biology and Cognitive Science.

Translated title of the contribution	Abduction, Induction, and the Logic of Scientific Knowledge Development
Original language	English
Title of host publication	Goedel Centenary 2006
Publisher	Kurt Goedel Society
Publication status	Published - 2006

Bibliographical note

Other page information: -
Conference Proceedings/Title of Journal: Goedel Centenary 2006
Other identifier: 2000631

Access to Document

http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000631

Handle.net

Persistent link

Cite this

@inproceedings{f7cc13df03e34989980acd4dd4de8903,

title = "Abduction, Induction, and the Logic of Scientific Knowledge Development",

abstract = "In this paper we describe recent developments in the study of abduction and induction and their role in scientific modelling and knowledge formation. We present a central challenge that is emerging from this study, namely the problem of formulating and characterizing the boundaries of incompleteness for proving the ``reverse truth{"} that these two forms of reasoning provide. This challenge can have important implications in many fields, from the practice of Artificial intelligence and Machine Learning to scientific theory development in areas such as Systems Biology and Cognitive Science. ",

author = "Peter Flach and Kakas Antonis",

note = "Other page information: - Conference Proceedings/Title of Journal: Goedel Centenary 2006 Other identifier: 2000631",

year = "2006",

language = "English",

booktitle = "Goedel Centenary 2006",

publisher = "Kurt Goedel Society",

}

TY - GEN

T1 - Abduction, Induction, and the Logic of Scientific Knowledge Development

AU - Flach, Peter

AU - Antonis, Kakas

N1 - Other page information: - Conference Proceedings/Title of Journal: Goedel Centenary 2006 Other identifier: 2000631

PY - 2006

Y1 - 2006

N2 - In this paper we describe recent developments in the study of abduction and induction and their role in scientific modelling and knowledge formation. We present a central challenge that is emerging from this study, namely the problem of formulating and characterizing the boundaries of incompleteness for proving the ``reverse truth" that these two forms of reasoning provide. This challenge can have important implications in many fields, from the practice of Artificial intelligence and Machine Learning to scientific theory development in areas such as Systems Biology and Cognitive Science.

AB - In this paper we describe recent developments in the study of abduction and induction and their role in scientific modelling and knowledge formation. We present a central challenge that is emerging from this study, namely the problem of formulating and characterizing the boundaries of incompleteness for proving the ``reverse truth" that these two forms of reasoning provide. This challenge can have important implications in many fields, from the practice of Artificial intelligence and Machine Learning to scientific theory development in areas such as Systems Biology and Cognitive Science.

M3 - Conference Contribution (Conference Proceeding)

BT - Goedel Centenary 2006

PB - Kurt Goedel Society

ER -

Abduction, Induction, and the Logic of Scientific Knowledge Development

Abstract

Bibliographical note

Access to Document

Handle.net

Fingerprint

Cite this