November 11th

Deduction with Constraints:
The Substitutional Framework for Hybrid Reasoning

Alan Frisch
University of York

Abstract

Computer scientists are finding that they can build more powerful and efficient knowledge representation systems, databases, planners, logic programming systems, parsers, theorem-provers and general-purpose deductive systems by integrating special-purpose constraint processing mechanisms into currently existing systems. In outline, this talk will


November 22th

Extracting Knowledge from Data Using Multi-Modal Reasoning
John Zeleznikow
LaTrobe University (Australia)

Abstract

Over the past decade there has been a growing emphasis on reasoning from experience (using case-based reasoning). It is our view that intelligent systems need to reason deductively (with rules given as in statutes, or modelled as in heuristics) and inductively (using experience, such as in legal precedents or medical cases). Such multi-modal reasoning leads to significant questions of interoperability. Because medicine and the law provide excellent examples of the need to perform such reasoning, we use both of them as our application domains.

We shall focus upon the IKBALS (Intelligent Knowledge Based Legal Systems) project which is concerned with multi-modal reasoning and interoperability in the legal domain. Most of the issues we discuss can easily be generalised to application domains other than the law.


December 16th

A Logic for Qualitative Spatial Representation
Anthony Cohn
University of Leeds

Abstract

In this talk I will describe an ontology for space based on the notion of spatial regions; I will present a taxonomy of spatial relations which may hold between such regions and will consider inference mechanisms for the calculus including a simulation procedure which evolves state descriptions over time. The work is related to that of Allen's temporal calculus.

Last updated on 10 March 2011