Knowledge Based Systems
Knowledge Based Systems
systems
Rozlia Lakner
University of Veszprm
Department of Computer Science
An overview
structure, characteristics
main components
advantages, disadvantages
rule-based techniques
inductive techniques
hybrid techniques
symbol-manipulation techniques
case-based techniques
(qualitative techniques, model-based techniques, temporal
reasoning techniques, neural networks)
Engineering Application of AI - PhD Course -
2/57
Knowledge-based systems
3/57
characteristics of KBSs:
4/57
5/57
Main components 1
knowledge-base (KB)
inference engine
case-specific database
auxiliary component
specific information (information from outside, initial data of the concrete
problem)
6/57
Main components 2
explanation subsystem
explanation of system actions in case of user request
typical explanation facilities:
HOW ... (explanative reasoning, information about the way the result has
been found)
WHY NOT ... (explanative reasoning, finding counter-examples)
WHAT IS ... (gleaning in knowledge-base and case-specific database)
Engineering Application of AI - PhD Course -
7/57
Main components 3
main tasks:
specially intefaces
8/57
Main components 4
9/57
Expert Systems
10/57
11/57
AI programs:
intelligent problem solving tools
KBSs
AI programs with special program
structure separated knowledge base
ESs
KBSs applied in a specific narrow field
Engineering Application of AI - PhD Course -
12/57
13/57
14/57
15/57
16/57
17/57
Techniques of KBSs
based on the knowledge-representation methods and
reasoning strategies applied in the implementation
rule-based techniques
inductive techniques
hybrid techniques
symbol-manipulation techniques
case-based techniques
(qualitative techniques, model-based techniques, temporal
reasoning techniques, neural networks)
18/57
Rule-based techniques
(a short review)
19/57
simple/unstructured
structured (contexts)
reasoning strategies:
data-driven/forward chaining
goal-driven/backward chaining
20/57
pattern matching
conflict resolution
firing
21/57
Inductive techniques
22/57
Inductive reasoning
23/57
Decision tree 1
24/57
Decision tree 2
Country
1. Germany 3-6
2. Japan
3. Japan
diesel
6-10 diesel
3-6 diesel
white
yes
red
blue
yes
no
25/57
Decision tree 3
26/57
Decision tree 4
Least depth?
Fewest nodes?
27/57
28/57
G ( S , A) E ( S )
i 1
Si
S
E (Si )
where:
S: set of classified examples,
A: attribute
S
S S
S
S) S
according
log 2
to Alog 2
S1, , Sn: subsetsE (of
E: entropy
29/57
Thread
Length Reads
known
new
short
true
unknown
new
long
true
unknown
old
short
false
known
old
short
true
known
new
long
true
known
old
long
true
unknown
old
long
false
unknown
new
long
true
known
new
short
true
10 unknown
old
long
false
11
new
short
true
12 known
old
long
true
13 known
new
long
true
known
30/57
handling overfitting:
restricting the splitting, so that you split only when the split is
useful
allowing unrestricted splitting and pruning the resulting tree
where it makes unwarranted distinctions:
examples are devided into two sets: training set and test set
constructing a decision tree with the training set
examining all of the nodes with the test set: whether the subtree
under the node is replaceable with a leaf node
31/57
Thread
Length Reads
known
new
short
true
unknown new
long
true
better: each one path (root leaf) on the decision tree is a rule
IF (Author = known)
THEN (Reads = true)
IF (Author = unknown) and (Thread = new)
THEN (Reads = true)
IF (Author = unknown) and (Thread = old)
THEN (Reads = false)
32/57
33/57
34/57
Hybrid techniques
35/57
frame-based techniques
rule-based techniques
data-driven reasoning
goal-driven reasoning
inductive techniques
realization:
36/57
Frames
a frame contains:
37/57
Formalization of frames 1
directed graph
38/57
Formalization of frames 2
frame
person
is_a class
f_name:
l_name:
end
frame
is_a
subjects:
end
frame
Peter
instance_of student
f_name: Peter
l_name: Kis
subjects: ES
end
student
frame
subject
person
is_a
class
collection_of subject
name:
precond: collection_of
subject
end
frame
ES
isnstance_of subject
name:
Expert_systems
precond: AI
end
39/57
Formalization of frames 3
object-attribute-value triplets
<Peter, f_name, Peter>
<Peter, l_name, Kis>
<Peter, subjects, [ES]>
<ES, name, Expert_systems>
<ES, preconditions, [AI]>
40/57
Daemons 1
41/57
Daemons 2
42/57
Rules
Easy to read.
(symbolic formalism, natural-language like)
43/57
Hybrid techniques
44/57
Symbol-manipulation
techniques
45/57
Programming languages of AI
46/57
Comparison of symbol-manipulation
and traditional techniques
Traditional programming languages
LISP
PROLOG
numeric calculus
symbol-manipulation
symbol-manipulation
Neumann-principle languages
consist of sequence of commands
executed in a predefined order
functional approach
sequence of evaluation of functionexpressions
(-calculus)
relation approach
based on mathematical logic
(predicate-calculus)
procedural
readability: LISP-like
hard to read
easy to read
47/57
Case-based techniques
48/57
basic assumption: like was the past like will be the future
idea:
49/57
Case-based reasoning 2
50/57
Case
51/57
Case - indexing
52/57
53/57
54/57
advantages:
disadvantages:
55/57
Case-based systems
56/57
Summary
References
57/57