Planning as satisfiability is known as an efficient approach to deal with many types of planning problems. However, this approach has not been competitive with the state-space based methods in temporal planning. This paper describes ITSAT as an efficient SAT-based (satisfiability based) temporal planner capable of temporally expressive planning. The novelty of ITSAT lies in the way it handles temporal constraints of given problems without getting involved in the difficulties of introducing continuous variables into the corresponding satisfiability problems. We also show how, as in SAT-based classical planning, carefully devised preprocessing and encoding schemata can considerably improve the efficiency of SAT-based temporal planning. We present two preprocessing methods for mutex relation extraction and action compression. We also show that the separation of causal and temporal reasoning enables us to employ compact encodings that are based on the concept of parallel execution semantics. Although such encodings have been shown to be quite effective in classical planning, ITSAT is the first temporal planner utilizing this type of encoding. Our empirical results show that not only does ITSAT outperform the state-of-the-art temporally expressive planners, it is also competitive with the fast temporal planners that cannot handle required concurrency.

Temporally extended actions have proven useful for reinforcement learning, but their duration also makes them valuable for efficient planning. The options framework provides a concrete way to implement and reason about temporally extended actions. Existing literature has demonstrated the value of planning with options empirically, but there is a lack of theoretical analysis formalizing when planning with options is more efficient than planning with primitive actions. We provide a general analysis of the convergence rate of a popular Approximate Value Iteration (AVI) algorithm called Fitted Value Iteration (FVI) with options. Our analysis reveals that longer duration options and a pessimistic estimate of the value function both lead to faster convergence. Furthermore, options can improve convergence even when they are suboptimal and sparsely distributed throughout the state-space. Next we consider the problem of generating useful options for planning based on a subset of landmark states. This suggests a new algorithm, Landmark-based AVI (LAVI), that represents the value function only at the landmark states. We analyze both FVI and LAVI using the proposed landmark-based options and compare the two algorithms. Our experimental results in three different domains demonstrate the key properties from the analysis. Our theoretical and experimental results demonstrate that options can play an important role in AVI by decreasing approximation error and inducing fast convergence.

Modern multicore computers provide an opportunity to parallelize plan recognition algorithms to decrease runtime. Viewing plan recognition as parsing based on a complete breadth first search, makes ELEXIR (engine for lexicalized intent recognition) (Geib 2009; Geib and Goldman 2011) particularly suited for parallelization. This article documents the extension of ELEXIR to utilize such modern computing platforms. We will discuss multiple possible algorithms for distributing work between parallel threads and the associated performance wins.

This article presents techniques for recognizing students activities in ELEs and visualizing these activities to students. It describes a new plan recognition algorithm that takes into account repetition and interleaving of activities. It was able to outperform the state-of-the-art plan recognition algorithms when compared to a gold-standard that was obtained by a domain-expert. We also show that visualizing students' plans improves their performance on new problems when compared to an alternative visualization that consists of a step-by-step list of actions.

The last 10 years have seen the development of novel architectures and technologies for domainfocused, task-specific systems that know many things, such as who (identities, profile, history) they are with (social context) and in what role (responsibility, security, privacy); when and where (event, time, place); why (goals, shared or personal); how are they doing it (methods, applications); and using what resources (device, services, access, and ownership). Smart spaces and devices will increasingly use such contextual knowledge to help users move seamlessly between devices and applications, without having to explicitly carry, transfer, and exchange activity context. Such systems will qualitatively shift our lives both at work and play and significantly change our interactions both with our physical and virtual worlds. This dream of seamlessly interacting with our virtual environment has a long history as can be seen in Apple Inc.'s Knowledge Navigator 1987 concept video. However, the combination of dramatic progress in low-power mobile computing devices and sensors, with advances in artificial intelligence and human-computer interaction (HCI) in the last decade, have provided the kind of platforms and algorithms that are enabling context-aware virtual personal assistants that plan activities and recognize intent. This has lead to an increase in work designed to bring these ideas into real world application and address the final technical hurdles that will make such systems a reality.

