Table of Contents
Propositional Logic Review
Truth Table Analysis
Formalisation of Propositional Logic
Formalisation (continued)
Conjunctive Normal Form (CNF)
Proof by Resolution
The Resolution Method
Introduction to Predicate Logic
Predicate Logic language example
English to Logic examples
Some Definitions
Interpretations,Semantic Rules,Validity
Interpretation Example
Valid Sentences
Resolution proof of validity
Semantic Rules
First Order Predicate Logic
Sound and Complete
Formal Systems
Quantifier Equivalences
Transformation to CNF
CNF Transformation Example
Substitutions
Composition of Substitutions
Proof of properties
Unification
Unification Algorithm
Unification examples
Fril Implementation of Unify
Resolution for Predicate Logic
General Resolution Example
Resolution Theorem Proving
Examples of Inference by Resolution
Binary Resolution and Factoring
(In)consistency Checking & Theorem Proving
Control Strategies for Resolution
Set of Support Example
Incompleteness of Linear Input
Horn Clause Example
Fril/Prolog Strategies
Ancestry Filtered Strategy
LUSH and SLD Resolution
Answer Extraction from Proofs
Another Answer Extraction example
A Logic Based Financial Advisor
Model for Financial Advisor
Knowledge Base for Financial Advisor
Reasoning with the Advisor - 1
Reasoning with the Advisor - 2
|