ML Anthology

A Formal Methodology for Verifying Situated Agents

Phan Minh Dung
AAAI 1998 pp. 637-642
/aaai/1998/dung1998aaai-formal/

Abstract

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.

PDF AAAI Semantic Scholar

Cite

Text

Dung. "A Formal Methodology for Verifying Situated Agents." AAAI Conference on Artificial Intelligence, 1998.

Markdown

[Dung. "A Formal Methodology for Verifying Situated Agents." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/dung1998aaai-formal/)

BibTeX

@inproceedings{dung1998aaai-formal,
  title     = {{A Formal Methodology for Verifying Situated Agents}},
  author    = {Dung, Phan Minh},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {637-642},
  url       = {https://mlanthology.org/aaai/1998/dung1998aaai-formal/}
}