TIERED LOGIC FOR AGENTS

Rosalito Perez Cruz, John Newsome Crossley

2009

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 specificationsm. 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.

Paper Citation

in Harvard Style

Perez Cruz R. and Newsome Crossley J. (2009). TIERED LOGIC FOR AGENTS . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8111-66-1, pages 369-376. DOI: 10.5220/0001120803690376

in Bibtex Style

@conference{icaart09,
author={Rosalito Perez Cruz and John Newsome Crossley},
title={TIERED LOGIC FOR AGENTS},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2009},
pages={369-376},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001120803690376},
isbn={978-989-8111-66-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - TIERED LOGIC FOR AGENTS
SN - 978-989-8111-66-1
AU - Perez Cruz R.
AU - Newsome Crossley J.
PY - 2009
SP - 369
EP - 376
DO - 10.5220/0001120803690376