Constraint satisfaction problems are limited in that their domain values are treated as atomic entities. Object-Oriented Constraint Satisfaction Problems (OOCSPs) synthesize the object-oriented paradigm with declarative constraints to provide a rich language for describing domains. This paper introduces the concept of an OOCSP, describes algorithms for solving certain classes of OOCSPs, and giv...

Object oriented techniques make applications substantially easier to build by providing a high-level platform for application development. There have been a large number of projects based on the Distributed Object Oriented approach for solving complex problems in various scientific fields. One important aspect of Distributed Object Oriented systems is the efficient distribution of software clas...

In this paper we examine alternative means to exploit the advantages of code mobility, object-oriented design, and agent technology for high performance distributed computing. We describe an infrastructure for Problem Solving Environments based upon software agents.

Two general, problematic aspects of deductive planning, namely, detecting unsolvable planning problems and solving a certain kind of postdiction problem, are investigated. The work is based on a resource oriented approach to reasoning about actions and change using a logic programming paradigm. We show that ordinary resolution methods are insuucient for solving these problems and propose progra...

Examples of autonomous multi-entity systems are plentiful, both in the natural and artificial worlds. Many systems have been studied in depth and some models of these have been built in computational systems for problem solving. Central to these computational systems is the notion of autonomy. This article proposes autonomy oriented computation (AOC) as a complementary paradigm for solving hard...

In this paper, we present the evaluation result of our constraint-based tutoring system for logic programming from which we derive the conclusion that students need diagnostic information and remedial hints corresponding to the stage of the problem solving process where they are stuck. For this reason, we propose a three steps diagnosis approach which consists of: diagnosis at the task analysis...

Abst rac t . The Over tu re framework is a collection of C++ classes that can be used to solve partial differential equations (PDEs). These classes were designed to support applications in one, two and three space dimensions on geometries ranging from simple rectangular regions to complicated three dimensional domains, and to support adaptive mesh refinement and moving grids. Over tu re is desi...

In this paper we discuss support for solving complex “wicked” planning problems by dialogues and explanations. Wicked problems are essentially imprecisely formulated problems, i.e. those that do not have a clear goal, well defined methods, and are subject to personal opinions of involved stakeholders that may be changeable. The method contains the following steps: (1) Reducing the complexity of...

The paper discusses the complex, agent-oriented hierarchic memetic strategy (HMS) dedicated to solving inverse parametric problems. The strategy goes beyond the idea of two-phase global optimization algorithms. The global search performed by a tree of dependent demes is dynamically alternated with local, steepest descent searches. The strategy offers exceptionally low computational costs, mainl...

This paper introduces a new technique for the verification of interactive systems. It first presents the use of a model oriented formal method for specifying interactive systems, i.e. the B method. Then, it suggests formally based solutions which allow solving difficulties that are inherent to interactive systems specification, like reachability, observability or reliability. Our claim is that ...