From Logic Specification to y-calculus: A Method for Designing Multiagent Systems

Hong Lin
Additional contact information
Hong Lin: University of Houston-Downtown, USA

International Journal of Intelligent Information Technologies (IJIIT), 2007, vol. 3, issue 3, 21-40

Abstract: 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 multiagent 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.

Date: 2007
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 4018/jiit.2007070102 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jiit00:v:3:y:2007:i:3:p:21-40

Access Statistics for this article

International Journal of Intelligent Information Technologies (IJIIT) is currently edited by Vijayan Sugumaran

More articles in International Journal of Intelligent Information Technologies (IJIIT) from IGI Global Scientific Publishing
Bibliographic data for series maintained by Journal Editor ().