AAAI's 2015 Workshop Program was held Sunday and Monday, January 25–26, 2015 at the Hyatt Regency Austin Hotel in Austion, Texas, USA. The AAAI-15 workshop program included 15 workshops covering a wide range of topics in artificial intelligence. Most workshops were held on a single day. The titles of the workshops included AI and Ethics, AI for Cities, AI for Transportation: Advice, Interactivity and Actor Modeling, Algorithm Configuration, Artificial Intelligence Applied to Assistive Technologies and Smart Environments, Beyond the Turing Test, Computational Sustainability, Computer Poker and Imperfect Information, Incentive and Trust in E-Communities, Multiagent Interaction without Prior Coordination, Planning, Search, and Optimization, Scholarly Big Data: AI Perspectives, Challenges, and Ideas, Trajectory-Based Behaviour Analytics, World Wide Web and Public Health Intelligence, Knowledge, Skill, and Behavior Transfer in Autonomous Robots, and Learning for General Competency in Video Games.

This article presents new algorithms for inferring users' activities in a class We also show that visualizing students' plans improves their performance on new problems when compared to an alternative visualization that consists of a step-by-step list of actions. Such tools can plan visualization outperformed those students who provide support for teachers and education were presented with the list of activities for all of researchers in analyzing and assessing students' use these measures. These contributions demonstrate the benefit of Students' interactions with ELEs are complex, as applying novel plan-recognition technologies toward we illustrate using concepts from an ELE for teaching intelligent analysis of students' interactions in openended the basics of chemistry. Students can engage in and flexible software. Such technologies can exploratory activities involving trial and error, such potentially support teachers in their understanding as searching for the right pair of chemicals to combine of student behavior as well as students in their problem in order to achieve a desired reaction. They can solving and lead to advances in automatic recognition repeat activities indefinitely in pursuit of a goal or in other exploratory domains.

Modern multicore computers provide an opportunity to parallelize plan recognition algorithms to decrease runtime. Viewing plan recognition as parsing based on a complete breadth first search, makes ELEXIR (engine for lexicalized intent recognition) (Geib 2009; Geib and Goldman 2011) particularly suited for parallelization. This article documents the extension of ELEXIR to utilize such modern computing platforms. We will discuss multiple possible algorithms for distributing work between parallel threads and the associated performance wins. We will show, that the best of these algorithms provides close to linear speedup (up to a maximum number of processors), and that features of the problem domain have an impact on the achieved speedup.

Earth observation from space allows us to better understand natural phenomenas such as marine currents, to prevent or follow natural disasters, to follow climate evolution and many other things. To achieve that, there are a great number of artificial satellites orbiting Earth, equipped with high-resolution optical instruments and communicating with a network of ground stations. A satellite is said to be agile when it is able to move quickly around its gravity center along its three axes while moving along its orbit, thanks to gyroscopic actuators. It is equipped with a body-mounted optical instrument. To observe a ground area with the instrument, the satellite must be pointed to it. In practice, users submit observation requests to a mission center, which builds activity plans which are sent to the satellites. These plans contain several types of actions such as orbital maneuvers, acquisition realisations and acquisition downloads towards ground stations. Many techniques are used to synthesize such activity plans. Until now, plans are computed offline on the ground and converted into telecommands that the satellite executes strictly, without any flexibility. However, the satellite evolves in a dynamic environment. Unexpected events occur, such as meteorological changes or new urgent observation requests, that the system must handle. Moreover, resource consumption is not always well known. Until now, to ensure that plans will be executable on board with these uncertainties, they are built with worst-case hypothesis on resources consumption. The objective of this work is to give more autonomy to the satellite without compromising the predictability that is needed for some activities. On the ground, we have high computing power and high uncertainty, while on board we have very low computing power and low uncertainty. The main idea is to share decision-making between ground and board to take advantage of the high computing power on the ground and of the low uncertainty on board. First we apply this idea to download scheduling which consists in scheduling file downloads during ground station visibility windows. Second, we apply this idea to observation planning.

Rosetta is a European Space Agency (ESA) cornerstone mission that entered orbit around the comet 67P/Churyumov-Gerasimenko in August 2014 and will escort the comet for a 1.5 year nominal mission offering the most detailed study of a comet ever undertaken by humankind. The Rosetta orbiter has 11 scientific instruments (4 remote sensing) and the Philae lander to make complementary measurements of the comet nucleus, coma (gas and dust), and surrounding environment. The ESA Rosetta Science Ground Segment has developed a science scheduling system that includes an automated scheduling capability to assist in developing science plans for the Rosetta Orbiter. While automated scheduling is a small portion of the overall Science Ground Segment (SGS) as well as the overall scheduling system, this paper focuses on the automated and semi-automated scheduling software (called ASPEN-RSSC) and how this software is used.