

![0_image_0.png](0_image_0.png)

or the gun was not loaded possibly by inertia before firing. The Yale hooting roblem considers the situation described by the following set of assertions A ox Load-action   GUN load-action  a Fire  fire-action GUN fire-action gun   TARGET fire-action fred i.e., at the beginning the gun is loaded  then, the action of firing the gun against the target is performed. According to the semantics of the language, logical conse  uences of the knowledge base    are m.  .  m Loaded gun m .  m Loaded gun m. f S Loaded gun m. m Dead    fred i.e., see also igure i the Load action makes the gun loaded ii the Fire action makes the gun unloaded at the end   iii  since there is no evidence to the contrary, the gun is still loaded at by inertia iv since the gun is not unloaded at b, the target must be dead.

ince the inertia operator is useful to describe the behavior of properties, which are characterized as homogeneous concepts, a simple way of representing persistence in the context of homogeneous concepts is proposed.

∇ ' is an homogeneous concept   and Proposition 8.2 Let    be a property    i.e.,
a knowledge base such that   /       . Since is true in      i.e.,
ts if and only if two intervals     exist such that:

IN
) and is satisfiable.

f Proof. The entailment test verifies the first part of the definition of inertia, while the ssse individual   belongs to           and the interval at which        is deduced by inertia does not exist an interval at which the system knows that is false. Indeed, such interval would be related to the interval by the relation in and since it is supposed that    is homogeneous, the knowledge base with would be in inconsistent. The deduction proposition.

→ 
can be obtained as a particular case of the above stated