Personal Research Interests

KSG's work in belief revision and the logics of action were initiated by me, and these remain a substantial part of my current activity. I am particularly fascinated by the roles of causality and constraints in theories of action. A few years ago I began work in ontology revision, diagrammatic and analogical reasoning, and explications of theory coherence. The ontology and diagrammatic interests were natural off-shoots of my many years of involvement in conceptual structures, but it was only recently that I found time to connect them with belief revision and model theory. The hope is that this can be applied to action- and complexity-based approaches to situated robotics and axioms for intention revision. With my research fellows I am attempting a synthesis of automata theory, action and modal logics, and circumscription. This is conected with the systems theory work that I still pursue, and I advocate a raprochement between AI and systems theory.

Although my principal interest is now in artificial intelligence, prior to 1986 my research was mainly in logic programming, theorem proving, algorithm analysis, algebraic semantics and systems theory. I maintain an interest in these areas and publish occasionally in them.