A grounded specification language for agent programs

This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable properties expressed in an agent specification language, i.e., that any agent implemented by the programming language satisfies the desirable property expressed in the specification language. We study this relation by defining and aligning the semantics of an agent specification language and implementation language, and prove that certain properties expressed in the specification language are satisfied by the implementation language. Categories and Subject Descriptors F.3.1 [Logics and Meaning of Programs]: Specifying and Verifying and Reasoning about Programs--Logics of programs, Specification techniques Keywords Agent Programming Language, Agent Specification language

• Type: Conference
• Year: 2007
• Where: ATAL
• Authors: Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
• Keywords: Agent Programming Language, Agent Specification Language, ATAL 2007, Intelligent Agents, Specification Language