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

We model belief change due to noisy sensing, and belief introspection in the framework of the situation calculus. We give some properties of our axiomatization and show that it does not suffer from the problems with combining sensing, introspection, and plausibility update described in Shapiro et al. [2000].

A method to recognize agent’s intentions is presented in a framework that combines the logic of Situation Calculus and Probability Theory. The method is restricted to contexts where the agent only performs procedures in a given library of procedures, and where the system that intends to recognize the agent’s intentions has a complete knowledge of the actions performed by the agent. An original ...

Initially, situation semantics was conceived as essentially synthetic, with a mathematical ontology built up on set theory. Soon after the appearance of [4], however, the authors changed their approach and decided to handle the topic in an analytic fashion, abstracting a mathematical ontology from analyses of natural language use. Situation theory is the name they gave to the underlying mathema...

nowadays, most of the cities, especially metropolises of developing countries are engaged with environmental issues like air and water pollution, waste increase and etc., that lead to the environmental destruction. meanwhile sustainable urban development, provides the balance between development and the environment, and supplies the current generation needs while keep its eyes on the next gener...

A novel situation has developed in which one can discuss physics and ontology with an Artificial Intelligence. In this paper, I present my initial experience such a typical session for analysis. After analyzing the session, attempt to interpret significance of AI suggest possible consequences situation.

this study aimed to consider the dimensions and parameters of handling individual abilities in religious system and contemporary theories based on quran and hadith related to body training and physical skills in islam. as there are a large amount of evidence related to the fit body and relaxed mind, many case studies can be observed accordingly. besides a brief review of the history of islam, c...

because of the newness of information technology (it) and internet in the world, and because of intrinsic constraint of multimedia and traditional news systems such as: newspaper, bulletin, radio and television in interactive communication, diffusion of news and information in internet has possessed special situation. but it is possible sometimes that the use of internet doesn’t achieve anticip...

Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland security. Situation-aware service coordination is required for these systems to coordinate distributed activities under changing environment and workload. In this paper, an automated agent synthesis approach for situa...