- From: aianta <aianta04@gmail.com>
- Date: Sat, 9 Jan 2010 16:32:33 -0800 (PST)
- To: semantic-web@w3.org
I am a student in grade 8 doing a science fair project on Artificial Intelligence, and I decided to use semantic technologies to solve a logic puzzle. The logic puzzle is simple; you have 3 jars one that holds 8 Liters another that holds 5 Liters and yet another that holds 3 Liters. You want to have 4 Liters. How do you pour the water in order to have 4 Liters. I was doing pretty good until now. I have already established that there is only one way to answer the question. I did this by drawing out all the possibilities. I have created a Java program that creates each status (status of the problem for example: At the beginning you might have 0Liters in the 3L jar 0Liters in the 5L jar and 8 Liters in the 8L jar. The status in this case would be 008. I also have the step number there so the final status is S1 008 (S1 stands for step 1) ) So I have created a Java program that writes each status as an F-Logic instance, now I want to put the logic in the F-Logic ontology.I just want to make a rule that de-validates a pouring action if it overflows. To do this I need to use the Minimum function/predicate I am using OntoStudio, but I can also try making it in Protege or Snoggle. Does anyone know how to calculate the minimum in between 2 instances with a integer attribute? Any help would be greatly appreciated, I would also be willing to put a reference to the user on my science fair board, for more information on my science fair project go to my blog: http://www.zgentech.com -- View this message in context: http://old.nabble.com/Semantic-Web-Help-tp27094442p27094442.html Sent from the w3.org - semantic-web mailing list archive at Nabble.com.
Received on Monday, 11 January 2010 09:14:57 UTC