Download 05 prop logic

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
Representing Knowledge in
Propositional Logic
R&N Chapter 7
573 Topics
Perception
NLP
Robotics
Multi-agent
Reinforcement
Learning
MDPs
Supervised
Learning
Planning
Search
Uncertainty
Knowledge
Representation
Problem Spaces
Agency
© Daniel S. Weld
2
AI=Knowledge Representation
& Reasoning
• Syntax
• Semantics
• Inference Procedure
Algorithm
Sound?
Complete?
Complexity
© Daniel S. Weld
3
Some KR Languages
•
•
•
•
•
•
•
•
•
Propositional Logic
Predicate Calculus
Frame Systems
Rules with Certainty Factors
Bayesian Belief Networks
Influence Diagrams
Semantic Networks
Concept Description Languages
Nonmonotonic Logic
© Daniel S. Weld
4
In Fact…
• All popular knowledge representation
systems are equivalent to (or a subset of)
Logic
• Either Propositional Logic
• Or Predicate Calculus
Probability Theory
© Daniel S. Weld
5
Basic Idea of Logic
• By starting with true assumptions, you can
deduce true conclusions.
© Daniel S. Weld
6
Truth
•Francis Bacon (1561-1626)
•No pleasure is comparable to
the standing upon the
vantage-ground of truth.
•Blaise Pascal (1623-1662)
•We know the truth, not only
by the reason, but also by the
heart.
•Thomas Henry Huxley (18251895)
•Irrationally held truths may
be more harmful than
reasoned errors.
•François Rabelais (c. 14901553)
•Speak the truth and shame
the Devil.
•John Keats (1795-1821)
•Beauty is truth, truth
beauty; that is all
•Ye know on earth, and all ye
need to know.
© Daniel S. Weld
•Daniel Webster (1782-1852)
•There is nothing so powerful
as truth, and often nothing so
strange.
7
Propositional Logic
• Syntax
Atomic sentences: P, Q, …
Connectives:  , , , 
• Semantics
Truth Tables
• Inference
Modus Ponens
Resolution
DPLL
GSAT
• Complexity
© Daniel S. Weld
8
Propsitional Logic: Syntax
• Atoms
P, Q, R, …
• Literals
P,  P
• Sentences
Any literal is a sentence
If S is a sentence
• Then (S  S) is a sentence
• Then (S  S) is a sentence
• Conveniences
PQ
© Daniel S. Weld
same as  P  Q
9
Semantics
• Syntax: a description of the legal
arrangements of symbols
(Def “sentences”)
• Semantics: what the arrangement of
symbols means in the world
Sentences
Facts
© Daniel S. Weld
Sentences
Semantics
World
Semantics
Representation
Inference
Facts
10
Special Syntactic Forms
• General Form:
((q r)  s))   (s  t)
• Conjunction Normal Form (CNF)
( q  r  s )  ( s   t)
Set notation: { ( q, r, s ), ( s,  t) }
empty clause () = false
• Binary clauses: 1 or 2 literals per clause
( q  r)
( s   t)
( q   r  s )
(qr)  s
( s   t)
(st)  false
• Horn clauses: 0 or 1 positive literal per clause
© Daniel S. Weld
11
Propositional Logic: SEMANTICS
• “Interpretation” (or “possible world”)
Assignment to each variable either T or F
Assignment of T or F to each connective via
defns
P
Q
T F
T T F
F F F
PQ
© Daniel S. Weld
P
Q
T F
T T T
F T F
PQ
Q
P
T T F
F F T
P
12
Satisfiability, Validity, & Entailment
• S is satisfiable if it is true in some world
• S is unsatisfiable if it is false all worlds
• S is valid if it is true in all worlds
• S1 entails S2 if wherever S1 is true S2 is
also true
© Daniel S. Weld
13
Notation




=
}
Implication (syntactic symbol)
Inference
Proves
Entailment
Entails
• Sound
  =
• Complete =  
=

implies
© Daniel S. Weld
14
Prop. Logic: Knowledge Engr
1)
2)
3)
4)
5)
One of the women is a biology major
Lisa is not next to Dave in the ranking
Dave is immediately ahead of Jim
Jim is immediately ahead of a bio major
Mary or Lisa is ranked first
1. Choose Vocabulary Universe: Lisa, Dave, Jim, Mary
LD = “Lisa is immediately ahead of Dav
D = “Dave is a Bio Major”
2. Choose initial sentences (wffs)
© Daniel S. Weld
15
Reasoning Tasks
• Model finding
KB = background knowledge
S = description of problem
Show (KB  S) is satisfiable
A kind of constraint satisfaction
• Deduction
S = question
Prove that KB |= S
Two approaches:
1. Rules to derive new formulas from old
(inference)
2. Show (KB   S) is unsatisfiable
© Daniel S. Weld
16
Propositional Logic: Inference
A mechanical process for computing new sentences
1. Backward & Forward Chaining
Based on rule of modus ponens
If know P1, …, Pn & know (P1 ...
Then can conclude Q
 Pn )=> Q
2. Resolution (Proof by Contradiction)
3. GSAT
4. Davis Putnam
© Daniel S. Weld
17