Monash University
Browse

Tiered Logic Technique for Assisting Agents

Download (177.84 kB)
report
posted on 2022-07-25, 00:28 authored by R P Cruz, J N Crossley
We introduce a new kind of logic for agents in different locaities, 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, even though they have different languages. 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 then the locations have specifications associated with them. 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.

History

Technical report number

2008/232

Year of publication

2008

Usage metrics

    Monash Information Technology Technical Reports

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC