In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer (2007)
|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)|
|Through your library||Configure|
Similar books and articles
Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott (1998). Using Abstract Resources to Control Reasoning. Journal of Logic, Language and Information 7 (1):77-101.
Renata Wassermann (1999). Resource Bounded Belief Revision. Erkenntnis 50 (2-3):429-446.
Thomas Ågotnes & Dirk Walther (2009). A Logic of Strategic Ability Under Bounded Memory. Journal of Logic, Language and Information 18 (1).
Natasha Alechina & Brian Logan (2009). A Logic of Situated Resource-Bounded Agents. Journal of Logic, Language and Information 18 (1).
Michael Fisher & Chiara Ghidini (2009). Exploring the Future with Resource-Bounded Agents. Journal of Logic, Language and Information 18 (1).
Brian Logan, Mark Jago & Natasha Alechina (2006). Modelling Communicating Agents in Timed Reasoning Logics. In U. Endriss & M. Baldoni (eds.), Declarative Agent Languages and Technologies 4. Springer.
Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib (2009). Verifying Time, Memory and Communication Bounds in Systems of Reasoning Agents. Synthese 169 (2):385 - 403.
Added to index2009-02-12
Total downloads10 ( #106,301 of 549,088 )
Recent downloads (6 months)0
How can I increase my downloads?