Artificial Intelligence and Machine Learning unit 2
smmohamedarfan
4 views
177 slides
Mar 03, 2025
Slide 1 of 177
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
About This Presentation
AIML PPT
Size: 14.05 MB
Language: en
Added: Mar 03, 2025
Slides: 177 pages
Slide Content
UNIT II
ARTIFICIAL INTELLIGENCE
PROPOSITIONAL
LOGIC
PROPOSITIONAL
THEOREM PROVING
FORWARD CHAINING
* Forward chaining is also known as a forward deduction or forward reasoning
method when using an inference engine.
* Forward chaining is a form of reasoning, which start with atomic sentences in the
knowledge base, and applies inference rules (Modus Ponens) in the forward
direction, to extract more data until a goal is reached.
* It is a bottom-up approach, as it moves from bottom to top.
+ Itis a process of making a conclusion based on known facts or data, by starting
from the initial state and reaches the goal state.
* The Forward-chaining algorithm Starting from the known facts,
* it triggers the entire rules whose premises are satisfied,
* adding their conclusions to the known facts.
* The process repeats until the query is answered or no new facts are called.
BACKWARD CHAINING
+ Backward-chaining is also known as a backward deduction or
backward reasoning method when using an inference engine.
+ A backward chaining algorithm is a form of reasoning, which starts
with the goal and works backward, chaining through rules to find
known facts that support the goal.
+ It is known as a top-down approach.
+ Backward-chaining is based on modus ponens inference rule.
+ In backward chaining, the goal is broken into sub-goal or sub-goals to
prove the facts true.
* It is also called as goal-driven approach, as a list of goals decides
which rules are selected and used.
AGENTS BASED
PROPOSITIONAL LOGIC
FIRST ORDER LOGIC
FIRST ORDER LOGIC
FORWARD CHAINING
FORWARD CHAINING
* Forward chaining is also known as a forward deduction or forward reasoning
method when using an inference engine.
+ Forward chaining is a form of reasoning, which start with atomic sentences in the
knowledge base, and applies inference rules (Modus Ponens) in the forward
direction, to extract more data until a goal is reached.
+ It is a bottom-up approach, as it moves from bottom to top.
* Itis a process of making a conclusion based on known facts or data, by starting
from the initial state and reaches the goal state.
* The Forward-chaining algorithm Starting from the known facts,
* it triggers the entire rules whose premises are satisfied,
* adding their conclusions to the known facts.
* The process repeats until the query is answered or no new facts are called.
FIRST ORDER LOGIC
BACKWARD CHAINING
BACKWARD CHAINING
・Backward-chaining is also known as a backward deduction or
backward reasoning method when using an inference engine.
+ A backward chaining algorithm is a form of reasoning, which starts
with the goal and works backward, chaining through rules to find
known facts that support the goal.
+ It is known as a top-down approach.
+ Backward-chaining is based on modus ponens inference rule.
+ In backward chaining, the goal is broken into sub-goal or sub-goals to
prove the facts true.
* It is also called as goal-driven approach, as a list of goals decides
which rules are selected and used.
Example (Backward Chaining)
» "As per the law, it is a crime for an American to sell weapons to
hostile nations. Country A, an enemy of America, has some missiles,
and all the missiles were sold to it by Robert, who is an American
citizen."
* Prove that "Robert is criminal."
* To solve the above problem, first, we will convert all the above facts
into first-order definite clauses.