Using abduction for induction of normal logic programs

Oliver Ray; Peter Flach; A Kakas; L. Magnani

Using abduction for induction of normal logic programs

Oliver Ray, Peter Flach, A Kakas, L. Magnani

Department of Computer Science

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

Abstract

This paper proposes the approach of eXtended Hybrid Abductive Inductive Learning (XHAIL) for generalising positive and negative examples with respect to normal logic programs. A proof procedure is described that uses abduction to realise the abductive, deductive, and inductive phases which comprise this approach.

Translated title of the contribution	Using abduction for induction of normal logic programs
Original language	English
Title of host publication	ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling
Publication status	Published - 2006

Bibliographical note

Other page information: 28-31
Conference Proceedings/Title of Journal: ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling
Other identifier: 2000633

Access to Document

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

Handle.net

Persistent link

Cite this

@inproceedings{fce415a72a0b4d329795c09be50692d7,

title = "Using abduction for induction of normal logic programs",

abstract = "This paper proposes the approach of eXtended Hybrid Abductive Inductive Learning (XHAIL) for generalising positive and negative examples with respect to normal logic programs. A proof procedure is described that uses abduction to realise the abductive, deductive, and inductive phases which comprise this approach. ",

author = "Oliver Ray and Peter Flach and A Kakas and L. Magnani",

note = "Other page information: 28-31 Conference Proceedings/Title of Journal: ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling Other identifier: 2000633",

year = "2006",

language = "English",

booktitle = "ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling",

}

TY - GEN

T1 - Using abduction for induction of normal logic programs

AU - Ray, Oliver

AU - Flach, Peter

AU - Kakas, A

AU - Magnani, L.

N1 - Other page information: 28-31 Conference Proceedings/Title of Journal: ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling Other identifier: 2000633

PY - 2006

Y1 - 2006

N2 - This paper proposes the approach of eXtended Hybrid Abductive Inductive Learning (XHAIL) for generalising positive and negative examples with respect to normal logic programs. A proof procedure is described that uses abduction to realise the abductive, deductive, and inductive phases which comprise this approach.

AB - This paper proposes the approach of eXtended Hybrid Abductive Inductive Learning (XHAIL) for generalising positive and negative examples with respect to normal logic programs. A proof procedure is described that uses abduction to realise the abductive, deductive, and inductive phases which comprise this approach.

M3 - Conference Contribution (Conference Proceeding)

BT - ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling

ER -

Using abduction for induction of normal logic programs

Abstract

Bibliographical note

Access to Document

Handle.net

Fingerprint

Cite this