Welcome to the InfoSci Platform
From Logic Specification to y-calculus: A Method for Designing Multiagent Systems

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

Hong Lin
Copyright: © 2007 |Volume: 3 |Issue: 3 |Pages: 20
ISSN: 1548-3657|EISSN: 1548-3665|ISSN: 1548-3657|EISBN13: 9781615203666|EISSN: 1548-3665|DOI: 10.4018/jiit.2007070102
Cite Article Cite Article

MLA

Lin, Hong. "From Logic Specification to y-calculus: A Method for Designing Multiagent Systems." IJIIT vol.3, no.3 2007: pp.21-40. http://doi.org/10.4018/jiit.2007070102

APA

Lin, H. (2007). From Logic Specification to y-calculus: A Method for Designing Multiagent Systems. International Journal of Intelligent Information Technologies (IJIIT), 3(3), 21-40. http://doi.org/10.4018/jiit.2007070102

Chicago

Lin, Hong. "From Logic Specification to y-calculus: A Method for Designing Multiagent Systems," International Journal of Intelligent Information Technologies (IJIIT) 3, no.3: 21-40. http://doi.org/10.4018/jiit.2007070102

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.