Basics
Symbolic versus statistical reasoning
The (Symbolic) methods basically represent uncertainty belief as being True, False, or Neither True nor False. Some methods also…
July 15, 2021 · Rajil TLLatest articles
Basics
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:…
July 15, 2021 · Rajil TLBasics
Circumscription
Circumscription is a rule of conjecture that allows you to jump to the conclusion that the objects you can…
July 15, 2021 · Rajil TLBasics
Non-Monotonic Reasoning
Predicate logic and the inferences we perform on it is an example of monotonic reasoning. In monotonic reasoning if we…
July 15, 2021 · Rajil TLBasics
Reasoning with Uncertainty
What is reasoning? When we require any knowledge system to do something it has not been explicitly told…
July 15, 2021 · Rajil TLBasics
Conceptual Dependency (CD)
Conceptual Dependency originally developed to represent knowledge acquired from natural language input. The goals of this theory are:…
July 15, 2021 · Rajil TLBasics
Scripts
A script is a structure that prescribes a set of circumstances which could be expected to follow on from one…
July 15, 2021 · Rajil TLBasics
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…
July 15, 2021 · Rajil TLBasics
Procedural Knowledge Representations
Declarative or Procedural? Declarative knowledge representation: Static representation — knowledge about objects, events etc. and their relationships and states given.…
July 15, 2021 · Rajil TLBasics
Logic Knowledge Representation
We briefly mentioned how logic can be used to represent simple facts in the last lecture. Here we…
July 15, 2021 · Rajil TL