Verifying Space and Time Requirements for Resource-Bounded Agents
In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer (2007)
Authors |
|
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.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Buy the book |
Find it on Amazon.com
|
Options |
![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Verifying Time, Memory and Communication Bounds in Systems of Reasoning Agents.Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib - 2009 - Synthese 169 (2):385-403.
Similar books and articles
Using Abstract Resources to Control Reasoning.Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott - 1998 - Journal of Logic, Language and Information 7 (1):77-101.
Modelling Communicating Agents in Timed Reasoning Logics.Brian Logan, Mark Jago & Natasha Alechina - 2006 - In U. Endriss & M. Baldoni (eds.), Declarative Agent Languages and Technologies 4. Springer.
Exploring the Future with Resource-Bounded Agents.Michael Fisher & Chiara Ghidini - 2009 - Journal of Logic, Language and Information 18 (1):3-21.
A Logic of Situated Resource-Bounded Agents.Natasha Alechina & Brian Logan - 2009 - Journal of Logic, Language and Information 18 (1):79-95.
A Logic of Strategic Ability Under Bounded Memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.
Belief Ascription Under Bounded Resources.Natasha Alechina & Brian Logan - 2010 - Synthese 173 (2):179 - 197.
Analytics
Added to PP index
2009-02-12
Total views
44 ( #259,100 of 2,518,488 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )
2009-02-12
Total views
44 ( #259,100 of 2,518,488 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,488 )
How can I increase my downloads?
Downloads