yQSS Group Inc. zQSS Group Inc. xRIACS experiment is assigned a scientific value). Different ob-servations and experiments take differing amounts of time and consume differing amounts of power and data storage.There are, in general, a number of constraints that govern the rovers activities: ffl There are time, power, data storage, and posi-tioning constraints for performing different activities. Time constraints often result from illuminationrequirement--that is, experiments may require that a target rock or sample be illuminated with a certain in-tensity, or from a certain angle.

Abstract not found

We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions and incomplete information. We prove the correctness of our implementation and show that our planner is complete with respect to the 0-approximation of sensing actions and the class of conditional plans considered in this paper which is large enough to cover conditional plans with bounded length and branching factor. Finally, we present some preliminary experimental results and discuss further enhancements to the program.

| Testing is an obligatory step in developing multi-agent systems. For testing multi-agent systems in virtual, dynamic environments, simulation systems are required that support a modular, declarative construction of experimental frames, that facilitate the embeddence of a variety of agent architectures, and that allow an ecient parallel, distributed execution. We introduce the system James (A Java-Based Agent Modeling Environment for Simulation) . In James agents and their dynamic environment are modeled as reective, time triggered state automata. Its possibilities to compose experimental frames based on prede ned components, to express temporal interdependencies, to capture the phenomenon of pro-activeness and reectivity of agents are illuminated by experiments with planning agents. The underlying planning system is a general purpose system, about which no empirical results exist besides traditional static benchmark tests. We analyze the interplay between heuristics for selecting goals, viewing range, commitment strategies, explorativeness, and trust in the persistence of the world and uncover properties of the agent, the planning engine and the chosen test scenario: Tileworld. I.

Abstract. We present a logic programming based conditional planner that is capable of generating both conditional plans and conformant plans in the presence of sensing actions and incomplete information. We prove the correctness of our implementation and show that our planner is complete with respect to the 0approximation of sensing actions and the class of conditional plans considered in this paper. Finally, we present preliminary experimental results and discuss further enhancements to the program. 1

main of objects, /-forms represent sets of ground clauses obtained by instantiating a clause of negated literals, called its main part. For example / 1 = f:P (x; y) j :(x = A) :(x = B; y = C)g represents ground clauses obtained by all possible instantiations of :P (x; y) except those in which x = A or x = B; y = C. The logical interpretation of a /-form is a universally quantified proposition. For example, / 1 above is equivalent to the formula 8x; y : :P (x; y) (x = A) (x = B; y =<F12.2

uncertainty. However, this work generally assumes an extremely simple model of action that does not consider continuous time and resources. These assumptions are not reasonable for a Mars rover, which must cope with uncertainty about the duration of tasks, the energy required, the data storage necessary, and its current position and orientation.

Abstract not found