GitHub - jainn3/Inference---First-Order-Logic: Given the knowledge base, using the backward chaining algorithm to infer whether the query is entailed in KB or no.

jainn3 / Inference---First-Order-Logic Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Given the knowledge base, using the backward chaining algorithm to infer whether the query is entailed in KB or no.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
BackwardChaining.java		BackwardChaining.java
Inference Backward chaining.pdf		Inference Backward chaining.pdf
input_1.txt		input_1.txt
output_1.txt		output_1.txt
readme.txt		readme.txt

Repository files navigation

The input is a text file from args[1]. 
For format of input and output file check examples in the current directory.
The output is written in the current directory.

For more information refer Inference Backward chaining.pdf in the current repository.