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

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

A dynamical systems approach for modeling changing spatial environments is formalised. The formalisation adheres to the representational and computational semantics of situation calculus and includes a systematic account of all aspects necessary to implement a domain-independent qualitative spatial theory that is applicable across diverse application areas. Foundational to the formalisation is ...

The robot, on the other hand, is eager to learn both the best sequence of actions, their timing and how they interlace. The cross relation among actions is specified both in terms of time intervals for their execution, and in terms of location in space to cope with the instruction interaction with people and objects in the scene. We outline this process: how to transform the rich information de...

Most solutions to the technical frame problem in theories of actions depend on special axioms like the frame axioms, the law of inertia, or the successor state axioms. In these solutions facts about a situation are regarded and represented as properties which hold in the situation. In this article it is argued that it is often more adequate to view facts about a situation as resources which are...