A Unified Theory Of Acting And Agency For A Universal Interfacing Agent

dc.contributor.advisorPerlis, Donald Ren_US
dc.contributor.advisorAnderson, Michael Len_US
dc.contributor.authorJosyula, Darsana Purushothamanen_US
dc.contributor.departmentComputer Scienceen_US
dc.contributor.publisherDigital Repository at the University of Marylanden_US
dc.contributor.publisherUniversity of Maryland (College Park, Md.)en_US
dc.description.abstractWith 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.en_US
dc.format.extent852343 bytes
dc.subject.pqcontrolledArtificial Intelligenceen_US
dc.subject.pqcontrolledComputer Scienceen_US
dc.subject.pquncontrolledBDI agentsen_US
dc.subject.pquncontrolledcommon sense reasoningen_US
dc.subject.pquncontrolledaction theoryen_US
dc.subject.pquncontrolledreasoning about changeen_US
dc.subject.pquncontrolledactive logicen_US
dc.subject.pquncontrolledinterfacing agent architectureen_US
dc.titleA Unified Theory Of Acting And Agency For A Universal Interfacing Agenten_US


Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
832.37 KB
Adobe Portable Document Format