Posted inFeatured
Posted inArtificial Intelligence
Truth Maintenance Systems
inferences drawn by the knowledge representation system will have only default status, rather than being…
Posted inArtificial Intelligence
Reasoning With Default Information
2 examples that violate the monotonicity property of logic (and thus are non-monotonic): semantic networks we saw that…
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…