Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.DS_Store		.DS_Store
BackwardChaining.java		BackwardChaining.java
Homework 3.pdf		Homework 3.pdf
LogicInference.java		LogicInference.java
Predicate.java		Predicate.java
README.md		README.md
agent.java		agent.java
input.txt		input.txt
makefile		makefile
output.txt		output.txt

Repository files navigation

BackwardChaining

About

CSCI 561 Artificial Intelligence - Using Backward Chaining Algorithm to determine if the query can be inferred from the information given in the knowledge base.

Readme