The cognitive agents specification language and verification environment for multiagent systems

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 2, 2002, Pages 19-26

  Shapiro, Steven ^a   Lespérance, Yves ^a   Levesque, Hector J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Agent specification languages; Proof assistants; Theorem proving; Verification tools

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; HIGH LEVEL LANGUAGES; MULTI AGENT SYSTEMS; SCHEDULING; SOFTWARE PROTOTYPING; THEOREM PROVING; TREES (MATHEMATICS);

COGNITIVE AGENTS SPECIFICATION LANGUAGES (CASL); PROTOTYPE VERIFICATION SYSTEMS (PVS);

COGNITIVE SYSTEMS;

EID: 0036361438     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/544743.544746     Document Type: Conference Paper

References (16)

1. Model checking multiagent systems
2. ConGolog, a concurrent programming language based on the situation calculus
3. Progression using regression and sensors
4. Compositional verification of multi-agent systems in temporal multi-epistemic logic
5. AOL: A logic of acting, sensing, knowing, and only knowing
6. GOLOG: A logic programming language for dynamic domains
7. Some philosophical problems from the standpoint of artificial intelligence
8. PVS: Combining specification, proof checking, and model checking
9. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
10. The frame problem and knowledge-producing actions
11. Modeling multiagent systems with the cognitive agents specification language - A feature interaction resolution application
12. Specifying communicative multi-agent systems
13. Iterated belief change in the situation calculus