Tiered logic for agents in contexts

Rosalito Perez Cruz, John Newsome Crossley

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    2 Citations (Scopus)

    Abstract

    We introduce a new kind of logic for agents in different localities, which works in tiers or layers. At the base are local worlds with their own logic. Above them is a global logic that takes statements from the local worlds and combines them. This allows communications between the different localities. We give a basic example using first order logic as the local logic and propositional calculus at the global level. As a more sophisticated example we use the algebraic specification language CASL and take the locations as specifications. Moreover we then permit the combination of such specifications according to the architectural specifications of CASL. Although we only consider two layers in the present paper, we see no reason why the approach should not be extended to any finite number of tiers. We prove soundness and completeness proofs for our logics.

    Original languageEnglish
    Title of host publicationAgents and Artificial Intelligence - International Conference, ICAART 2009, Revised Selected Papers
    Pages191-204
    Number of pages14
    Volume67 CCIS
    DOIs
    Publication statusPublished - 2010
    Event1st International Conference on Agents and Artificial Intelligence, ICAART 2009 - Porto, Portugal
    Duration: 19 Jan 200921 Jan 2009

    Publication series

    NameCommunications in Computer and Information Science
    Volume67 CCIS
    ISSN (Print)1865-0929

    Conference

    Conference1st International Conference on Agents and Artificial Intelligence, ICAART 2009
    CountryPortugal
    CityPorto
    Period19/01/0921/01/09

    Keywords

    • Agents
    • Logics for agent systems
    • Ontologies and agent systems

    Cite this