Artificial Intelligence
Resolution
Resolution is a theorem proving technique that proceeds by building refutation proofs, i.e., proofs by contradictions. It was…
July 20, 2021 · Boomi NathanAuthor: Boomi Nathan
J. BoomiNathan is a writer at SenseCentral who specializes in making tech easy to understand. He covers mobile apps, software, troubleshooting, and step-by-step tutorials designed for real people—not just experts. His articles blend clear explanations with practical tips so readers can solve problems faster and make smarter digital choices. He enjoys breaking down complicated tools into simple, usable steps.
Basics
Backward Chaining
Backward-chaining is also known as a backward deduction or backward reasoning method when using an inference engine. A…
July 20, 2021 · Boomi NathanArtificial Intelligence
Forward Chaining in AI
In artificial intelligence, forward and backward chaining is one of the important topics, but before understanding forward and…
July 20, 2021 · Boomi NathanArtificial Intelligence
What is Unification?
Unification is a process of making two different logical atomic expressions identical by finding a substitution. Unification depends…
July 20, 2021 · Boomi NathanArtificial Intelligence
Prolog In Artificial Intelligence
Introduction : Prolog is a logic programming language. It has important role in artificial intelligence. Unlike many other programming languages,…
July 20, 2021 · Boomi NathanArtificial Intelligence
First-Order Logic in Artificial intelligence
In the topic of Propositional logic, we have seen that how to represent statements using propositional logic. But…
July 20, 2021 · Boomi NathanArtificial Intelligence
Alpha-Beta Pruning
Alpha-beta pruning is a modified version of the minimax algorithm. It is an optimization technique for the minimax…
July 20, 2021 · Boomi NathanArtificial Intelligence
Optimal Decisions In Games
In a normal search problem, the optimal solution would be a sequence of actions leading to a goal…
July 20, 2021 · Boomi NathanArtificial Intelligence
Game Playing
Game Playing is an important domain of artificial intelligence. Games don’t require much knowledge; the only knowledge we…
July 20, 2021 · Boomi NathanArtificial Intelligence
Backtracking
Prerequisites : · Recursion · Complexity Analysis Backtracking is an algorithmic-technique for solving problems recursively by trying to build a solution…
July 20, 2021 · Boomi Nathan