1 Knowledge Representation and Inference
1 Knowledge Representation and Inference
• Knowledge
• Intelligence
• Reasoning
• Inference
• Knowledge Representation
➢ Logic (prepositional and predicate logic)
➢ Rules (inference if-then rules)
➢ Semantic net
➢ Frames (slots and fillers)
➢ Scrips
Contents
• Introduction to Proportional logic
• Basic facts
• Syntax
• Logical Connectives
• Summary
Proportional logic
• Propositional logic (PL) is the simplest form of logic where all the
statements are made by propositions.
• A proposition is a declarative statement which is either true or
false.
• It is a technique of knowledge representation in logical and
mathematical form.
• Example:
– a) It is Sunday.
– b) The Sun rises from West (False proposition)
– c) 3+3= 7(False proposition)
– d) 5 is a prime number.
Basic Facts
• Propositional logic is also called Boolean logic as it
works on 0 and 1.
• In propositional logic, we use symbolic variables to
represent the logic, and we can use any symbol for
a representing a proposition, such A, B, C, P, Q, R,
etc.
• Propositions can be either true or false, but it
cannot be both.
• Propositional logic consists of an object, relations
or function, and logical
• connectives.
These connectives are also called logical
• The propositions and connectives are the basic elements of the
propositional
• logic.
Connectives can be said as a logical operator which connects
two sentences.
• A proposition formula which is always true is called tautology,
and it is also called a valid sentence.
• A proposition formula which is always false is
called
• Contradiction.
Statements which are questions, commands, or opinions are not
propositions such as "Where is Rohini", "How are you", "What
is your name", are not
propositions.
Syntax
• Atomic Proposition:
– Atomic propositions are the simple
– propositions.
It consists of a single proposition symbol. These are
the sentences which must be either true or false.
– Example:
• a) 2+2 is 4, it is an atomic proposition as it is a true fact.
• b) "The Sun is cold" is also a proposition as it is a false
.
fact
• Compound proposition:
– Compound propositions are constructed by
combining simpler or atomic propositions, using
parenthesis and logical
connectives.
– Example:
• a) "It is raining today, and street is wet."
• b) "Ankit is a doctor, and his clinic is in Mumbai."
Logical
Connectives: