When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, the one by Bacchus, Halpern and Levesque, which uses the situation calculus, is perhaps the most expressive. However, there are still some open issues. For example, it remains unclear what an agent’s knowledge base woul...

ion in Situation Calculus Action Theories Bita Banihashemi York University Toronto, Canada [email protected] Giuseppe De Giacomo Sapienza Università di Roma Roma, Italy [email protected] Yves Lespérance York University Toronto, Canada [email protected]

This article presents a situation calculus formalism featuring events as primary and the usual actions as a special case. Events that are not actions are called internal events and actions are called external events. The effects of both kinds of events are given by effect axioms of the usual kind. The actions are assumed to be performed by an agent as is usual in situation calculus. An internal...

Imposing a markovian condition on the situation calculus enables the embedding of situation calculus theories into the DEVS (discrete event system speciication) modelling and simulation framework. DEVS has an algebraic formalism relying on classical systems theory, and has been used to good eeect in practical domains. The demonstrated correspondence between the situation calculus and DEVS is ba...

accurately localizing the mental foramen and mandibular canal is important when administering local anesthesia and performing surgery; therefore, knowing the normal range of the possible locations is essential. our purpose was to assess the location of the mental foramen and mandibular canal in an iranian population using panoramic radiography.standard panoramic radiographies were performed. th...

accurate diagnosis of the root canal morphology and anatomy is essential for thorough shaping and cleaning of the entire root canal system and consequent successful treatment. this report describes a case of maxillary second premolar with two roots and three root canals (two mesial and distal palatal canals). the case report underlines the importance of complete knowledge about root canal morph...

We present a formal model of argumentation based on situation calculus which captures both the logical and the procedural aspects of argumentation processes. The logic is used to determine what is accepted by each agent participating in the discussion and by the group as a whole, on the basis of the speech acts performed during argumentation. Argumentation protocols, also called rules of order,...

We propose an agent based language, aimed at representing the epistemic states of users of interactive systems, with the goal to devise domain independent tools for building, updating and maintaining user models. The need of coping with change and update motivates the choice to deene our language within the Situation Calculus. We refer to a multi agent Situation Calculus with clusters of altern...

We investigate agent supervision, a form of customization, which constrains the actions of an agent so as to enforce certain desired behavioral specifications. This is done in a setting based on the Situation Calculus and a variant of the ConGolog programming language which allows for nondeterminism, but requires the remainder of a program after the execution of an action to be determined by th...

Accounts of belief and knowledge in the Situation Calculus have been developed and discussed for some time yet there is no extant implementation. We develop a practical implementation of belief and belief change in the Situation Calculus based on default logic for which we have an implemented solver. After establishing the mapping with default logic we demonstrate how belief change in the Situa...