Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

AAAI
1998

favoriteEmaildiscussreport

113views Intelligent Agents» more AAAI 1998»

A Formal Methodology for Verifying Situated Agents

13 years 5 months ago

A Formal Methodology for Verifying Situated Agents

Download www.aaai.org

In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilities to execute its actions in dynamic environments and a repertoire of proof methods by which the correctness of an agent, relative to its capabilities, can be formally verified.

Phan Minh Dung

Real-time Traffic

AAAI 1998 | Agent Capabilities | Formal Methodology | Intelligent Agents | Specification Language |

claim paper

Related Content

» Simulation and Formal Analysis of Visual Attention in Cognitive Systems

» A ModelTheoretic Approach to the Verification of Situated Reasoning Systems

» A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes

» A Cognitive Model for Visual Attention and Its Application

» ATEAM agent mediated team performance model

» Model checking knowledge strategies and games in multiagent systems

» Formal Analysis of Meeting Protocols

» Reasoning about Rationality and Beliefs

» Declarative Agent Control

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1998
Where	AAAI
Authors	Phan Minh Dung

Comments (0)