Skip to main content

Background Knowledge in the Tertius First Order Knowledge Discovery Tool

T. S. Dahl, Background Knowledge in the Tertius First Order Knowledge Discovery Tool . CSTR-99-006, Department of Computer Science, University of Bristol. March 1999. PDF, 109 Kbytes.

Abstract

This paper describes the three formalism available for specifying background knowledge in the Tertius first order logic discovery tool. It also describes the way background knowledge effects the results of Tertius. The way Tertius handles integrity constraints is compared to an approach suggested in work done on the CLAUDIEN learning system. Finally a number of examples of use of Tertius for analysing the `audiology' data-set are also provided.

Bibtex entry.

Contact details

Publication Admin