Cost-effective realization of robust, adaptable and reusable software systems demands efficient and effective management of the overall software production process. Current object-oriented methods are not completely formalized and lack the ability of reasoning about the quality of processes and software products (artifacts). There is a need for new modeling formalisms, which enable the quantifi...

Modelling in CAD-applications demands a mapping of the structure of the geometric objects and a description of the relation between them. In purely algebraic modelling there are equations between the elements of the geometric model defined, which are solved to find the characteristic points of the model[SeGo87]. Another way is to use geometric reasoning mechanism in which the dimensions and geo...

4CAPS is a cognitive architecture of interest to both cognitive science and AI. 4CAPS is of interest to cognitive science because it supports models of neuroimaging data collected using fMRI and PET. 4CAPS should be of interest to AI because it organizes human information processing in an optimal and mathematically tractable form. This paper focuses on the adaptivity of 4CAPS models in the face...

The authors are finding rising demands for sensing values in existing/new events and items in the real life. Chance discovery, focusing on new events significant for human decision making, can be positioned extensively as an approach to value sensing. This extension enables the innovation of various artificial systems, where human’s talent of analogical thinking comes to be the basic engine. Ga...

Web service composition can provide a value-chain between customers and suppliers. The increasing number of services, and thus possible combinations, demands the development of dynamic and automatic techniques for their composition. Current commercial solutions are limited and are primarily static and manual. Automation requires reasoning about (semantic descriptions of) the services. In this p...

In this work, we examine the problem of constructing and maintaining a map of an autonomous vehicle’s environment for the purpose of navigation, using evidential reasoning. The inherent uncertainty in the origin of measurements of sensors demands a probabilistic approach to processing, or fusing, the new sensory information to build an accurate map. In this paper, the map is based on a two-dime...

The problem of analysing the eeects of changing requirements imposes strict demands on system representations, particularly in safety-critical domains. We argue that solving this problem will require struc-tured representations that highlight the interaction between requirements, and record the rationale for decisions made during the development process. As a means of providing and analysing th...

The process of medical diagnosis is always complex. It demands the valuation of multiple interacting factors in the case under examination. The signs and symptoms of the patient are put under the experienced opinion of one or more doctors who propose a corresponding treatment. With the advent of Artificial Intelligence (AI) techniques such as Case-based reasoning (CBR), education of medical sub...

The problem of analysing the eeects of changing requirements imposes strict demands on system representations, particularly in safety-critical domains. We argue that solving this problem will require structured representations that highlight the interaction between requirements, and record the rationale for decisions made during the development process. As a means of providing and analysing thi...

In the last several years the hybrid approach to Knowledge Representation has received much attention, because it was felt that one monolithic knowledge representation formalism cannot meet all representational demands. In this paper we will present one particular hybrid knowledge representation system, BACK, concentrating on matters of how to integrate diierent subformalisms and their interpre...