In this paper, we propose an intelligent situation recognition model by collecting and analyzing multiple sensor signals. Multiple sensor signals are collected for fixed time window. A training set of collected sensor data for each situation is provided to K2-learning algorithm to generate Bayesian networks representing causal relationship between sensors for the situation. Statistical characte...

The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calcul...

This paper presents an attempt on incremental robot learning from demonstration. Based on previously learnt knowledge about a task in simpler situations, a robot learns to fulfill the same task properly in a more complicated situation through analyzing comparative demonstrations and extracting new knowledge, especially the constraints that the task in the new situation imposes on the robot’s be...

Software analyzing defines an essential element of the software engineering and an imperative connection that the software growth quality was pledged. The judicious model for software testing can decrease the costs of analyzing in the progressing action in the sequence of analyzing is hence tumbling price of software enhancement. Here an article, to propose prototypical aimed at software analyz...

A fundamental aspect of general reasoning about physical systems is qualitative reasoning about continuous processes. The situation calculus is proposed as a framework for qualitative reasoning with some desirable properties that are less evident in the traditional framework, qualitative physics. However, in order to handle qualitative reasoning about continuous properties, we extend the concur...

A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action may be broadly divided into those which are narrative-based, such as the Event Calculus of Kowalski and Sergot, and those which reason on the level of hypothetical sequences of actions, in particular the Situation Calculus. This paper bridges the gap between these types...

Concurrent events are treated merely by not forbidding them. Narrative is treated as a collection of situations and events and relations among them. Narrative is easier than planning, because it does not require that the effects of events be guaranteed. Prediction is harder than planning, because it requires that the actions be inferred from the motives of the actors.

We consider the problem of planning in complex domains where actions are stochastic, non-instantaneous, may occur concurrently, and time is represented explicitly. Our approach is based on the situation calculus based language Golog. Instead of general search for a sequence of actions, as in classical planning, we consider the problem of computing a deterministic, sequential program (with stoch...

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