A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States
This paper explores the challenge of encountering incorrect beliefs in the context of reasoning about actions and changes using action languages with sensing actions. An incorrect belief occurs when some observations conflict with the agent’s own beliefs. A common approach to recover from this situation is to replace the initial beliefs with beliefs that conform to the sequence of actions and the observations. The paper introduces a regression-based and revision-based approach to calculate a correct initial belief. Starting from an inconsistent history consisting of actions and observations, the proposed framework (1) computes the initial belief states that support the actions and observations and (2) uses a belief revision operator to repair the false initial belief state. The framework operates on domains with static causal laws, supports arbitrary sequences of actions, and integrates belief revision methods to select a meaningful initial belief state among possible alternatives.
Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | Applications of Declarative LanguagesPADL at PADL Chair(s): Ekaterina Komendantskaya Heriot-Watt University, UK | ||
16:00 30mResearch paper | A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States PADL Fabio Tardivo New Mexico State University, Loc Pham New Mexico State University, Tran Cao Son New Mexico State University, Enrico Pontelli New Mexico State University | ||
16:30 30mResearch paper | Data validation meets Answer Set Programming PADL Mario Alviano University of Calabria, Carmine Dodaro Department of Mathematics and Computer Science, University of Calabria, Arnel Zamayla University of Calabria, Italy | ||
17:00 30mResearch paper | Lightweight Declarative Server-Side Web Programming PADL Michael Hanus Kiel University |