-
Notifications
You must be signed in to change notification settings - Fork 46
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
installation didn't show success and use of alarm example in mlnlearn shows parsing error #24
Comments
Hi, Can you please provide more details of your installation process? Did you use |
Thank you for getting back to me so quick. I followed the instructions on the site pracmln.org. I ran the installation in virtual environments in anaconda python 2.7.15 and python 3.5.5 and got the same results. here are the steps i followed: Also, i installed libboost but i can't find libpython-dev ( You can see it here:https://docs.anaconda.com/anaconda/packages/py2.7_linux-64/) After this i didn't find any apps or get an output for mlnlearn in the output terminal. |
Thank you. It's a little difficult for me to parse the screenshots you have uploaded, but I assume you are able to go through steps 1-4 without any problems. If this is indeed the case, perhaps you could copy and paste the output from step 5: From a cursory glance at the images you've posted, it seems that you're using python2 on python3 code. The following snippet should illustrate this more simply than any descriptions I can provide:
My guess is to use Additionally, please note that step 6: Hope this helps! |
I ran python3 setup.py install and it worked without errors. |
mln file: student = {S1, S2, S3, S4} //predicate //Formulae Exist g grade(s,c,g). // Student 'S' doesn't take course 'C' if and only if Grade of Student given Course is "None" !takes(s,c) <=> grade(s,c,None). /student 's1' takes course 'c1' and gets grades 'g1' AND student 's2' takes course 'c2' and gets grade 'g2' AND value of grade 'g1' is greater than 'g2' AND student 's1' and 's2' are different AND they take same course 'c1' AND student 's1' takes course 'c1' and student 's2' takes course 'c2' MPLIES intelligence of Student 's1' is High AND Intelligence of student 's2' is low/ 0 (grade(s1,c1,g1)^grade(s2,c2,g2)^greater(g1,g2)^diffStud(s1,s2)^sameCourse(c1,c2)^takes(s1,c1)^takes(s2,c2)) =>( int(s1,High)^int(s2,Low)) 0 (int(s3,High)^int(s4,Low)^!sameCourse(c3,c4)^grade(s3,c3,g3)^grade(s4,c4,g4)^diffStud(s3,s4)^takes(s3,c3)^takes(s4,c4)) => (diff(c3,High)^diff(c4,Low)) /* if intelligence of a student is high and intelligent of a different studetn is low and they don't take the same course-- the rest of the predicates same as above -- implies difficulty of course 1 is high and course 2 is low*/ 0 (int(s,i) ^ diff(c, d)) => grade(s,c,g) // intelligence and difficulty define grade of a person |
database file: |
gradeValue = {A,B,C,D,None} //predicate declarations // grade(s,c,g) ^ (g != g') => !grade(s,c,g'). // !takes(s,c) <=> grade(s,c,None). // 3.99876 (grade(s1,c1,g1) ^ grade(s2,c2,g2) ^ greater(g1,g2) ^ diffStud(s1,s2) ^ sameCourse(c1,c2) ^ takes(s1,c1) ^ takes(s2,c2)) => (int(s1,High) ^ int(s2,Low)) // 0 (int(s3,High) ^ int(s4,Low) ^ !sameCourse(c3,c4) ^ grade(s3,c3,g3) ^ grade(s4,c4,g4) ^ diffStud(s3,s4) ^ takes(s3,c3) ^ takes(s4,c4)) => (diff(c3,High) ^ diff(c4,Low)) // 0 (int(s,i) ^ diff(c,d)) => grade(s,c,g) // 0 int(a1,a2) // 0 diff(a1,a2) // 0 takes(a1,a2) // -23.9922 grade(a1,a2,a3) // 0 greater(a1,a2) // 0 sameCourse(a1,a2) // 0 diffStud(a1,a2) // EXIST g grade(s,c,g). This is the output that i get from the Alchemy software for learning |
We plan on learning of weights for data and using inference on our robots...we are looking for a ROS package for it to work on. |
Glad to know that your installation is successful. You are having to call If you are only planning to call the pracmln API, and not make any changes to it, then perhaps an automatic |
Thank You.. |
lnlearn.py: l.1073: update_configPRAC LEARNING TOOLloaded 1 database(s). db 1 Databases The above exception was the direct cause of the following exception: Traceback (most recent call last):
|
This is the result i got.
Please let me know how to correct the error.
The text was updated successfully, but these errors were encountered: