Posted inProgramming Technology & Innovation
Posted inArtificial Intelligence
Actions, Situations, and Events
reasoning about results of actions is central to a knowledge-based agent. propositional logic gave us…
Posted inArtificial Intelligence
Categories and Objects
categories are an important aspect of general knowledge reasoning strict kind categories - an object is a…
Posted inArtificial Intelligence
Ontological Engineering
ontological engineering - representing abstract concepts (e.g. actions, time, physical objects, and beliefsupper ontology - a general…
Posted inArtificial Intelligence
What is knowledge representation?
Humans are best at understanding, reasoning, and interpreting knowledge. Human knows things, which is knowledge…
Posted inArtificial Intelligence
Resolution
Resolution is a theorem proving technique that proceeds by building refutation proofs, i.e., proofs by…
Posted inBasics
Backward Chaining
Backward-chaining is also known as a backward deduction or backward reasoning method when using an…
Posted inArtificial Intelligence
Forward Chaining in AI
In artificial intelligence, forward and backward chaining is one of the important topics, but before…
Posted inArtificial Intelligence
What is Unification?
Unification is a process of making two different logical atomic expressions identical by finding a…
Posted inArtificial Intelligence
Prolog In Artificial Intelligence
Introduction : Prolog is a logic programming language. It has important role in artificial intelligence. Unlike many…
Posted inArtificial Intelligence
First-Order Logic in Artificial intelligence
In the topic of Propositional logic, we have seen that how to represent statements using…