Information Technology Reference
In-Depth Information
in
(
x
)
causes
disq
(
ignite
)
if
>
causes
disq
(
ignite
)
if
>
tank-empty
causes
disq
(
)
if
>
low-battery
ignite
causes
disq
(
ignite
)
if
>
engine-problem
:
in
(
x
)
causes
:disq
(
ignite
)
if
8y: :
tank-empty
^:
low-battery
^:
engine-problem
in
(
y
)
^:
:
tank-empty
causes
:disq
(
ignite
)
if
8y: :
low-battery
^:
engine-problem
in
(
y
)
^:
:
low-battery
causes
:disq
(
ignite
)
if
8y: :
tank-empty
^:
engine-problem
in
(
y
)
^:
:
engine-problem
causes
:disq
(
ignite
)
if
8y: :
(
y
)
^:
^:
in
tank-empty
low-battery
heavy
(
x
)
causes
disq
(
insert
(
x
))
if
>
:
heavy
(
x
)
causes
:disq
(
insert
(
x
))
if
>
1. Let
O
1
consist of the observations
:
runs
after []
inexecutable after []
8x: :
in
(
x
)
^:
tank-empty
^:
low-battery
ignite
after []
Then the qualication scenario (
O
1
; D
) entails
after [].
engine-problem
2. Let
O
2
consist of the only observation
after []
tank-empty
Then the scenario (
O
2
; D
) entails
ignite
inexecutable after [ ]. Notice
that despite this disqualication any preferred model (
;Res
) of the
scenario satises
:
2 Res
([ ]),
for all these fluents belong to the set of abnormality fluents. Consequently,
(
O
2
; D
) also entails
(
)
; :
; :
in
pt
low-battery
engine-problem
8x: :
in
(
x
)
^:
low-battery
; :
engine-problem
after []
is known to be abnormally dis-
qualied, we still conclude, by default, that the tail pipe is clear and that
both battery and engine are in order.
3. Finally, let
O
3
consist of the observation
That is to say, although action
ignite
:
runs
after []