Artificial Intelligence 3 min read
Truth Maintenance Systems
inferences drawn by the knowledge representation system will have only default status, rather than being absolutely certain. Inevitably, some of…
THE ARCHIVES
Author: 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.
Artificial Intelligence 3 min read
Reasoning With Default Information
2 examples that violate the monotonicity property of logic (and thus are non-monotonic): semantic networks we saw that property inherited by all members…
Artificial Intelligence 5 min read
Reasoning Systems for Categories
2 families of systems designed for organizing and reasoning with categories: semantic networks – utilizing graphs and algorithms for inferring properties…
Artificial Intelligence 4 min read
Mental Events and Mental Objects
The agents we have constructed so far have beliefs and can deduce new beliefs. Yet none of them has any…
Artificial Intelligence 7 min read
Actions, Situations, and Events
reasoning about results of actions is central to a knowledge-based agent. propositional logic gave us an example of the wumpus…
Artificial Intelligence 2 min read
Categories and Objects
categories are an important aspect of general knowledge reasoning strict kind categories – an object is a triangle iff it is a…
Artificial Intelligence 1 min read
Ontological Engineering
ontological engineering – representing abstract concepts (e.g. actions, time, physical objects, and beliefsupper ontology – a general framework of concepts have to…
Artificial Intelligence 4 min read
What is knowledge representation?
Humans are best at understanding, reasoning, and interpreting knowledge. Human knows things, which is knowledge and as per their knowledge…
Artificial Intelligence 4 min read
Resolution
Resolution is a theorem proving technique that proceeds by building refutation proofs, i.e., proofs by contradictions. It was invented by…
Basics 2 min read
Backward Chaining
Backward-chaining is also known as a backward deduction or backward reasoning method when using an inference engine. A backward chaining…
Artificial Intelligence 4 min read
Forward Chaining in AI
In artificial intelligence, forward and backward chaining is one of the important topics, but before understanding forward and backward chaining…
Artificial Intelligence 5 min read
What is Unification?
Unification is a process of making two different logical atomic expressions identical by finding a substitution. Unification depends on the…