Name (abbrev)

Name (full)

Category

Last update

FORTE

First Order Revision of Theories from Examples

Samples from ILP systems

b D, Y

Application domain

Further specifications

Forte (First Order Revision of Theories from Examples)

several sample datasets for system Forte (Quintus Prolog)

Type

Format

Complexity

ILP

Forte format

simple sample datasets

WWW / FTP

http://www.cs.utexas.edu/users/ml/forte.html
ftp://ftp.cs.utexas.edu/pub/mooney/forte/

Contact person(s)

Related group(s)

Optional contact address

References

Bradley L. Richards and Raymond J. Mooney: Refinement of First-Order Horn-Clause Domain Theories,
Machine Learning 19,2 (1995), pp. 95-131.

Annotations

The system FORTE (First Order Revision of Theories from Examples) has been described in [Bradley]. It is a machine learning system for modifying a first-order Horn-clause domain theory to fit a set of training examples. FORTE uses a hill-climbing approach to revise theories, it identifies possible errors in an input theory and calls on a library of operators to develop possible revisions. These operators are constructed from methods such as propositional theory refinement, first-order induction, and inverse resolution.

Comments