Intelligent agents via joint tabling of logic program abduction and updating

Ammar Fathin Sabili, Ari Saptawijaya, Luis Moniz Pereira

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

Abstract

Reasoning is an important aspect for an intelligent agent to come to a rational decision. With the same importance is the ability of such an agent to adapt itself to the environment by learning new knowledge from its observations. When the agent's knowledge base is represented by a logic program, goal-directed deliberative reasoning and the adaptive ability of such an agent can be achieved by abduction and updating on logic programs, respectively. Furthermore, the tabling feature in logic programming, which affords solutions reuse rather than recomputing them, enables an agent to make an immediate decision based on past reasoning, thus avoiding repetitive deliberative reasoning. Joint tabling of logic program abduction and updating is an approach first proposed by Pereira and Saptawijaya, motivated by its application in machine ethics, enabling an agent to make moral decisions, using their system Qualm. In this paper, we provide a complete program transformation which has not been detailed on that approach. We also resolve previously unidentified issues with respect to its implementation aspects. A prototype, Qualm∗, is implemented as a proof of concept using XSB Prolog. Furthermore, an application is detailed, using Qualm', emphasizing the importance of joint tabling of logic program abduction and updating, in the context of intelligent agents, specifically in ambient intelligence for eldercare.

Original languageEnglish
Title of host publication2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages465-470
Number of pages6
ISBN (Electronic)9781538631720
DOIs
Publication statusPublished - 4 May 2018
Event9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 - Jakarta, Indonesia
Duration: 28 Oct 201729 Oct 2017

Publication series

NameInternational Conference on Advanced Computer Science and Information Systems
PublisherInstitute of Electrical and Electronics Engineers Inc.
Volume2018-January
ISSN (Print)2330-4588

Conference

Conference9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017
CountryIndonesia
CityJakarta
Period28/10/1729/10/17

Fingerprint Dive into the research topics of 'Intelligent agents via joint tabling of logic program abduction and updating'. Together they form a unique fingerprint.

  • Cite this

    Sabili, A. F., Saptawijaya, A., & Pereira, L. M. (2018). Intelligent agents via joint tabling of logic program abduction and updating. In 2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 (pp. 465-470). [8355075] (International Conference on Advanced Computer Science and Information Systems; Vol. 2018-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICACSIS.2017.8355075