In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update specifications to extended logic programs using situation calculus notation so as to compute the updated knowledge base. We show that the updated knowledge base that we compute satisfies the update specifications and yet ...

Location estimation is a fundamental sensing task in robotic applications, where the world is uncertain, and sensors and effectors are noisy. Most systems make various assumptions about the dependencies between state variables, and especially about how these dependencies change as a result of actions. Building on a general framework by Bacchus, Halpern and Levesque for reasoning about degrees o...

We propose a model of belief and intention change over the course of a dialogue, in the case where the decisions taken during the dialogue affect the possibly conflicting goals of the agents involved. We use Situation Calculus to model the evolution of the world and an observation model to analyze the evolution of intentions and beliefs. In our formalization, utterances, that only change the be...

The situation calculus (SC) is a formalism for reasoning about action. Within SC, the notion of state of a given situation is usually characterized by the set of uents that hold in that situation. However, this concept is insuucient for system speciication. To overcome this limitation, an extension of SC is proposed, the situation and state calculus (SSC), where the concept of state is primitiv...

introduction. the assessment of learning needs is one of the basic stages in education which leads to a change in medical education curriculum. such assessment can be conducted based on different reasons. therefore it should be defined, and the methods of application of the findings must be analyzed. one of the known methods of need assessment is the analysis of the differences between the pres...

We first describe a situation in which every graded Betti number in the tail of the resolution of R J may be read from the socle degrees of R J . Then we apply the above result to the ideals J and J [q]; and thereby describe a situation in which the graded Betti numbers in the tail of the resolution of R/J [q] are equal to the graded Betti numbers in the tail of a shift of the resolution of R/J...

In [19], Migliore–Miró-Roig–Nagel show that the Weak Lefschetz property can fail for an ideal I ⊆ K[x 1 ,. .. , x 4 ] generated by powers of linear forms. This is in contrast to the analogous situation in K[x 1 , x 2 , x 3 ], where WLP always holds [24]. We use the inverse system dictionary to connect I to an ideal of fat points, and show that failure of WLP for powers of linear forms is connec...

A hyperbolic Stefan problem based on the linearized Gurtin{Pipkin heat conduction law is considered. Temperature and free boundary are controlled by a thermostat acting on the boundary. This feedback control is based on temperature measurements performed by real thermal sensors located into the domain containing the two{phase system and/or at its boundary. Three di erent types of thermostats ar...

A simple modification of existing divisible load scheduling algorithms, boosting link speed by M for M parallel channels per link, allows time optimal load scheduling and performance prediction for parallel channel systems. The situation for multicore models is more complex but can be handled by a substitution involving equivalent processor speed. These modifications yield upper bounds on such ...

When an outbreak occurs, the affected population needs timely information in order to make informed decisions on how best to deal with the situation. Most target populations rely on the media for their information and the authorities use the media to disseminate outbreak information. The media, particularly locally based media, is as a result, crucial to public health outcomes. Reports on outbr...