DYNAMIC WORLDS - FROM THE FRAME PROBLEM TO KNOWLEDGE MANAGEMENT

Reasoning is an integral part of intelligent systems in fields like data bases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. In reality any such system has to cope with a changing world and its dynamics. Hence it is of high importance that reasoning must account for coping with change in order to be truly useful in practise. The book comprises several contributions to current ways of approaching this problem. On the one hand it surveys and synthesizes recent research work, while on the other hand new research results are included. The book aims at researchers and advanced students active in this field.