Implementation of belief revision on Sony Aibo

Abstract

This paper proposes an implementation for a system of Belief Revision for the robot Aibo of Sony. Belief Revision is an impressive theory of nonmonotonic reasoning based on the AGM paradigm, which could lead to amazing progress in fields of
artificial intelligence such as behaviour simulation. This paper retraces the important bases of simple logic, nonmonotonic reasoning and belief revision. It describes one way to implement such a system for Aibo, using two major Australian belief revision systems. Sorne belief revision applications are built and discussed in different application domains

Date of Award	2004
Original language	English
Supervisor	Pierre Yves Schobbens (Supervisor)