The Intelligent Systems Group
The Intelligent Systems Group (ISG) researches a wide variety of topics within the broad field of artificial intelligence. The major focus of the group is upon logic-based approaches to knowledge representation and reasoning.
ISG members are convinced that successful modelling of complex, real-world dynamic domains is best approached by a formal systematic methodology. Logic and algebra are dominant in ISG's repertoire, but there have also been excursions into neural, possibilistic and probabilistic formalisms.
Current projects of ISG are developing the areas of belief change, nonmonotonic reasoning, reasoning about action, temporal reasoning, agent based systems and heterogeneous logic.
The ISG Laboratory is located in E6A Room 308
|Email ISG||Last Modified:|