In this paper we propose the use of game theory as a general formalism for representing, comparing, and providing insight into solutions to a wide class of robotics problems. Particularly, we show how game theory can be applied to problems of multiple robot coordination, high-level strategy planning, information gathering through manipulation and/or sensor planning, and pursuit-evasion scenario...

groundwater is one of the common resources in varamin plain, but due to over extraction it has been exposed to ruin. this phenomenon will lead to economic and environmental problems. on the other hand, the world is expected to face with more stochastic events of water supply. furthermore, incorporating stochastic consideration of water supply becomes more acute in designing water facilities. th...

The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue. We find that the situation calculus, with suitable extensions, supplies a unified representation of (1) the interaction protocol, or structure of the game, (2) the dynamics of the knowledge and common knowledge of t...

background and purpose: study skills is one important factor influencing academic achievement of students . we must replace ineffective models and habits of study with more fruitful skills in order to gain better learning. this study investigates the study skills and habits of medical students and their educational achievement. methods: based on a pilot study the sample size was estimates as 40...

Many application domains require representing interrelated real-world activities and/or evolving physical phenomena. In the crisis response domain, for instance, one may be interested in representing the state of the unfolding crisis (e.g., forest fire), the progress of the response activities such as evacuation and traffic control, and the state of the crisis site(s). Such a situation represen...

Game-theoretic motion planners are a potent solution for controlling systems of multiple highly interactive robots. Most existing game-theoretic unrealistically assume a priori objective function knowledge is available to all agents. To address this, we propose fault-tolerant receding horizon p...

Even though reasoning and, in particular, planning techniques have had a long tradition in Artificial Intelligence, these have only recently been applied to interactive computer games. In this paper we propose the use of READYLOG, a variant of the logic-based action language GOLOG, to build game bots. The language combines features from classical programming languages with decision-theoretic pl...