Verifying space and time requirements for resource-bounded agents

Natasha Alechina*, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini

*Corresponding author for this work

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

Abstract

The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using the Model Based Planner (MBP) which illustrates how the length of the deduction varies for different memory sizes.

Original languageEnglish
Title of host publicationModel Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Revised Selected and Invited Papers
Pages19-34
Number of pages16
Volume4428 LNAI
Publication statusPublished - 2007
Event4th Workshop Model Checking and Artificial Intelligence, MoChArt - Riva del Garda, Italy
Duration: 29 Aug 200629 Aug 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4428 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other4th Workshop Model Checking and Artificial Intelligence, MoChArt
CountryItaly
CityRiva del Garda
Period29/08/0629/08/06

Fingerprint Dive into the research topics of 'Verifying space and time requirements for resource-bounded agents'. Together they form a unique fingerprint.

Cite this