Double Decker Logic

John Crossley

(Monash University)

Each country has its own language yet we hear and read reports about other countries. Likewise, agents working in different domains sometimes need to communicate global information. For example, if we want to buy a house in Spain then our agent needs to know the local information from the agent there, but in terms we can understand.

This talk, based on work with my student Lito Cruz, describes a double-decker system comprising two tiers. Each domain in tier zero has its own language but information about different domains can be exchanged in tier one, one level up. In the example I give, the logic for the lower tier is predicate logic while that of tier one is propositional. However, the technique can be used for different combinations of logics, even having different logics in different domains in tier zero.

Consistency and completeness results will be sketched. A basic implementation has been done by Lito.
Thursday 17th April 2008, 14:00
Robert Recorde Room
Department of Computer Science