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...

The management of patients with ulcerative colitis who are dependent on corticosteroid for control of symptoms, or refractory to corticosteroids or standard immunosuppressive therapy, is challenging. The development of newer medical therapies has increased the options for managing patients in this situation, but access and funding remain limited. This guideline summarises the literature regardi...

Background Situation assessment and decision-making is challenging in the complex task environment of pre-hospital critical care. Human attention is a limited resource, critical information is often missing and cues in the situation may be misinterpreted, misdiagnosed or ignored. We evaluated the feasibility of using a remotely piloted unmanned aerial vehicle (UAV) to gather information from th...

Significant swelling of the thyroid compromising the airway can be a challenging situation when combined thyroidectomy and cardiac surgery is planned. Induction, intubation, intraoperative management, and extubation require special attention in such cases.

Patients with severe skeletal deformities are a challenging group to treat. A female, white, 35-year-old presented with right kidney stones located in renal pelvis, lower calyx, and upper ureter. She was affected by severe spinal deformity with restrictive respiratory obstruction, caused by kyphoscoliosis. Percutaneous nephrolithotomy in supine position was performed, achieving complete removal...

In the aviation domain, maintaining a high level of situation awareness is one of the most critical and challenging features of an aircrew’s job. Situation awareness (SA) can be thought of as an internalized mental model of the current state of the flight environment. This integrated picture forms the central organizing feature from which all decision making and action takes place. A vast porti...

We present a simple and intuitive method for encapsulating part of agents’ steering and coordinating abilities into a new class of agents, called situation agents. Situation agents have all the abilities of typical agents. In addition, they can influence the steering decisions of any agent, including other situation agents, within their sphere of influence. Encapsulating steering logic into mov...