Posted inFeatured
Posted inArtificial Intelligence
Reasoning Systems for Categories
2 families of systems designed for organizing and reasoning with categories: semantic networks - utilizing graphs…
Posted inArtificial Intelligence
Mental Events and Mental Objects
The agents we have constructed so far have beliefs and can deduce new beliefs. Yet…
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…