| line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
|
1
|
|
|
|
|
|
|
package AI::ExpertSystem::Simple::Rule; |
|
2
|
|
|
|
|
|
|
|
|
3
|
1
|
|
|
1
|
|
1016
|
use strict; |
|
|
1
|
|
|
|
|
3
|
|
|
|
1
|
|
|
|
|
45
|
|
|
4
|
1
|
|
|
1
|
|
6
|
use warnings; |
|
|
1
|
|
|
|
|
2
|
|
|
|
1
|
|
|
|
|
2004
|
|
|
5
|
|
|
|
|
|
|
|
|
6
|
|
|
|
|
|
|
our $VERSION = '1.2'; |
|
7
|
|
|
|
|
|
|
|
|
8
|
|
|
|
|
|
|
sub new { |
|
9
|
4
|
|
|
4
|
1
|
1793
|
my ($class, $name) = @_; |
|
10
|
|
|
|
|
|
|
|
|
11
|
4
|
100
|
|
|
|
30
|
die "Rule->new() takes 1 argument" if(scalar(@_) != 2); |
|
12
|
2
|
100
|
|
|
|
13
|
die "Rule->new() argument 1 (NAME) is undefined" if(!defined($name)); |
|
13
|
|
|
|
|
|
|
|
|
14
|
1
|
|
|
|
|
3
|
my $self = {}; |
|
15
|
|
|
|
|
|
|
|
|
16
|
1
|
|
|
|
|
4
|
$self->{_name} = $name; |
|
17
|
1
|
|
|
|
|
3
|
$self->{_conditions} = (); |
|
18
|
1
|
|
|
|
|
3
|
$self->{_tested} = (); |
|
19
|
1
|
|
|
|
|
2
|
$self->{_counter} = 0; |
|
20
|
1
|
|
|
|
|
3
|
$self->{_actions} = (); |
|
21
|
1
|
|
|
|
|
3
|
$self->{_state} = 'active'; |
|
22
|
|
|
|
|
|
|
|
|
23
|
1
|
|
|
|
|
5
|
return bless $self, $class; |
|
24
|
|
|
|
|
|
|
} |
|
25
|
|
|
|
|
|
|
|
|
26
|
|
|
|
|
|
|
sub reset { |
|
27
|
2
|
|
|
2
|
1
|
546
|
my ($self) = @_; |
|
28
|
|
|
|
|
|
|
|
|
29
|
|
|
|
|
|
|
# Check the input |
|
30
|
|
|
|
|
|
|
|
|
31
|
2
|
100
|
|
|
|
16
|
die "Rule->reset() takes no arguments" if scalar(@_) != 1; |
|
32
|
|
|
|
|
|
|
|
|
33
|
1
|
|
|
|
|
2
|
$self->{_state} = 'active'; |
|
34
|
1
|
|
|
|
|
3
|
$self->{_counter} = 0; |
|
35
|
|
|
|
|
|
|
|
|
36
|
1
|
|
|
|
|
3
|
foreach my $name (keys %{$self->{_tested}}) { |
|
|
1
|
|
|
|
|
5
|
|
|
37
|
2
|
|
|
|
|
5
|
$self->{_tested}->{$name} = 0; |
|
38
|
2
|
|
|
|
|
5
|
$self->{_counter}++; |
|
39
|
|
|
|
|
|
|
} |
|
40
|
|
|
|
|
|
|
} |
|
41
|
|
|
|
|
|
|
|
|
42
|
|
|
|
|
|
|
sub add_condition { |
|
43
|
7
|
|
|
7
|
1
|
1809
|
my ($self, $name, $value) = @_; |
|
44
|
|
|
|
|
|
|
|
|
45
|
7
|
100
|
|
|
|
68
|
die "Rule->add_condition() takes 2 arguments" if(scalar(@_) != 3); |
|
46
|
5
|
100
|
|
|
|
17
|
die "Rule->add_condition() argument 1 (NAME) is undefined" if(!defined($name)); |
|
47
|
4
|
100
|
|
|
|
15
|
die "Rule->add_condition() argument 2 (VALUE) is undefined" if(!defined($value)); |
|
48
|
|
|
|
|
|
|
|
|
49
|
3
|
100
|
|
|
|
10
|
if(defined($self->{_conditions}->{$name})) { |
|
50
|
1
|
|
|
|
|
7
|
die "Rule->add_condition() has already been set"; |
|
51
|
|
|
|
|
|
|
} |
|
52
|
|
|
|
|
|
|
|
|
53
|
2
|
|
|
|
|
6
|
$self->{_conditions}->{$name} = $value; |
|
54
|
2
|
|
|
|
|
4
|
$self->{_tested}->{$name} = 0; |
|
55
|
2
|
|
|
|
|
6
|
$self->{_counter}++; |
|
56
|
|
|
|
|
|
|
} |
|
57
|
|
|
|
|
|
|
|
|
58
|
|
|
|
|
|
|
sub add_action { |
|
59
|
6
|
|
|
6
|
1
|
2028
|
my ($self, $name, $value) = @_; |
|
60
|
|
|
|
|
|
|
|
|
61
|
6
|
100
|
|
|
|
30
|
die "Rule->add_action() takes 2 arguments" if(scalar(@_) != 3); |
|
62
|
4
|
100
|
|
|
|
16
|
die "Rule->add_action() argument 1 (NAME) is undefined" if(!defined($name)); |
|
63
|
3
|
100
|
|
|
|
15
|
die "Rule->add_action() argument 2 (VALUE) is undefined" if(!defined($value)); |
|
64
|
|
|
|
|
|
|
|
|
65
|
2
|
100
|
|
|
|
8
|
if(defined($self->{_actions}->{$name})) { |
|
66
|
1
|
|
|
|
|
9
|
die "Rule->add_action() has already been set"; |
|
67
|
|
|
|
|
|
|
} |
|
68
|
|
|
|
|
|
|
|
|
69
|
1
|
|
|
|
|
5
|
$self->{_actions}->{$name} = $value; |
|
70
|
|
|
|
|
|
|
} |
|
71
|
|
|
|
|
|
|
|
|
72
|
|
|
|
|
|
|
sub name { |
|
73
|
2
|
|
|
2
|
1
|
854
|
my ($self) = @_; |
|
74
|
|
|
|
|
|
|
|
|
75
|
2
|
100
|
|
|
|
14
|
die "Rule->name() takes no arguments" if(scalar(@_) != 1); |
|
76
|
|
|
|
|
|
|
|
|
77
|
1
|
|
|
|
|
13
|
return $self->{_name}; |
|
78
|
|
|
|
|
|
|
} |
|
79
|
|
|
|
|
|
|
|
|
80
|
|
|
|
|
|
|
sub state { |
|
81
|
3
|
|
|
3
|
1
|
1221
|
my ($self) = @_; |
|
82
|
|
|
|
|
|
|
|
|
83
|
3
|
100
|
|
|
|
22
|
die "Rule->state() takes no arguments" if(scalar(@_) != 1); |
|
84
|
|
|
|
|
|
|
|
|
85
|
2
|
|
|
|
|
12
|
return $self->{_state}; |
|
86
|
|
|
|
|
|
|
} |
|
87
|
|
|
|
|
|
|
|
|
88
|
|
|
|
|
|
|
sub given { |
|
89
|
7
|
|
|
7
|
1
|
2336
|
my ($self, $name, $value) = @_; |
|
90
|
|
|
|
|
|
|
|
|
91
|
7
|
100
|
|
|
|
34
|
die "Rule->given() takes 2 arguments" if(scalar(@_) != 3); |
|
92
|
5
|
100
|
|
|
|
22
|
die "Rule->given() argument 1 (NAME) is undefined" if(!defined($name)); |
|
93
|
4
|
100
|
|
|
|
38
|
die "Rule->given() argument 2 (VALUE) is undefined" if(!defined($value)); |
|
94
|
|
|
|
|
|
|
|
|
95
|
3
|
50
|
|
|
|
11
|
if(defined($self->{_conditions}->{$name})) { |
|
96
|
3
|
50
|
|
|
|
21
|
if($self->{_tested}->{$name} == 1) { |
|
|
|
100
|
|
|
|
|
|
|
97
|
|
|
|
|
|
|
# Already done this one |
|
98
|
|
|
|
|
|
|
} elsif($self->{_conditions}->{$name} eq $value) { |
|
99
|
2
|
|
|
|
|
6
|
$self->{_tested}->{$name} = 1; |
|
100
|
2
|
|
|
|
|
4
|
$self->{_counter}--; |
|
101
|
2
|
100
|
|
|
|
12
|
if($self->{_counter} == 0) { |
|
102
|
1
|
|
|
|
|
2
|
$self->{_state} = 'completed'; |
|
103
|
|
|
|
|
|
|
} |
|
104
|
|
|
|
|
|
|
} else { |
|
105
|
1
|
|
|
|
|
3
|
$self->{_state} = 'invalid'; |
|
106
|
|
|
|
|
|
|
} |
|
107
|
|
|
|
|
|
|
} |
|
108
|
|
|
|
|
|
|
|
|
109
|
3
|
|
|
|
|
17
|
return $self->{_state}; |
|
110
|
|
|
|
|
|
|
} |
|
111
|
|
|
|
|
|
|
|
|
112
|
|
|
|
|
|
|
sub actions { |
|
113
|
2
|
|
|
2
|
1
|
619
|
my ($self) = @_; |
|
114
|
|
|
|
|
|
|
|
|
115
|
2
|
100
|
|
|
|
14
|
die "Rule->actions() takes no arguments" if(scalar(@_) != 1); |
|
116
|
|
|
|
|
|
|
|
|
117
|
1
|
|
|
|
|
3
|
return %{$self->{_actions}}; |
|
|
1
|
|
|
|
|
6
|
|
|
118
|
|
|
|
|
|
|
} |
|
119
|
|
|
|
|
|
|
|
|
120
|
|
|
|
|
|
|
sub conditions { |
|
121
|
2
|
|
|
2
|
1
|
1769
|
my ($self) = @_; |
|
122
|
|
|
|
|
|
|
|
|
123
|
2
|
100
|
|
|
|
17
|
die "Rule->conditions() takes no arguments" if(scalar(@_) != 1); |
|
124
|
|
|
|
|
|
|
|
|
125
|
1
|
|
|
|
|
3
|
return %{$self->{_conditions}}; |
|
|
1
|
|
|
|
|
8
|
|
|
126
|
|
|
|
|
|
|
} |
|
127
|
|
|
|
|
|
|
|
|
128
|
|
|
|
|
|
|
sub unresolved { |
|
129
|
4
|
|
|
4
|
1
|
539
|
my ($self) = @_; |
|
130
|
|
|
|
|
|
|
|
|
131
|
4
|
100
|
|
|
|
19
|
die "Rule->unresolved() takes no arguments" if(scalar(@_) != 1); |
|
132
|
|
|
|
|
|
|
|
|
133
|
3
|
|
|
|
|
6
|
my @list = (); |
|
134
|
|
|
|
|
|
|
|
|
135
|
3
|
|
|
|
|
5
|
foreach my $name (keys(%{$self->{_tested}})) { |
|
|
3
|
|
|
|
|
12
|
|
|
136
|
6
|
100
|
|
|
|
19
|
if($self->{_tested}->{$name} == 0) { |
|
137
|
3
|
|
|
|
|
6
|
push(@list, $name); |
|
138
|
|
|
|
|
|
|
} |
|
139
|
|
|
|
|
|
|
} |
|
140
|
|
|
|
|
|
|
|
|
141
|
3
|
|
|
|
|
18
|
return @list; |
|
142
|
|
|
|
|
|
|
} |
|
143
|
|
|
|
|
|
|
|
|
144
|
|
|
|
|
|
|
1; |
|
145
|
|
|
|
|
|
|
|
|
146
|
|
|
|
|
|
|
=head1 NAME |
|
147
|
|
|
|
|
|
|
|
|
148
|
|
|
|
|
|
|
AI::ExpertSystem::Simple::Rule - A utility class for a simple expert system |
|
149
|
|
|
|
|
|
|
|
|
150
|
|
|
|
|
|
|
=head1 VERSION |
|
151
|
|
|
|
|
|
|
|
|
152
|
|
|
|
|
|
|
This document refers to verion 1.2 of AI::ExpertSystem::Simple::Rule, released June 10, 2003 |
|
153
|
|
|
|
|
|
|
|
|
154
|
|
|
|
|
|
|
=head1 SYNOPSIS |
|
155
|
|
|
|
|
|
|
|
|
156
|
|
|
|
|
|
|
This is a utility class for AI::ExpertSystem::Simple |
|
157
|
|
|
|
|
|
|
|
|
158
|
|
|
|
|
|
|
=head1 DESCRIPTION |
|
159
|
|
|
|
|
|
|
|
|
160
|
|
|
|
|
|
|
=head2 Overview |
|
161
|
|
|
|
|
|
|
|
|
162
|
|
|
|
|
|
|
This class handles the rules |
|
163
|
|
|
|
|
|
|
|
|
164
|
|
|
|
|
|
|
=head2 Constructors and initialisation |
|
165
|
|
|
|
|
|
|
|
|
166
|
|
|
|
|
|
|
=over 4 |
|
167
|
|
|
|
|
|
|
|
|
168
|
|
|
|
|
|
|
=item new( NAME ) |
|
169
|
|
|
|
|
|
|
|
|
170
|
|
|
|
|
|
|
The constructor takes one argument, the NAME of the rule. The consition and actions are added later. |
|
171
|
|
|
|
|
|
|
|
|
172
|
|
|
|
|
|
|
=back |
|
173
|
|
|
|
|
|
|
|
|
174
|
|
|
|
|
|
|
=head2 Public methods |
|
175
|
|
|
|
|
|
|
|
|
176
|
|
|
|
|
|
|
=over 4 |
|
177
|
|
|
|
|
|
|
|
|
178
|
|
|
|
|
|
|
=item reset( ) |
|
179
|
|
|
|
|
|
|
|
|
180
|
|
|
|
|
|
|
Resets the state of the rule back to active and all the condition attributes to untested. |
|
181
|
|
|
|
|
|
|
|
|
182
|
|
|
|
|
|
|
=item add_condition( NAME, VALUE ) |
|
183
|
|
|
|
|
|
|
|
|
184
|
|
|
|
|
|
|
This adds a condition attribute name / value pair. |
|
185
|
|
|
|
|
|
|
|
|
186
|
|
|
|
|
|
|
=item add_action( NAME, VALUE ) |
|
187
|
|
|
|
|
|
|
|
|
188
|
|
|
|
|
|
|
This adds an action attribute name / value pair. |
|
189
|
|
|
|
|
|
|
|
|
190
|
|
|
|
|
|
|
=item name( ) |
|
191
|
|
|
|
|
|
|
|
|
192
|
|
|
|
|
|
|
Returns the name of the rule. |
|
193
|
|
|
|
|
|
|
|
|
194
|
|
|
|
|
|
|
=item state( ) |
|
195
|
|
|
|
|
|
|
|
|
196
|
|
|
|
|
|
|
Returns the current state of the rule. |
|
197
|
|
|
|
|
|
|
|
|
198
|
|
|
|
|
|
|
=item given( NAME, VALUE ) |
|
199
|
|
|
|
|
|
|
|
|
200
|
|
|
|
|
|
|
The NAME / VALUE attribute pair is checked against the rule's conditions to see if a condition is met and the state of the rule |
|
201
|
|
|
|
|
|
|
is changed in light of the result. |
|
202
|
|
|
|
|
|
|
|
|
203
|
|
|
|
|
|
|
=item actions( ) |
|
204
|
|
|
|
|
|
|
|
|
205
|
|
|
|
|
|
|
Returns a list of the actions set in the rule. |
|
206
|
|
|
|
|
|
|
|
|
207
|
|
|
|
|
|
|
=item conditions( ) |
|
208
|
|
|
|
|
|
|
|
|
209
|
|
|
|
|
|
|
Returns a list of the conditions matched in the rule. |
|
210
|
|
|
|
|
|
|
|
|
211
|
|
|
|
|
|
|
=item unresolved( ) |
|
212
|
|
|
|
|
|
|
|
|
213
|
|
|
|
|
|
|
Returns a list of all the unresolved condition of the rule. |
|
214
|
|
|
|
|
|
|
|
|
215
|
|
|
|
|
|
|
=back |
|
216
|
|
|
|
|
|
|
|
|
217
|
|
|
|
|
|
|
=head2 Private methods |
|
218
|
|
|
|
|
|
|
|
|
219
|
|
|
|
|
|
|
None |
|
220
|
|
|
|
|
|
|
|
|
221
|
|
|
|
|
|
|
=head1 ENVIRONMENT |
|
222
|
|
|
|
|
|
|
|
|
223
|
|
|
|
|
|
|
None |
|
224
|
|
|
|
|
|
|
|
|
225
|
|
|
|
|
|
|
=head1 DIAGNOSTICS |
|
226
|
|
|
|
|
|
|
|
|
227
|
|
|
|
|
|
|
=over 4 |
|
228
|
|
|
|
|
|
|
|
|
229
|
|
|
|
|
|
|
=item Rule->new() takes 1 argument |
|
230
|
|
|
|
|
|
|
|
|
231
|
|
|
|
|
|
|
When the constructor is initialised it requires one argument. This message is given if more or less arguments were supplied. |
|
232
|
|
|
|
|
|
|
|
|
233
|
|
|
|
|
|
|
=item Rule->new() argument 1 (NAME) is undefined |
|
234
|
|
|
|
|
|
|
|
|
235
|
|
|
|
|
|
|
The corrct number of arguments were supplied to the constructor, however the first argument, NAME, was undefined. |
|
236
|
|
|
|
|
|
|
|
|
237
|
|
|
|
|
|
|
=item Rule->reset() takes no arguments |
|
238
|
|
|
|
|
|
|
|
|
239
|
|
|
|
|
|
|
When the method is called it requires no arguments. This message is given if more or less arguments were supplied. |
|
240
|
|
|
|
|
|
|
|
|
241
|
|
|
|
|
|
|
=item Rule->add_condition() takes 2 arguments |
|
242
|
|
|
|
|
|
|
|
|
243
|
|
|
|
|
|
|
When the method is called it requires two arguments. This message is given if more or less arguments were supplied. |
|
244
|
|
|
|
|
|
|
|
|
245
|
|
|
|
|
|
|
=item Rule->add_condition() argument 1 (NAME) is undefined |
|
246
|
|
|
|
|
|
|
|
|
247
|
|
|
|
|
|
|
The corrct number of arguments were supplied with the method call, however the first argument, NAME, was undefined. |
|
248
|
|
|
|
|
|
|
|
|
249
|
|
|
|
|
|
|
=item Rule->add_condition() argument 2 (VALUE) is undefined |
|
250
|
|
|
|
|
|
|
|
|
251
|
|
|
|
|
|
|
The corrct number of arguments were supplied with the method call, however the second argument, VALUE, was undefined. |
|
252
|
|
|
|
|
|
|
|
|
253
|
|
|
|
|
|
|
=item Rule->add_condition() has already been set |
|
254
|
|
|
|
|
|
|
|
|
255
|
|
|
|
|
|
|
This method has already been called and the value set. It cannot be called twice. |
|
256
|
|
|
|
|
|
|
|
|
257
|
|
|
|
|
|
|
=item Rule->add_action() takes 2 arguments |
|
258
|
|
|
|
|
|
|
|
|
259
|
|
|
|
|
|
|
When the method is called it requires two arguments. This message is given if more or less arguments were supplied. |
|
260
|
|
|
|
|
|
|
|
|
261
|
|
|
|
|
|
|
=item Rule->add_action() argument 1 (NAME) is undefined |
|
262
|
|
|
|
|
|
|
|
|
263
|
|
|
|
|
|
|
The corrct number of arguments were supplied with the method call, however the first argument, NAME, was undefined. |
|
264
|
|
|
|
|
|
|
|
|
265
|
|
|
|
|
|
|
=item Rule->add_action() argument 2 (VALUE) is undefined |
|
266
|
|
|
|
|
|
|
|
|
267
|
|
|
|
|
|
|
The corrct number of arguments were supplied with the method call, however the second argument, VALUE, was undefined. |
|
268
|
|
|
|
|
|
|
|
|
269
|
|
|
|
|
|
|
=item Rule->add_action() has already been set |
|
270
|
|
|
|
|
|
|
|
|
271
|
|
|
|
|
|
|
This method has already been called and the value set. It cannot be called twice. |
|
272
|
|
|
|
|
|
|
|
|
273
|
|
|
|
|
|
|
=item Rule->name() takes no arguments |
|
274
|
|
|
|
|
|
|
|
|
275
|
|
|
|
|
|
|
When the method is called it requires no arguments. This message is given if more or less arguments were supplied. |
|
276
|
|
|
|
|
|
|
|
|
277
|
|
|
|
|
|
|
=item Rule->state() takes no arguments |
|
278
|
|
|
|
|
|
|
|
|
279
|
|
|
|
|
|
|
When the method is called it requires no arguments. This message is given if more or less arguments were supplied. |
|
280
|
|
|
|
|
|
|
|
|
281
|
|
|
|
|
|
|
=item Rule->given() takes 2 arguments |
|
282
|
|
|
|
|
|
|
|
|
283
|
|
|
|
|
|
|
When the method is called it requires two arguments. This message is given if more or less arguments were supplied. |
|
284
|
|
|
|
|
|
|
|
|
285
|
|
|
|
|
|
|
=item Rule->given() argument 1 (NAME) is undefined |
|
286
|
|
|
|
|
|
|
|
|
287
|
|
|
|
|
|
|
The corrct number of arguments were supplied with the method call, however the first argument, NAME, was undefined. |
|
288
|
|
|
|
|
|
|
|
|
289
|
|
|
|
|
|
|
=item Rule->given() argument 2 (VALUE) is undefined |
|
290
|
|
|
|
|
|
|
|
|
291
|
|
|
|
|
|
|
The corrct number of arguments were supplied with the method call, however the second argument, VALUE, was undefined. |
|
292
|
|
|
|
|
|
|
|
|
293
|
|
|
|
|
|
|
=item Rule->actions() takes no arguments |
|
294
|
|
|
|
|
|
|
|
|
295
|
|
|
|
|
|
|
When the method is called it requires no arguments. This message is given if more or less arguments were supplied. |
|
296
|
|
|
|
|
|
|
|
|
297
|
|
|
|
|
|
|
=item Rule->conditions() takes no arguments |
|
298
|
|
|
|
|
|
|
|
|
299
|
|
|
|
|
|
|
When the method is called it requires no arguments. This message is given if more or less arguments were supplied. |
|
300
|
|
|
|
|
|
|
|
|
301
|
|
|
|
|
|
|
=item Rule->unresolved() takes no arguments |
|
302
|
|
|
|
|
|
|
|
|
303
|
|
|
|
|
|
|
When the method is called it requires no arguments. This message is given if more or less arguments were supplied. |
|
304
|
|
|
|
|
|
|
|
|
305
|
|
|
|
|
|
|
=back |
|
306
|
|
|
|
|
|
|
|
|
307
|
|
|
|
|
|
|
=head1 BUGS |
|
308
|
|
|
|
|
|
|
|
|
309
|
|
|
|
|
|
|
None |
|
310
|
|
|
|
|
|
|
|
|
311
|
|
|
|
|
|
|
=head1 FILES |
|
312
|
|
|
|
|
|
|
|
|
313
|
|
|
|
|
|
|
See Rules.t in the test directory |
|
314
|
|
|
|
|
|
|
|
|
315
|
|
|
|
|
|
|
=head1 SEE ALSO |
|
316
|
|
|
|
|
|
|
|
|
317
|
|
|
|
|
|
|
AI::ExpertSystem::Simple - The base class for the expert system |
|
318
|
|
|
|
|
|
|
|
|
319
|
|
|
|
|
|
|
AI::ExpertSystem::Simple::Goal - A utility class |
|
320
|
|
|
|
|
|
|
|
|
321
|
|
|
|
|
|
|
AI::ExpertSystem::Simple::knowledge - A utility class |
|
322
|
|
|
|
|
|
|
|
|
323
|
|
|
|
|
|
|
=head1 AUTHORS |
|
324
|
|
|
|
|
|
|
|
|
325
|
|
|
|
|
|
|
Peter Hickman (peterhi@ntlworld.com) |
|
326
|
|
|
|
|
|
|
|
|
327
|
|
|
|
|
|
|
=head1 COPYRIGHT |
|
328
|
|
|
|
|
|
|
|
|
329
|
|
|
|
|
|
|
Copyright (c) 2003, Peter Hickman. All rights reserved. |
|
330
|
|
|
|
|
|
|
|
|
331
|
|
|
|
|
|
|
This module is free software. It may be used, redistributed and/or |
|
332
|
|
|
|
|
|
|
modified under the same terms as Perl itself. |