Designing Multi-Agent Systems from Logic Specifications: A Case Study

Designing Multi-Agent Systems from Logic Specifications: A Case Study

Hong Lin (University of Houston—Downtown, USA)
DOI: 10.4018/978-1-60566-144-5.ch001


In this chapter a program construction method based on ?-Calculus is proposed. The problem to be solved is specified by first-order predicate logic and a semantic verification program is constructed directly from the specification. We exploit this method in synthesizing the architectural specifications of multi-agent systems (MAS) in ?-Calculus based on the logic specifications of the MAS. By enabling the transformation from the logic specifications to operational specifications of MAS, this method allows the design of the MAS to be focused on the architectural definition level. It benefits the development of MAS by enabling logic deduction on behaviors of the MAS, and a design methodology in an incremental fashion. We present this method by a case study of designing a course information management system.
Chapter Preview

Modeling Multi-Agent Systems By Chemical Reaction Models

Gamma (Banatre & Le Metayer, 1990 & 1993) is a kernel language in which programs are described in terms of multiset transformations. In Gamma programming paradigm, programmers can concentrate on the logic of problem solving based on an abstract machine and are free from considering any particular execution environment. It has seeded follow-up elaborations, such as Chemical Abstract Machine (Cham) (Berry & Boudol, 1992), higher-order Gamma (Le Metayer, 1994), and Structured Gamma (Fradet & Le Metayer, 1998).

Complete Chapter List

Search this Book: