KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements

  1. Marcello Balduccini(Saint Joseph's University)
  2. Michael Gelfond(Texas Tech University)
  3. Enrico Pontelli(New Mexico State University)
  4. Tran Cao Son(New Mexico State University)

Keywords

  1. Commonsense reasoning-General
  2. Logic programming, answer set programming, constraint logic programming-General
  3. Reasoning about actions and change, action languages-General
  4. Reasoning about knowledge, beliefs, and other mental attitudes-General

Abstract

The paper proposes a framework for capturing how an agent’s beliefs evolve over time in response to observations and for answering the question of whether statements made by a third party can be believed. The basic components of the framework are a formalism for reasoning about actions, changes, and observations and a formalism for default reasoning.

The paper describes a concrete implementation that leverages answer set programming for determining the evolution of an agent's ``belief state'', based on observations, knowledge about the effects of actions, and a theory about how these influence an agent's beliefs. The beliefs are then used to assess whether statements made by a third party can be accepted as truthful. The paper investigates an application of the proposed framework in the detection of man-in-the-middle attacks targeting computers and cyber-physical systems. Finally, we briefly discuss related work and possible extensions.