Logic-Based Agent Programming
Funding agency: Natural Sciences and Engineering Research Council
of Canada
Principal Investigator:
Yves Lespérance, Department of Computer Science, York University
Duration: 4 years (2000 -- 2004)
Abstract
With the advent of the World Wide Web and electronic commerce, trends
in software are towards open systems, more integration across
applications, and systems that can adapt to change. In response to
this, many developers are starting to adopt agent-oriented
architectures, where a system is composed of agents, autonomous
entities that can interact in flexible ways, for instance through
negotiation, while working towards their goals and reacting to changes
in the environment. However, such flexibility cannot be achieved
without imparting some intelligence to some of the agents through the
use of knowledge-based architectures, automated planning, etc. This
project is concerned with the design of a programming language for
intelligent agents called IndiGolog. This language allows agent
behaviors to be defined in terms of high-level actions, supports the
generation of new plans, and allows plans to be executed adaptively in
changing environments. The language is being used to implement robot
controllers, business process modeling tools, and personal assistants
for tasks such as meeting scheduling.
back to [Yves Lespérance]