30 June 2000, Computation Logic Seminar

30 June 2000, Computation Logic Seminar
Machiel Jansen from the Department of Social Science Informatics (SWI) of the UvA will talk about the use of semantic tableaux for Knowledge Engineering.
Location: Euclides Building, Plantage Muidergracht 24, Room P.327
Date and Time: Friday June 30, 14:30-15:30

Abstract:
In Knowledge Engineering a number of problem types (or tasks) such as diagnosis, planning, classification etc. have been identified. A number of default heuristic problem solving methods have been linked to each task, together with typical domain conceptualizations. Logical properties of tasks are often left underspecified. The aim of my research is to investigate how a task can be characterized in logical terms. To do this I use semantic tableaux, or rather show how they can be adapted to incorporate other (non-classical) forms of reasoning. However the aim is not to build an optimal (non-monotonic) tableaux based theorem prover. Instead tableaux are used as a tool to show some logical properties of tasks on what is known as 'the knowledge level' are involved.

More information can be found on the Computational Logic Seminar homepage.