Verifying Space and Time Requirements for Resource-Bounded Agents

, , , , &
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)
Categories
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation 		Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 5,679
External links
    • 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.
    John L. Pollock, Epistemology: Five Questions.
    Mark Jago, Rule-Based and Resource-Bounded: A New Look at Epistemic Logic.
    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.
    Natasha Alechina & Brian Logan (2010). Belief Ascription Under Bounded Resources. Synthese 173 (2).

    Analytics

    Monthly downloads

    Added to index

    2009-02-12

    Total downloads

    10 ( #106,301 of 549,088 )

    Recent downloads (6 months)

    0

    How can I increase my downloads?


    My notes
    Sign in to use this feature


    Discussion
    Start a new thread
    Order:
    		There  are no threads in this forum
    Nothing in this forum yet.

    Other forums




    Applied ethicsEpistemologyHistory of Western PhilosophyMeta-ethicsMetaphysicsNormative ethics
    Philosophy of biologyPhilosophy of languagePhilosophy of mindPhilosophy of religionScience Logic and MathematicsMore ...
    Home | New books and articles | Bibliographies | Philosophy journals | Discussions | The Categorization Project | About PhilPapers | API | Contact us

    Hosted by The Institute of Philosophy, School of Advanced Study, University of London
    This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by David Bourget and David Chalmers

    Page generated Wed May 22 23:47:38 2013 - Hash code: ROomgYiK5fdVw/anowAeHQ