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 contributionpeer-review

    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
    Country/TerritoryItaly
    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