Future shop-floors are going to evolve as they need to be able to fully respond to dynamic adaptations and sophisticated interactions with the enterprise systems. This trend is fully backed up by the ever increasing capabilities of the new generation of devices that feature advanced communication as well as computational capabilities. However as the transition to the future infrastructure will ...

We describe an AI behavior architecture that supports responsive collaborative interruptible and resumable behaviors using behavior queues. This architecture wraps sets of behaviors into roles, which provide a simple efficient mechanism for encapsulating behaviors into components that can change dynamically, based on environmental criteria. To illustrate the viability of this architecture in a ...

An important problem in developing natural language dialog systems is to computationally specify when and why the system should speak. This paper proposes interruptible theorem proving as a solution. Theorem proving is used to determine when domain goals are complete. Language is used to acquire missing axioms that may be inhibiting proof completion. The paper describes this \missing axiom" the...

Anytime algorithms give intelligent real-time systems the ability to trade deliberation time for quality of results. This capability is essential in domains where computing the optimal result is not computationally feasible or is not economically desirable. Examples of such domains include avionics, air traffic control, process control and missioncritical computations. Run-time monitoring of an...

Task-Oriented Programming (TOP) has proven itself effective for the implementation of interactive, distributed, multi-user applications through the use of the iTasks framework. In this thesis we show that TOP is also well-suited for developing non-distributed embedded systems whose processes can be interrupted by events that can occur at any time. A general-purpose TOP framework titled μTasks i...

We have been successfully deploying mobile service robots in an office building to execute user-requested tasks, such as delivering messages, transporting items, escorting people, and enabling telepresence. Users submit task requests to a dedicated website which forms a schedule of tasks for the robots to execute. The robots autonmously navigate in the building to complete their tasks. However,...

In recent years, with significant changes in electricity demand, load aggregators have begun to integrate customer demand-side resources and participate market transactions as independent entities. This study aims establish an alliance of integrated energy service providers integrators, which optimizes the operation system maximizes order tothe interests all participants through collaborative m...

We present an incremental dependency parser which derives predictions about the upcoming structure in a parse-as-youtype mode. Drawing on the inherent strong anytime property of the underlying transformation-based approach, an existing system, jwcdg, has been modified to make it truly interruptible. A speed-up was achieved by means of parallel processing. In addition, MaltParser is used to boot...