loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rosalito Perez Cruz and John Newsome Crossley

Affiliation: Faculty of Information Technology, Monash University, Australia

Keyword(s): Agents, Logics for agent systems, Ontologies and agent systems.

Related Ontology Subjects/Areas/Topics: Agent Communication Languages ; Agent Models and Architectures ; Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; Distributed Problem Solving ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Multi-Agent Systems ; Programming Environments and Languages ; Software Engineering ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.142.212.153

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Perez Cruz, R. and Newsome Crossley, J. (2009). TIERED LOGIC FOR AGENTS. In Proceedings of the International Conference on Agents and Artificial Intelligence - ICAART; ISBN 978-989-8111-66-1; ISSN 2184-433X, SciTePress, pages 369-376. DOI: 10.5220/0001120803690376

@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 - ICAART},
year={2009},
pages={369-376},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001120803690376},
isbn={978-989-8111-66-1},
issn={2184-433X},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic