CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
Authors
Giuseppe DE GIACOMO
Y. Lesperance
FABIO PATRIZI
STAVROS VASSOS
Publication date
1 January 2016
Publisher
'Springer Science and Business Media LLC'
Doi
Cite
Abstract
We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories. © 2015 The Author(s
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
Springer - Publisher Connector
See this paper in CORE
Go to the repository landing page
Download from data provider
Last time updated on 05/06/2019
Archivio della ricerca- Università di Roma La Sapienza
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:iris.uniroma1.it:11573/839...
Last time updated on 12/11/2016