Observations & Expectation Reasoning in Agent System
Binh Tran
Computer Science and Information Technology
RMIT University
Friday, 29th August 2003
0930 - 1100
Abstract:
Although the view of agents as intentional systems has been dominant for
many years, the connections between an agent's internal reasoning and
its external environment have not been properly formalised. We have
addressed this problem by introducing a formal language to describe this
connection through the concepts of observation and expectation. In this
talk, we present a specific expectation reasoning system based on the
agent's observation system to formally explore further how an agent can
use its past observations and current expectations to drive its future
observations and alter its knowledge.
Biosketch:
Binh Tran is a PhD student at RMIT, working on Expectation Logic with James Harland and Margaret Hamilton.