A Unified Theory Of Acting And Agency For A Universal Interfacing Agent
A Unified Theory Of Acting And Agency For A Universal Interfacing Agent
Files
Publication or External Link
Date
2005-12-12
Authors
Josyula, Darsana Purushothaman
Advisor
Perlis, Donald R
Anderson, Michael L
Anderson, Michael L
Citation
DRUM DOI
Abstract
With consumer electronics becoming numerous, various and complex, the idea of a single, shared, general and flexible interfacing agent to interface human users with the multitude of task-oriented systems or devices seems appealing. Such a universal interfacing agent has to understand user instructions and issue commands to control the task-oriented system to which it is connected, in a manner that the
given user desires.
Two important issues that such an agent has to deal with are: (i) how to represent and reason about the tasks that a given device can
perform and the results that a given device can produce and (ii) how to represent and reason about when different tasks are to be performed and whether the tasks have been successful. The dissertation explores
these issues in detail and provides a solution to deal with these issues within a contradiction-tolerant and time-sensitive framework called Active logic.
The solution involves explicitly representing the beliefs, desires, intentions, expectations, observations and achievements of the interfacing agent and reasoning based on these attitudes; the dissertation provides a
theory (ALFA) that agents can use in order to perform this reasoning. The theory specifies the interactions between beliefs, observations, desires, intentions, expectations and achievements for a universal interfacing agent, while taking into
consideration issues associated with concurrent execution of actions as well as
perturbation tolerance. The main characteristics of the theory are: representing and reasoning about concurrent actions and results, dealing with interactions of preconditions of actions or results, dynamic reconsideration of intentions and reasoning using expectations and achievements.
The dissertation also provides an architecture (DIRECTOR) for implementing agents based on
the theory. In this architecture, a meta-cognitive process controls the cognitive
activities of the agent. The rudimentary results of implementing the architecture to create a natural language based interfacing agent (ALFRED) are also discussed in the dissertation.
This work also discusses how the agent's underlying Active logic knowledge base evolves during reasoning and provides proofs for
properties that the knowledge base exhibits, using a meta-theory that specifies how the knowledge base evolves.