In this paper, we investigate the hypothesis that plan recognition can significantly improve the performance of a case-based reinforcement learner in an adversarial action selection task. Our environment is a simplification of an American football game. The performance task is to control the behavior of a quarterback in a pass play, where the goal is to maximize yardage gained. Plan recognition focuses on predicting the play of the defensive team. We modeled plan recognition as an unsupervised learning task, and conducted a lesion study. We found that plan recognition was accurate, and that it significantly improved performance. More generally, our studies show that plan recognition reduced the dimensionality of the state space, which allowed learning to be conducted more effectively. We describe the algorithms, explain the reasons for performance improvement, and also describe a further empirical comparison that highlights the utility of plan recognition for this task.

In our experiments with four well-known systems for solving partially observable planning problems  (Contingent-FF, MBP, PKS, and POND), we were greatly surprised to find that they could only solve problems with a small number of contingencies. Apparently they were repeatedly trying to solve many combinations of contingencies at once, thus unnecessarily using up huge amounts of time and space. This difficulty can be alleviated if the planner can maintain focus on the contingency that it is currently trying to solve. We provide a way to accomplish this by incorporating focusing information directly into the planning domain's operators, without any need to modify the planning algorithm itself. This enables the above planners to solve larger problems and to solve them much more quickly. We also provide a new planner, FOCUS, in which focusing information can be provided as a separate input. This provides even better performance by allowing the planner to utilize more extensive focusing information.

We propose a memory-based approach to the problem of goal-schema recognition. We use a generic episodic memory module to perform incremental goal schema recognition and to build the plan library. Unlike other case-based plan recognizers it does not require complete knowledge of the planning domain or the ability to record intermediate planning states. Similarity of plans is computed incrementally using a semantic matcher that considers the type and parameters of the observed actions.  We evaluate this approach on two datasets and show that it is able to achieve similar or better performance compared to a statistical approach, but offers important advantages: plan library is acquired incrementally and the memory structure it builds is multi-functional and can be used for other tasks such as plan generation or classification.

The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In particular, the effectiveness of rule-based policies in a domain depend on the concepts that can be expressed in the language used to capture those policies. In this work we investigate complimenting planning domain descriptions with abstract concepts and methods for making distinctions between similar objects. We present an architecture that allows a rule-based policy to reason with these additional concepts, using them to reason over structures that the rules would not be able to reason over without support. We demonstrate that this is sufficient to allow a rule-based policy to provide control in benchmark domains with interesting structures and we argue that our architecture could allow control knowledge learners to learn policies that provide control in these domains.

Route robustness is therefore a Vehicle route planning is a popular application of AI automated measure against the risk that the solution may not be executed planning methods. In numerous applications it is according to the a priori plan. The main idea behind supported with GPS navigation. Based on a generalized the concept of a robust plan is that such a plan should consist shortest-path approach it uses a directed graph as the search of numerous alternative plans, represented in a concise way, domain and edge weights set to match the required optimality and enable switching from the plan currently being executed criteria. Moreover, various additional constraints and to a new one as often as may become necessary. The degree heuristic information can be explored. (Nau, Ghallab, and of robustness is a qualitative factor referring to numerous Traverso 2004)

The need for efficient monitoring of spatio-temporal dynamics in large environmental applications, such as the water quality monitoring in rivers and lakes, motivates the use of robotic sensors in order to achieve sufficient spatial coverage. Typically, these robots have bounded resources, such as limited battery or limited amounts of time to obtain measurements. Thus, careful coordination of their paths is required in order to maximize the amount of information collected, while respecting the resource constraints. In this paper, we present an efficient approach for near-optimally solving the NP-hard optimization problem of planning such informative paths. In particular, we first develop eSIP (efficient Single-robot Informative Path planning), an approximation algorithm for optimizing the path of a single robot. Hereby, we use a Gaussian Process to model the underlying phenomenon, and use the mutual information between the visited locations and remainder of the space to quantify the amount of information collected. We prove that the mutual information collected using paths obtained by using eSIP is close to the information obtained by an optimal solution. We then provide a general technique, sequential allocation, which can be used to extend any single robot planning algorithm, such as eSIP, for the multi-robot problem. This procedure approximately generalizes any guarantees for the single-robot problem to the multi-robot case. We extensively evaluate the effectiveness of our approach on several experiments performed in-field for two important environmental sensing applications, lake and river monitoring, and simulation experiments performed using several real world sensor network data sets.

Recently, considerable focus has been given to the problem of determining the boundary between tractable and intractable planning problems. In this paper, we study the complexity of planning in the class C_n of planning problems, characterized by unary operators and directed path causal graphs. Although this is one of the simplest forms of causal graphs a planning problem can have, we show that planning is intractable for C_n (unless P = NP), even if the domains of state variables have bounded size. In particular, we show that plan existence for C_n^k is NP-hard for k>=5 by reduction from CNFSAT. Here, k denotes the upper bound on the size of the state variable domains. Our result reduces the complexity gap for the class C_n^k to cases k=3 and k=4 only, since C_n^2 is known to be tractable.

SPARK'08 was the first edition of a workshop series designed to provide a stable, long-term forum where researchers could discuss the applications of planning and scheduling techniques to real problems. Animated discussion characterized the workshop, which was collocated with Eighteenth International Conference on Automated Planning and Scheduling (ICAPS-08) held in Sydney, Australia in September 2008.

The Fourth International Conference on Knowledge Capture was held October 28-31, 2007 in Whistler, British Columbia. K-CAP 2007 included two invited talks, technical papers, posters, and demonstrations. Topics included knowledge engineering and modeling methodologies, knowledge engineering and the semantic web, mixed-initiative planning and decision-support tools, acquisition of problem-solving knowledge, knowledge-based markup techniques, knowledge extraction systems, knowledge acquisition tools, and advice taking systems.

The theme of this article is the dynamics of evolution of agents. That theme is applied to the evolution of constraint satisfaction, of agents themselves, of our models of agents, of artificial intelligence and, finally, of the Association for the Advancement of Artificial Intelligence (AAAI). The overall thesis is that constraint satisfaction is central to proactive and responsive intelligent behavior.