Induction of logic programs: FOIL and related systems | Zendy

J. R. Quinlan | Zendy; R. M. Cameron-Jones | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Induction of logic programs: FOIL and related systems

Author(s) -

J. R. Quinlan,

R. M. Cameron-Jones

Publication year - 1995

Publication title -

new generation computing

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.277

H-Index - 27

eISSN - 1882-7055

pISSN - 0288-3635

DOI - 10.1007/bf03037228

Subject(s) - computer science , prolog , construct (python library) , principal (computer security) , programming language , foil method , logic program , artificial intelligence , inductive logic programming , first order logic , software engineering , logic programming , computer security , materials science , composite material

FOIL is a first-order learning system that uses information in a collection of relations to construct theories expressed in a dialect of Prolog. This paper provides an overview of the principal ideas and methods used in the current version of the system, including two recent additions. We present examples of tasks tackled by FOIL and of systems that adapt and extend its approach. 1. Introduction All symbolic machine learning leads to the formulation or modification of theories, so the language...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research