𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal approach to multi-phase systems

✍ Scribed by G. Superti Furga

Publisher
John Wiley and Sons
Year
2007
Tongue
English
Weight
402 KB
Volume
8
Category
Article
ISSN
1430-144X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A formal approach to the design of featu
A formal approach to the design of feature-based multi-sensor recognition systems
✍ Mieczyslaw M. Kokar; Zbigniew Korona πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 270 KB

This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories a

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

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