A Formal Framework for Interactive Agents | Zendy

Carolyn Talcott | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Formal Framework for Interactive Agents

Author(s) -

Carolyn Talcott

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.04.088

Subject(s) - executable , computer science , space (punctuation) , formal methods , formal specification , architecture , programming language , refinement , software engineering , human–computer interaction , art , visual arts , operating system

This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features of different points in the design space, and to develop executable specifications of specific agents and study their interactions with the environment. A long term goal is development of reasoning principles specialized to different regions of the design space

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research