TITLE: Automatic synthesis of a global behavior from multiple behaviors
PRESENTER: Sebastian Sardina, http://goanna.cs.rmit.edu.au/~ssardina/home.shtml, firstname.lastname@example.org
AFFILIATION: School of Computer Science and Information Technology, RMIT, http://goanna.cs.rmit.edu.au/
DATE: Friday 26th October 2007
PLACE: CSE Seminar Room, Level 1, K17
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
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
Van Hai Ho