TITLE: Automatic synthesis of a global behavior from multiple behaviors

PRESENTER: Sebastian Sardina, http://goanna.cs.rmit.edu.au/~ssardina/home.shtml, ssardina@cs.rmit.edu.au

AFFILIATION: School of Computer Science and Information Technology, RMIT, http://goanna.cs.rmit.edu.au/

DATE: Friday 26th October 2007

TIME: 12:00:00

PLACE: CSE Seminar Room, Level 1, K17

ABSTRACT:

We consider the problem of synthesizing a fully controllable target
behaviour from a set of available partially controllable behaviors
that are to execute within a shared partially predictable, but fully
observable, environment.

Behaviors are represented with a sort of nondeterministic transition
systems, whose transitions are conditioned on the current state of the
environment, also represented as a nondeterministic finite transition
system. On the other hand, the target behavior is assumed to be fully
deterministic and stands for the behavior that the system as a whole
needs to guarantee.

We formally define the problem within an abstract framework,
characterize its computational complexity, and propose a solution by
appealing to satisfiability in Propositional Dynamic Logic, which is
indeed optimal with respect to computational complexity.

We claim that this problem, while novel to the best of our knowledge,
can be instantiated to multiple specific settings in different contexts
and can thus be linked to different research areas of AI, including
agent-oriented programming and cognitive robotics, control, multi-agent
coordination, plan integration, and automatic web-service composition.

This is joint work with Giuseppe De Giacomo and Fabio Patrizi

BIOGRAPHY OF SPEAKER:

Sebastian Sardina is currently a post-doctoral research fellow in the
Intelligent Agents group at RMIT University. In June 2005, Sebastian
finished his PhD on "Deliberation in Agent Programming Languages"
at the University of Toronto's Cognitive Robotics group under the
supervision of Hector Levesque. He obtained a Msc degree in the same
group in 2000. He did his bachelor studies in the Computer Science
department at the Universidad Nacional del Sur, Argentina.
Sebastian's research interests include:

* cognitive robotics & reasoning about action and change
* planning in BDI agent programming languages
* agent ability and knowledge precondition for agent programs
* formal models of deliberation/planning with sensing
* procedural & declarative specification of goals
* logic programming for agents

Seminar information is also available at
http://www.cse.unsw.edu.au/db/ai/seminars/list/index.html

Host:

Maurice Pagnucco

Seminar Convenor:

Van Hai Ho