Tabling in abduction and updating

Luís Moniz Pereira, Ari Saptawijaya

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

In the individual realm part of this book, we are addressing the interplay amongst appropriate LP features to represent moral facets and to reason about them. One such interplay is between LP abduction and updating, both supported with tabling mechanisms. In this chapter, we propose novel approaches for employing tabling in abduction and updating—separately—viz., tabling abductive solutions in contextual abduction (Sect. 5.1), plus the incremental tabling of fluents for LP updating (Sect. 5.2). Moreover, these two individual approaches form the components for their subsequent joint tabling technique when combining LP abduction and updating, to be discussed in detail in Chap. 7. The new techniques introduced here, as well as their later joint combination, are general for normal logic programs, and not specific to morality applications. That is, they are of interest in themselves and may be applicable to other domains.

Original languageEnglish
Title of host publicationStudies in Applied Philosophy, Epistemology and Rational Ethics
Place of PublicationCham
PublisherSpringer International Publishing
Pages47-79
Number of pages33
ISBN (Electronic)978-3-319-29354-7
ISBN (Print)978-3-319-29353-0
DOIs
Publication statusPublished - 2016

Publication series

NameStudies in Applied Philosophy, Epistemology and Rational Ethics
PublisherSpringer International Publishing
Volume26
ISSN (Print)2192-6255
ISSN (Electronic)2192-6263

Keywords

  • Robots
  • Robotics
  • Machine ethics

Fingerprint Dive into the research topics of 'Tabling in abduction and updating'. Together they form a unique fingerprint.

Cite this