some questions pls
Closed this issue · 1 comments
Hello @andrewcropper, thanks for sharing your work. I'm looking to try Popper and have some questions that I haven't found answers from closed issues; I hope you can help.
- If I provide solely positive examples, ie. a blank bk.pl and bias.pl, could Popper find a solution based on available/"core" swipl library?
for example:
exs.pl:
pos( f([], []) ).
pos( f([1, 2, 3, 4, 5], [5,4,3,2,1]) ).
pos( f(['a', 'b', 'c', 'd', 'e'], ['e', 'd', 'c', 'b', 'a]) ).
bias.pl:
head_pred(f,2).
-
Can Popper propose solutions if the bias.pl file contain clauses superfluous to the problem at hand? Put another way, if I do not know in advance what to include in the search space, and do not narrow it down, can Popper still propose solutions? I am interested in incremental learning, as asked here.
-
If Popper cannot find any solutions, how best to figure out what could help it find a solution - ie. how do I know to add to examples versus the bias file?
I'm happy to email you instead.
Many thanks in advance.
ps. I would've tried some of the above but am waiting for some help in installing janus-swi, which seems to be a pre-requisite.