## First order jk-clausal theories are PAC-learnable (1994)

Venue: | Artificial Intelligence |

Citations: | 64 - 27 self |

### BibTeX

@ARTICLE{Raedt94firstorder,

author = {Luc De Raedt},

title = {First order jk-clausal theories are PAC-learnable},

journal = {Artificial Intelligence},

year = {1994},

volume = {70},

pages = {375--392}

}

### Years of Citing Articles

### OpenURL

### Abstract

We present positive PAC-learning results for the nonmonotonic inductive logic programming setting. In particular, we show that first order range-restricted clausal theories that consist of clauses with up to k literals of size at most j each are polynomialsample polynomial-time PAC-learnable with one-sided error from positive examples only. In our framework, concepts are clausal theories and examples are finite interpretations. We discuss the problems encountered when learning theories which only have infinite non-trivial models and propose a way to avoid these problems using a representation change called flattening. Finally, we compare our results to PAC-learnability results for the normal inductive logic programming setting. 1