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]

Although there has been much discussion of belief change (e.g., [Gärdenfors, 1988; Spohn, 1988]), goal change has not received much attention. In this paper, we propose a method for goal change in the framework of Reiter’s [2001] theory of action in the situation calculus [McCarthy and Hayes, 1969; Levesque et al., 1998], and investigate its properties. We extend the framework developed in Shap...

1. Bourassa MG, Butnaru A, Lespérance J, Tardif JC. Symptomatic myocardial bridges: overview of ischemic mechanisms and current diagnostic and treatment strategies. J Am Coll Cardiol 2003;41:351–9. 2. Kramer JR, Kitazume H, Proudfit WL, Sones FM Jr. Clinical significance of isolated coronary bridges: benign and frequent condition involving the left anterior descending artery. Am Heart J 1982;10...

Golog and ConGolog are languages defined in the situation calculus for cognitive robotics. Given a Golog program δ, its semantics is defined by a macroDo(δ, s, s′) that expands to a logical sentence that captures the conditions under which performing δ in s can terminate in s′. A similar macro is defined for ConGolog programs. In general, the logical sentences that these macros expand to are se...

son of Quality of Life between stable heart failure patients and heart transplant recipients. J Heart Lung Transplant 1994; 13: 1109–18. [4] Kuhn WF, Myers B, Brennan F et al. Psychopathology in heart transplant candidates. J Heart Transplant 1988; 7: 223–6. [5] Freedland KE, Carney RM, Rich MW et al. Depression in Elderly Patients with Congestive Heart Failure. J Geriatric Psychiatry 1991; 24 ...

Autonomy is an often cited but rarely agreed upon agent characteristic. Although no definition of agent autonomy is universally accepted, exploring the concept of autonomy is important because autonomy influences and is influenced by the degree of trust that agent designers and users place in their agents, the effectiveness of agent-based problem solving, and the organizational structure of age...

Many practical problems where the environment is not in the system’s control can be modelled in game-theoretic logics (e.g., ATL). But most work on verification methods for such logics is restricted to finite state cases. De Giacomo, Lespérance, and Pearce have proposed a situation calculus-based logical framework for representing such infinite state game-type problems together with a verificat...

Decentralized Partially-Observable Markov Decision Processes (Dec-POMDPs) are powerful theoretical models for deriving optimal coordination policies of agent teams in environments with uncertainty. Unfortunately, their general NEXP solution complexity [3] presents significant challenges when applying them to real-world problems, particularly those involving teams of more than two agents. Inevit...

CANADIAN GERIATRICS JOURNAL, VOLUME 17, ISSUE 1, MARCH 2014 The Annual Scientific Meeting of the Canadian Academy of Geriatric Psychiatry was held in Ottawa, Ontario on September 25th 2013. Given greater weight this year due to the inaugural Royal College Geriatric Psychiatry subspecialty certification exam being written across the country the following day, the meeting proved to be not only a ...

In logical AI, an agent’s beliefs are typically categorical, in that they are specified by a set of formulas. An agent may change its beliefs as a result of being informed in one fashion or another about some aspect of the world, or following the execution of some action. The areas of belief revision and reasoning about action deal with just such change in belief. However, most information abou...