Ulster University Logo

A Logical Approach to High-Level Agent Control

Chen, Liming, Bechkoum, Kamal and Clapworhty, Gordon (2001) A Logical Approach to High-Level Agent Control. In: The 5th International Conference on Autonomous Agents, Montreal, Canada. ACM New York, NY, USA. 8 pp. [Conference contribution]

Full text not available from this repository.


Recent work in animated human-like agent has made impressive progress toward generating agents with believable appearances and realistic motions for the interactive applications of inhabited virtual worlds. It remains difficult, however, to instruct animatedagents to perform specific tasks or take initiatives. This paper addresses the challenge of instructability by introducing cognitive modelling - a novel logical approach based on a highly developed logical theory of actions, i. e. Event Calculus. Cognitive models go beyond behavioural models in that they govern an agent’s behaviour by reasoning about its knowledge, actions and events. To facilitate the construction of the cognitive models, we propose a high-level behaviour specification language (BSL) from the event calculus formalism. Using BSL, we can specify an agent’s domain knowledge, design behaviour controllers and then control the agent’s behaviour in terms of goals and/or user’s instructions. This approach allows agent’s behaviours to be specified and controlled more naturally and intuitively, more succinctly and at a much higher level of abstraction than would otherwise be possible. It also provides a logical characterisation of planning viaabductive reasoning process. Furthermore, we integrate sensing capability into our underlying theoretical framework, thus enabling animated agents to generate appropriate behaviour even in complex, dynamic virtual worlds. An animated human-like interface agent for virtual environments is used to demonstrate the approach. The architecture for implementing the approach is also described.

Item Type:Conference contribution (Paper)
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Smart Environments
ID Code:8373
Deposited By: Dr Liming Chen
Deposited On:08 Mar 2010 16:17
Last Modified:29 Jun 2011 15:17

Repository Staff Only: item control page