Actions, Situations, and Events
reasoning about results of actions is central to a knowledge-based agent. propositional…
Categories and Objects
categories are an important aspect of general knowledge reasoning strict kind categories - an…
Ontological Engineering
ontological engineering - representing abstract concepts (e.g. actions, time, physical objects, and beliefsupper…
What is knowledge representation?
Humans are best at understanding, reasoning, and interpreting knowledge. Human knows things,…
Resolution
Resolution is a theorem proving technique that proceeds by building refutation proofs,…
Forward Chaining in AI
In artificial intelligence, forward and backward chaining is one of the important…
What is Unification?
Unification is a process of making two different logical atomic expressions identical…
Prolog In Artificial Intelligence
Introduction : Prolog is a logic programming language. It has important role in artificial…
First-Order Logic in Artificial intelligence
In the topic of Propositional logic, we have seen that how to…
Alpha-Beta Pruning
Alpha-beta pruning is a modified version of the minimax algorithm. It is…


