Organizational abstractions for the analysis and design of multi-agent system
First international workshop, AOSE 2000 on Agent-oriented software engineering
A formal model of open agent societies
Proceedings of the fifth international conference on Autonomous agents
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Preferring and Updating in Abductive Multi-agent Systems
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Evolving Multi-agent Viewpoints - an Architecture
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A Logical Framework for Modelling eMAS
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Compilation of Updates plus Preferences
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Preferring and updating in logic-based agents
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
An abductive framework for information exchange in multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
In a previous work we introduced a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs) that allow one to assign a measure of strength to the knowledge relationships represented by the edges. In this paper we present the declarative and operational semantics of such a framework, and give results of correctness. We illustrate the usage of the framework by formalizing social agent structures.