We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest (...) and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories. (shrink)

This volume explores the relation between ethics and spirituality in Islam through an examination of the genres of Sufi adab, including manuals and hagiographical accounts, from the formative period of Sufism until modernity.

This paper has its roots in qualitative analysis of accounts produced by an Italian serial killer. Theoretical references are related to symbolic interactionism and its developments in the field of psychology and criminology. The whole contribution is aimed to twofold purposes: A) to provide a set of criteria specifically addressed to study deviant action as system of meanings into two related contexts: the single action itself and the whole life history. According this point, paper introduces the concept of “deviant career” (...) and it explains its development and steps; it also provides some psychological social points of views and contributions that scientific works offers. B) to think about potentialities of accounting interviews as powerful tools in clinical practice and empirical research too.Specifically, we discuss narrative about behaviour and life story as a resource in order to take suggestions about meanings, goals and rules of action. It also suggests something about functions that crime discharges in the whole pathway of one's life. Juridical case analysis, run by means of the software ATLAS.ti, is aimed to demonstrate theoretical reasoning proposed. (shrink)