On Situated and Tactical Reasoning in Multi-Agent Systems (Robocup Case Study)

Mikhail Prokopenko
CSIRO-MIS, Applied Artificial Intelligence

Tuesday 1 June at 11am

Abstract

In this talk we aim to analyse relationships between different approaches to formalising interactivity in dynamic complex systems. We first attempt to formally define various types of intelligent agent architectures and encapsulate them in a hierarchical framework. We then identify domain classes and action theories corresponding to given agent architectures types. 

The described framework has been used in the RoboCup Simulation League domain, resulting in implementation of Cyberoos - a heterogeneous soccer team of autonomous software agents (3rd place winner of the Pacific Rim series at PRICAI-98).

The talk includes a software demonstration.

Short resume

Mikhail Prokopenko is leading the Robocup efforts in the  Applied Artificial Intelligence project at CMIS Sydney http://www.cmis.csiro.au/aai/RoboCup/index.html

His research addresses the problem of incompleteness and change of knowledge, and involves description and analysis of logic-based formalisms for Reasoning about Action in multi-agent systems. In particular, the relation and possible translations between causal and minimal change approaches to the Frame Problem are explored.

Mikhail received his M.Sc.(Hon.) (1988) in Applied Mathematics from the Azerbaijanian Institute of Petroleum and Chemistry (USSR), and M.A. (1994) in Economics from the University of Missouri - Columbia (USA). Currently he is a PhD candidate at the Computing Department of the Macquarie University.

 

Back to HAIL Home Page