Large-scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference

Naoya Inoue, Kentaro Inui

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Abduction is inference to the best explanation. Abduction has long been studied intensively in a wide range of contexts, from artificial intelligence research to cognitive science. While recent advances in large-scale knowledge acquisition warrant applying abduction with large knowledge bases to real-life problems, as of yet no existing approach to abduction has achieved both the efficiency and formal expressiveness necessary to be a practical solution for large-scale reasoning on real-life problems. The contributions of our work are the following: (i) we reformulate abduction as an Integer Linear Programming (ILP) optimization problem, providing full support for first-order predicate logic (FOPL); (ii) we employ Cutting Plane Inference, which is an iterative optimization strategy developed in Operations Research for making abductive reasoning in full-fledged FOPL tractable, showing its efficiency on a real-life dataset; (iii) the abductive inference engine presented in this paper is made publicly available.

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings
Pages281-293
Number of pages13
DOIs
Publication statusPublished - 2012 Oct 5
Event13th European Conference on Logics in Artificial Intelligence, JELIA 2012 - Toulouse, France
Duration: 2012 Sep 262012 Sep 28

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7519 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other13th European Conference on Logics in Artificial Intelligence, JELIA 2012
CountryFrance
CityToulouse
Period12/9/2612/9/28

Keywords

  • abduction
  • cost-based abduction
  • cutting plane inference
  • integer linear programming

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Large-scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference'. Together they form a unique fingerprint.

Cite this