𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formalization of agent-oriented systems

✍ Scribed by S. S. Gorokhovskyi, A. N. Glybovets, O. A. Popov

Book ID
113063073
Publisher
Springer US
Year
2012
Tongue
English
Weight
285 KB
Volume
48
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Proposition of formal semantics for mult
Proposition of formal semantics for multi-agent systems
✍ Walib Chainbi πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 260 KB

This paper has two purposes. First, it presents an approach to designing an agent that is different from most known in the DAI field. Starting from our study of cooperation in multi-agent systems, we identify the underlying concepts of an agent. These concepts consist of communication concepts and o

Formal specification of beliefs in multi
Formal specification of beliefs in multi-agent systems
✍ Massimo Benerecetti; Enrico Giunchiglia; Luciano Serafini; Adolfo Villafiorita πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 254 KB πŸ‘ 2 views

The goal of this paper is to present a logical framework for the formalization of agents' mutual beliefs in a Multi Agent system. The approach is based on a combination of Ε½ . extensional specifications of beliefs and context-based finite presentation of the specifications by employing a particular