TY - GEN
T1 - Verifying space and time requirements for resource-bounded agents
AU - Alechina, Natasha
AU - Bertoli, Piergiorgio
AU - Ghidini, Chiara
AU - Jago, Mark
AU - Logan, Brian
AU - Serafini, Luciano
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38049123414&partnerID=8YFLogxK
M3 - Conference proceeding contribution
AN - SCOPUS:38049123414
SN - 9783540741275
VL - 4428 LNAI
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 19
EP - 34
BT - Model Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Revised Selected and Invited Papers
T2 - 4th Workshop Model Checking and Artificial Intelligence, MoChArt
Y2 - 29 August 2006 through 29 August 2006
ER -