ai-systems / dilp-core Goto Github PK

I am looking at the file language_frame.py, and the class Language_Frame. From the docstring it appears that the variable p_e is a list of extensional predicates. However, at line 21-22 you check if the predicate is extensional (i.e. not intensional) and if true return an error. This is confusing, what are those two lines supposed to check?
Thank you very much for your reply!
Kind regards,

Traceback (most recent call last):
File "/Users/jessejing/DILP-Core/run.py", line 55, in
B, pred_f, constants_f = process_file('%s/facts.dilp' % sys.argv[1])
File "/Users/jessejing/DILP-Core/run.py", line 46, in process_file
terms = [Term(False, term) for term in result['arguments'][idx]]
File "/Users/jessejing/miniforge3/envs/dilp/lib/python3.9/site-packages/pyparsing/results.py", line 193, in getitem
return self._toklist[i]
IndexError: list index out of range

Although I didn't install the python 3.6 as indicated in the dockerfile, the error seems not related to this, can you tried to recreate this error?

new progress
https://github.com/ml-research/neumann/
https://github.com/k4ntz/LogicRL

Hi,

Thank you for provideing this code.
When runningto the line 44 of run.py with the three files in your examples/even folder, it showed “ KeyError:'relationship'. I am wondering how to fix it?