T. L. McCluskey

Learn More
In this paper an object-centric perspective on planning domain definition is presented along with an overview of GIPO (graphical interface for planning with objects), a supporting tools environment. It is argued that the object-centric view assists the domain developer in conceptualizing the domain’s structure, and we show how GIPO enables the developer to(More)
This paper postulates a rigorous method for the construction of classical planning domain models. We describe, with the help of a non-trivial example, a tool supported method for encoding such models. The method results in anòbject-centred' speciication of the domain that lifts the representation from the level of the literal to the level of the object.(More)
The problem of formulating knowledge bases containing action schema is a central concern in knowledge engineering for AI Planning. This paper describes LOCM, a system which carries out the automated generation of a planning domain model from example training plans. The novelty of LOCM is that it can induce action schema without being provided with any(More)
In this paper we explore a principled, integrated approach to the process of creating complex planning applications and introduce and evaluate a new hybrid task-reduction planner called HyHTN. In the short term our work is leading to an experimental research platform for investigating the synergy of integrated tools. The approach is centred around the use(More)
This paper describes our experience in capturing, using a formal specification language, a model of the knowledge-intensive domain of oceanic air traffic control. This model is intended to form part of the requirements specification for a decision support system for air traffic controllers. We give an overview of the methods we used in analysing the scope(More)
The problem of formulating knowledge bases containing action schema is a central concern in knowledge engineering for AI Planning. This paper describes LOCM, a system which carries out the automated induction of action schema from sets of example plans. Each plan is assumed to be a sound sequence of actions; each action in a plan is stated as a name and a(More)
AI planning engines require detailed specifications of dynamic knowledge of the domain in which they are to operate, before they can function. Further, they require domain-specific heuristics before they can function efficiently. The problem of formulating domain models containing dynamic knowledge regarding actions is a barrier to the widespread uptake of(More)
We review the 2014 International Planning Competition (IPC-2014), the eighth in a series of competitions starting in 1998. IPC-2014 was held in three separate parts to assess state-of-the-art in three prominent areas of planning research: the deterministic (classical) part (IPCD), the learning part (IPCL), and the probabilistic part (IPPC). Each part(More)
In this paper, we present an innovative approach coupling active contours with an ontological representation of knowledge, in order to understand scenes acquired by a moving camera and containing multiple non-rigid objects evolving over space and time. The developed active contours enable both segmentation and tracking of multiple targets in each captured(More)