Download WHY WOULD YOU STUDY ARTIFICIAL INTELLIGENCE? (1)

ARTIFICIAL INTELLIGENCE
[INTELLIGENT AGENTS PARADIGM]
APPLICATION OF RESOLUTION
IN EXPERT SYSTEMS
Professor Janis Grundspenkis
Riga Technical University
Faculty of Computer Science and Information Technology
Institute of Applied Computer Systems
Department of Systems Theory and Design
E-mail: [email protected]
Application of Resolution
in Expert Systems
RESOLUTION (continued)
KB
Logical Sentences
(necessarily true)
Inference Engine
Resolution
User
Interface
Working Memory
Application of Resolution
in Expert Systems
RESOLUTION (continued)
Problem’s description
1. Anyone who is lucky wins the lottery.
2. Anyone who wins the lottery is happy.
3. At least one who is happy studies at the
university.
4. Anyone who studies at the university can
pass all his examinations.
5. Anyone who pass all his examinations
graduates from the university.
Application of Resolution
in Expert Systems
RESOLUTION (continued)
Logical Sentences
1. X(lucky(X)  win(X, lottery))
2. X(win(X, lottery)  happy(X))
3. X(happy(X)  study(X))
4. XY(study(X)  pass(X, Y))
5. XY(pass(X, Y)  graduate(X))
Application of Resolution
in Expert Systems
RESOLUTION (continued)
Facts
6. lucky(george)
7. pass(george, ml&ai)
Application of Resolution
in Expert Systems
RESOLUTION (continued)
User
Interface
Q: Does
George
graduate
from the
university?
KB
S1: lucky(X)  win(X, lottery)
S2: win(X, lottery)  happy(X)
S3: happy(george) 
study(george)
S4: study(X)  pass(X, Y)
S5: pass(X, Y)  graduate(X)
Working Memory
S6: lucky(george)
S7: pass(george, ml&ai)
S8: graduate(X)
Inference
Engine
Resolution
Application of Resolution
in Expert Systems
RESOLUTION (continued)
User
Interface
KB
S1
S2
S3
S4
S5
Inference Engine
Resolution
lucky(X)  win(X, lottery)
win(X, lottery)  happy(X)
{}
lucky(X)  happy(X)
Working Memory
S6
S7
S8
Application of Resolution
in Expert Systems
RESOLUTION (continued)
User
Interface
KB
S1
S2
S3
S4
S5
Inference Engine
Resolution
lucky(X)  happy(X)
happy(george)  study(george)
{ george/X }
lucky(george)  study(george)
Working Memory
S6
S7
S8
lucky(X)  happy(X)
Application of Resolution
in Expert Systems
RESOLUTION (continued)
User
Interface
KB
S1
S2
S3
S4
S5
Inference Engine
Resolution
lucky(george)  study(george)
study(X)  pass(X, Y)
{ george/X }
lucky(george)  pass(george, Y)
Working Memory
S6
S7
S8
lucky(X)  happy(X)
lucky(george)  study(george)
Application of Resolution
in Expert Systems
RESOLUTION (continued)
User
Interface
KB
S1
S2
S3
S4
S5
Inference Engine
Resolution
lucky(george)  pass(george, Y)
pass(X, Y)  graduate(X)
{ george/X }
lucky(george)  graduate(george)
Working Memory
S6
S7
S8
lucky(X)  happy(X)
lucky(george)  study(george)
lucky(george)  pass(george, Y)
Application of Resolution
in Expert Systems
RESOLUTION (continued)
User
Interface
KB
S1
S2
S3
S4
S5
Inference Engine
Resolution
lucky(george)  graduate(george)
lucky(george)
{}
graduate(george)
Working Memory
S6
S7
S8
lucky(X)  happy(X)
lucky(george)  study(george)
lucky(george)  pass(george, Y)
lucky(george)  graduate(george)
Application of Resolution
in Expert Systems
RESOLUTION (continued)
User
Interface
KB
S1
S2
S3
S4
S5
Inference Engine
Resolution
graduate(george)
graduate(george)
{}
Contradiction!
Working Memory
S6
S7
S8
lucky(X)  happy(X)
lucky(george)  study(george)
lucky(george)  pass(george, Y)
lucky(george)  graduate(george)
graduate(george)
Application of Resolution
in Expert Systems
RESOLUTION (continued)
User
Interface
Conclusion:
George
graduates from
the university
KB
S1
S2
S3
S4
S5
Working Memory
Inference Engine
Resolution