Artificial Intelligence 4 min read
Resolution
Resolution is a theorem proving technique that proceeds by building refutation proofs, i.e., proofs by contradictions. It was invented by…
THE ARTICLE LIBRARY
All stories.
Ideas and explainers from across SenseCentral.
Basics 2 min read
Backward Chaining
Backward-chaining is also known as a backward deduction or backward reasoning method when using an inference engine. A backward chaining…
Artificial Intelligence 4 min read
Forward Chaining in AI
In artificial intelligence, forward and backward chaining is one of the important topics, but before understanding forward and backward chaining…
Artificial Intelligence 5 min read
What is Unification?
Unification is a process of making two different logical atomic expressions identical by finding a substitution. Unification depends on the…
Artificial Intelligence 2 min read
Prolog In Artificial Intelligence
Introduction : Prolog is a logic programming language. It has important role in artificial intelligence. Unlike many other programming languages, Prolog is…
Artificial Intelligence 4 min read
First-Order Logic in Artificial intelligence
In the topic of Propositional logic, we have seen that how to represent statements using propositional logic. But unfortunately, in…
Artificial Intelligence 5 min read
Alpha-Beta Pruning
Alpha-beta pruning is a modified version of the minimax algorithm. It is an optimization technique for the minimax algorithm. As…
Artificial Intelligence 3 min read
Optimal Decisions In Games
In a normal search problem, the optimal solution would be a sequence of actions leading to a goal state-a terminal…
Artificial Intelligence 2 min read
Game Playing
Game Playing is an important domain of artificial intelligence. Games don’t require much knowledge; the only knowledge we need to…
Artificial Intelligence 4 min read
Backtracking
Prerequisites : · Recursion · Complexity Analysis Backtracking is an algorithmic-technique for solving problems recursively by trying to build a solution incrementally, one…