✦ LIBER ✦

Formal specification of beliefs in multi-agent systems

✍ Scribed by Massimo Benerecetti; Enrico Giunchiglia; Luciano Serafini; Adolfo Villafiorita

Publisher: John Wiley and Sons
Year: 1999
Tongue: English
Weight: 254 KB
Volume: 14
Category: Article
ISSN: 0884-8173
DOI: 10.1002/(sici)1098-111x(199910)14:10<1021::aid-int5>3.0.co;2-e

No coin nor oath required. For personal study only.

✦ Synopsis

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 class of Multi Context systems. The extensional specification provides a set-theoretic characterization of beliefs in terms of sets closed under certain conditions. Its finite presentation is provided by using as constructors inference rules inside a Multi Context system. The resulting framework allows for Ž . capturing many relevant cases of real not omniscient agents, which are very common in Multi Agent scenarios embedded in real world environments. In order to substantiate this claim, two Multi Agent scenarios are formally specified in detail in the specification framework.

📜 SIMILAR VOLUMES

Semantic reliability of multi-agent inte

Semantic reliability of multi-agent intelligent systems

✍ Tippure S. Sundresh 📂 Article 📅 2006 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 179 KB

An architecture for tuple-based coordina

An architecture for tuple-based coordination of multi-agent systems

✍ Enrico Denti; Andrea Omicini 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 2 views

Multi-agent system development calls for powerful and expressive coordination models and languages, as well as for an effective coordination technology. A good deal of the current research effort focuses on tuplebased coordination, exploiting its well-known advantages, such as agent uncoupling and a

Use of executable formal specifications

Use of executable formal specifications in user validation

✍ Mehmet Bülent Özcan 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB 👁 2 views

Requirements validation through feedback with users is of paramount importance in producing a high quality requirements specification document. Use of an executable formal specification offers an effective combination of formalism and pragmatism. This allows not only the systematic development of a

Verification of DAG structures in cooper

Verification of DAG structures in cooperative belief network-based multiagent systems

✍ Y. Xiang 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 140 KB 👁 2 views

Multiply sectioned Bayesian networks (MSBNs) provide a framework for probabilistic reasoning in a complex single-user-oriented system as well as in a cooperative multiagent distributed interpretation system. During the construction or dynamic formation of an MSBN, automatic verification of the acycl

Analysis of oxygenation reactions in a m

Analysis of oxygenation reactions in a multi-substrate system—A new approach for estimating substrate-specific true yields

✍ Elizabeth P. Dahlen; Bruce E. Rittmann 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 172 KB 👁 3 views

Specificity of anti-histone antibodies i

Specificity of anti-histone antibodies in systemic lupus erythematosus

✍ Robert L. Rubin; Fenneke G. Joslin; Eng M. Tan 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 326 KB 👁 2 views

Antibody a c t i v i t y t o various histones was examined i n a s o l i d phase radioimmunoassay. More than one h a l f o f the sera from systemic lupus erythematosus (SLE) p a t i e n t s had IgM a c t i v i t y t o t o t a l histones, and a s l i g h t l y lower frequency was observed f o r IgG a