Knowledge Representations Notes | EduRev

Created by: Sanya Gill

: Knowledge Representations Notes | EduRev

 Page 1


Knowledge Representations
• How else can we represent knowledge 
in addition to formal logic?
1
Page 2


Knowledge Representations
• How else can we represent knowledge 
in addition to formal logic?
1
Common Knowledge Representations
• Formal Logic v
• Production Rules
• Semantic Nets
• Schemata and Frames
2
Page 3


Knowledge Representations
• How else can we represent knowledge 
in addition to formal logic?
1
Common Knowledge Representations
• Formal Logic v
• Production Rules
• Semantic Nets
• Schemata and Frames
2
Production Rules
• Frequently used to formulate the knowledge 
in expert systems.
• BNF is commonly used in Computer Science.
3
Page 4


Knowledge Representations
• How else can we represent knowledge 
in addition to formal logic?
1
Common Knowledge Representations
• Formal Logic v
• Production Rules
• Semantic Nets
• Schemata and Frames
2
Production Rules
• Frequently used to formulate the knowledge 
in expert systems.
• BNF is commonly used in Computer Science.
3
Prolog
• Prolog was developed for AI applications.
• It specifies rules as Horn clauses, a subset of predicate logic.
• Example
male( albert ) .
male( edward ) .
female( alice ) .
female( victoria ) .
parents( edward ,  victoria ,  albert ) .
parents( alice ,  victoria ,  albert ) .
sisterof( X , Y )   : - female( X ) ,
parents( X ,  M ,  F ) , 
parents( Y ,  M ,  F ) .
4
Page 5


Knowledge Representations
• How else can we represent knowledge 
in addition to formal logic?
1
Common Knowledge Representations
• Formal Logic v
• Production Rules
• Semantic Nets
• Schemata and Frames
2
Production Rules
• Frequently used to formulate the knowledge 
in expert systems.
• BNF is commonly used in Computer Science.
3
Prolog
• Prolog was developed for AI applications.
• It specifies rules as Horn clauses, a subset of predicate logic.
• Example
male( albert ) .
male( edward ) .
female( alice ) .
female( victoria ) .
parents( edward ,  victoria ,  albert ) .
parents( alice ,  victoria ,  albert ) .
sisterof( X , Y )   : - female( X ) ,
parents( X ,  M ,  F ) , 
parents( Y ,  M ,  F ) .
4
Prolog Expert System
% Automotive Diagnostic Expert System
defect_may_be(drained_battery) :-
user_says(starter_was_ok, yes),
user_says(starter_is_ok, no).
defect_may_be(wrong_gear) :-
user_says(starter_was_ok, no).
defect_may_be(fuel_system) :-
user_says(starter_was_ok, yes),
user_says(fuel_is_ok, no).
5
Read More
Offer running on EduRev: Apply code STAYHOME200 to get INR 200 off on our premium plan EduRev Infinity!