Basics 1 min read
Symbolic versus statistical reasoning
The (Symbolic) methods basically represent uncertainty belief as being True, False, or Neither True nor False. Some methods also had problems…
THE LATEST THINKING
Every story.
Browse our articles in publication order, with new stories added automatically.
Basics 2 min read
Implementations: Truth Maintenance Systems
A variety of Truth Maintenance Systems (TMS) have been developed as a means of implementing Non-Monotonic Reasoning Systems. Basically TMSs: all do…
Basics 2 min read
Circumscription
Circumscription is a rule of conjecture that allows you to jump to the conclusion that the objects you can show that…
Basics 3 min read
Non-Monotonic Reasoning
Predicate logic and the inferences we perform on it is an example of monotonic reasoning. In monotonic reasoning if we enlarge at…
Basics 2 min read
Reasoning with Uncertainty
What is reasoning? When we require any knowledge system to do something it has not been explicitly told how to…
Basics 5 min read
Conceptual Dependency (CD)
Conceptual Dependency originally developed to represent knowledge acquired from natural language input. The goals of this theory are: To help…
Basics 2 min read
Strong Slot and Filler Structures
Strong Slot and Filler Structures typically: Represent links between objects according to more rigid rules. Specific notions of what types of object and…
Basics 1 min read
Procedural Knowledge Representations
Declarative or Procedural? Declarative knowledge representation: Static representation — knowledge about objects, events etc. and their relationships and states given. Requires a…
Basics 4 min read
Logic Knowledge Representation
We briefly mentioned how logic can be used to represent simple facts in the last lecture. Here we will highlight…
Basics 2 min read
Issue in Knowledge Representation
Below are listed issues that should be raised when using a knowledge representation technique: Important Attributes — Are there any…
Basics 2 min read
Inferential Knowledge
Represent knowledge as formal logic: All dogs have tails : dog(x) hasatail(x) Advantages: A set of strict rules. Can be used to derive more facts.…