Céline Hocquette

icon indicating a website link https://celinehocquette.github.io

icon company University of Southampton icon location London icon location Researcher at the university of Southampton. I work on program synthesis / inductive logic programming.

Results 4 comments of Céline Hocquette

Adding direction to unneccessary predicate seems to cause stopping finding a solution

Popper currently cannot learn with partial directions (#31), if you add the following it should find the same hypothesis: ``` direction(path,(in,out)). direction(edge,(in,out)). ```

What does max_clauses(N) do exactly?

Yes, max_clauses/1 has changed meaning in the new version (#45) and does not work as you intended anymore.

Learning more than one head.

Hi @pudumagico, Popper learns definite programs, each clause has exactly one head literal. It cannot learn clauses with more than one head literal. The new version neither can learn programs...

Learning more than one head.

It is possible to learn auxiliary predicates through predicate invention. Two examples are available [here](https://github.com/logic-and-learning-lab/Popper/tree/main/examples/kinship-pi) and [here](https://github.com/logic-and-learning-lab/Popper/tree/main/examples/robots-pi). In short, you must use 'enable_pi.' in your bias file. In this case,...