25 February 2004
CS 3243 - Logical Agents (part 2)
6
Truth tables for inference
R
1
=
Ø
P
1,1
R
4
=
Ø
B
1,1
R
5
= B
2,1
α
1
=
P
1,2
?
