1. Logic for Artificial Intelligence
Introduction
Logic for Artificial Intelligence
Yi Zhou

2. Content Course plan What is logic Logic for CS/AI
Propositional logic, First-order logic

3. Content Course plan What is logic Logic for CS/AI
Propositional logic, First-order logic

4. Date Content Details 1 2 3 4 5 Break 6 7 8 9 10
Date
Content
Details 1
08/11/2016
Introduction
Course plan, introduction to logic 2
11/11/2016
Classical reasoning
SAT solving, propositional reasoning, verification 3
15/11/2016
Rule based reasoning
Reactive rules, Datalog, answer set programming 4
18/11/2016
Probabilistic reasoning
Probabilistic logic, Bayesian and Markov logic network 5
22/11/2016
Future directions
Problems, assertional logic, future directions
Break 6
02/12/2016
Knowledge base
Semantic network, Knowledge graph 7
06/12/2016
Ontology
Description logic, Ontology engineering, Semantic Web 8
09/12/2016
Dynamics
AI planning, Markov decision process, task planning 9
13/12/2016
Natural language
Natural logic, semantic parsing 10
30/12/2016
Student presentation

5. 10 classes, Tuesday & Friday night, 2 breaks
7:30 pm – 9:45 pm, Tuesday (3A201), Friday (3A301)
website:
1st half – foundations, 2nd half – applications
form groups, no more than 3 members
selected topics for every class, to be discussed by students in English in seminar, each group has 5 minutes (20 marks)
essential readings for every class
group based final assignment, either a theoretical investigation or a practical investigation
group presentation in English (20 minutes, 20 marks)
final report in English (60 marks)
individual contribution will be counted

6. Listen
Practice

7. Listen
Practice
Think
Discuss/Debate
Question

8. Listen
Practice
Think
Discuss/Debate
Question
Create

9. What
How

10. What
How
Why

11. Content Course plan What is logic Logic for CS/AI
Propositional logic, First-order logic

12. Problem Solving in Domains

13. Modeling/Formalization/Representation
How to model the problem (as symbols)
Objects
Input
Output
Internal structure
Turing machine
ER diagram
Data flow diagram
Neural networks
Set theory
Game theory
Reactive rules
… …

14. What’s the meaning of symbols
Meaning/Semantics
What’s the meaning of symbols
Turing machine
ER diagram
Data flow diagram
Neural networks
Set theory
Game theory
Reactive rules
… …

15. How to operate on symbols from input to output
Reasoning/Inference
How to operate on symbols from input to output
Turing machine
ER diagram
Data flow diagram
Neural networks
Set theory
Game theory
Reactive rules
… …

16. Learning/Acquisition
How to obtain the internal structure from domain
Turing machine
ER diagram
Data flow diagram
Neural networks
Set theory
Game theory
Reactive rules
… …

17. Logic = Representation + Semantics + Reasoning
Learning???
Semantics???
to + or not to +

18. Case Study: Propositional Logic
Representation
statements as propositions
compositions as connectives
negation, conjunction, disjunction, implication
Semantics
Propositions: true or false
Connectives
Reasoning
Propositions to propositions

19. Content Course plan What is logic Logic for CS/AI
Propositional logic, First-order logic

20. Computer Science Founders

21. AI Turing Award Winners

22. IJCAI Research Excellence Award
Turing Award
Half of them are deeply related to logic!!!
IJCAI Research Excellence Award
80% of them are deeply related to logic!!!

23. Application I – Turing Machine
Recursion theory
λ Caculus

24. Application II – Circuit Design
Propositional Logic

25. Application III – Programming Language
Denotational semantics
Dynamic logic
Prolog
Answer set programming

26. Application IV –Database
Relational Calculus
Datalog
Probabilistic database

27. Application V – Program Verification
Hoare logic
Separation logic
Temporal logic
SMT
Model checking
SAT/SMT solving

28. Application VI – Expert System
First-order logic
Frame system
Semantic network

29. Application VII – Machine Learning
Bayesian network
Markov logic network
Lifted inference

30. Application VIII – AI Planning
Situation calculus
STRIPS
PDDL

31. Application IX – Knowledge Graph
Semantic Network
RDF
Probabilistic reasoning

32. Application X – Semantic Web
Description logic
OWL
RDF

33. Application XI – Natural Language Processing
Semantic parsing
Natural logic

34. Application XII – Robotics
Reactive rules
Task planning

35. Application XIII – Constrain Satisfaction
Propositional Logic

36. Content Course plan What is logic Logic for CS/AI
Propositional logic, First-order logic

37. Propositional Logic negation, conjunction, disjunction, implication
Representation
statements as propositions
compositions as connectives
negation, conjunction, disjunction, implication
compositions can be nested
Semantics
Propositions: true or false
Connectives
Reasoning
Propositions to propositions
NP complete

38. First-Order Logic (Propositional Logic +++)
Representation
Propositional logic + quantifiers
Semantics
Quantifiers: universal or existential
Reasoning
sentences to sentence
undecidable

39. Thank you!