Conversion to FOL and then using Resolution inference Rule
2 freelanceri licitează în medie 11250₹ pentru acest proiect
Hi! My name is Gaurav, I'm from Mumbai. I am interested in helping you out with this project. I am a post-graduate computer engineer so have a good background of mathematics and I have a good experience with Python as Mai multe
Versatile python developer with extensive skills in FOL (first order logic), including solving problems constructing proofs & models.