In this paper we propose a generic task ontology, which formalizes the space of planning problems. Although planning is one of the oldest researched areas in Artificial Intelligence and attempts have been made in the past at developing task ontologies for planning, these formalizations suffer from serious limitations: they do not exhibit the required level of formalization and precision and the...

This work presents an approach for the application of artificial intelligence planning techniques to the automatic generation of control sequences for manufacturing systems. These systems have some special features that must be considered in the planning process, but there are difficulties when the usual models of action are used to deal with these features. In this work, a specialized interval...

The paper describes a transition logic, TL , and a deductive formalism for i t . It shows how various important aspects (such as ramification, qualification, specificity, simultaneity, indeterminism etc.) involved in planning can be modelled in TL in a rather natural way. (The deductive formalism for) TL extends the l inear connection method proposed earlier by the author by embedding the latte...

This paper presents our experience in building complex autonomous systems through modularization and task specialization. As the test-bed, mobile devices were used. Some insights regarding the integration of agent-based theory in the framework of biological intelligence are presented. The obtained results approach the the definition and implementation of the intelligent activities and their rea...

Crowdsourcing platforms, such as Amazon Mechanical Turk, have enabled the construction of scalable applications for tasks ranging from product categorization and photo tagging to audio transcription and translation. These vertical applications are typically realized with complex, self-managing workflows that guarantee quality results. But constructing such workflows is challenging, with a huge ...

The vision of artificial intelligence (AI) is often manifested through an autonomous software module (agent) in a complex and uncertain environment. The agent is capable of thinking ahead and acting for long periods of time in accordance with its goals/objectives. It is also capable of learning and refining its understanding of the world. The agent may accomplish this based on its own experienc...

We discuss the thesis that the implementation of a moral code in the behaviour of artificial intelligent systems needs a specific form of human and artificial intelligence, not just an abstract intelligence. We present intelligence as a system with an internal structure and the structural levels of the moral system, as well as certain characteristics of artificial intelligent agents which can/m...

The paper describes a transition logic, TL , and a deductive formalism for i t . It shows how various important aspects (such as ramification, qualification, specificity, simultaneity, indeterminism etc.) involved in planning can be modelled in TL in a rather natural way. (The deductive formalism for) TL extends the l inear connection method proposed earlier by the author by embedding the latte...

Mixed-initiative planning systems are systems in which humans and machines collaborate in the development and management of plans. The "initiative" in such systems is shared in that each can contribute to the formulation, development, management, refinement, analysis and repair of the plans developed "without being asked explicitly". Intuitively, the goal is to develop a style of interaction wh...