Integrating action calculi and AgentSpeak : closing the gap

Michael Thielscher

    Research output: Chapter in Book / Conference PaperConference Paperpeer-review

    4 Citations (Scopus)

    Abstract

    ![CDATA[Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and geared towards practical applications of cognitive agents. In this paper, we close the gap between these two lines of research by integrating action calculi and AgentSpeak programs. Specifically, we develop a new and purely declarative semantics for AgentSpeak, which paves the way for combining this language with any suitable action calculus in a strictly modular fashion. As the main technical result, we prove that the new declarative semantics is correct wrt. the standard operational semantics for AgentSpeak. This provides the basis for a modular integration of a BDIbased agent programming language with sophisticated methods for reasoning about actions.]]
    Original languageEnglish
    Title of host publicationPrinciples of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010
    PublisherAAAI Press
    Pages79-89
    Number of pages11
    ISBN (Print)9781577354512
    Publication statusPublished - 2010
    EventInternational Conference on Principles of Knowledge Representation and Reasoning -
    Duration: 10 Jun 2012 → …

    Conference

    ConferenceInternational Conference on Principles of Knowledge Representation and Reasoning
    Period10/06/12 → …

    Fingerprint

    Dive into the research topics of 'Integrating action calculi and AgentSpeak : closing the gap'. Together they form a unique fingerprint.

    Cite this