Computing with cables: Towards massively parallel neuro computers

KADAM knowledge-based assistant for diagnosis in aircraft maintenance: Final report

Under contract with the Netherlands Agency for Aerospace Programs (NIVR), the National Aerospace Laboratory NLR has investigated the feasibility of knowledge-based systems to assists ground crews in corrective maintenance of complex aircraft systems. For this feasibility study, the Fokker airconditioning system was chosen as a representative...

Multi-sensor data fusion in a distributed environment; architectural solutions

The human operator observing the real world is confronted with a huge amount of data from multiple sensors observing that world. Multi-sensor data fusion (MSDF) is one of the emerging fields in advanced information processing, concerned with fusing sensor data from these multiple sensors. Automated MSDF can help the operator by processing sensor...

The developing of the foundation for the Monitoring and Diagnosing System

A start has been made implementing the MDS based on an Expert System with the recommended Progressive Reasoning strategy and laying the foundation for further developments. An interrupt handling is introduced that reduces the time the MDS is interrupted in its diagnosing task and therefore able to find more refined conclusions.

What is on the machine's mind? Models for reasoning with incomplete and uncertain knowledge

In this thesis, which consists of two parts, two different subjects are discussed. In the first part of the thesis a logic for reasoning with inconsistent knowledge will be described. The second part of the thesis contains a proposal for to view a reasoning process as a process of constructing a partial model of the world we are reasoning about....

Een Semantisch Connectionistisch Redeneersysteem (SCORE)

Het onderzoek heeft zich gericht op de ontwikkeling van een Semantisch Connectionistisch Redeneersysteem (SCORE). SCORE kan de basis vormen voor een volwaardig expertsysteem. De, voor een expertsysteem van elementair belang zijnde, fundamentele inferentie principes, kennisacquisitie principes en kennisrepresentatievormen hebben in SCORE de...

Toepassing van kennissystemen voor diagnose van vliegtuigsystemen

Maintenance organisations experience an increasing pressure to optimize the availability of company assets. Meanwhile the complexity of systems increases. As a consequence, there is a need for tools with which maintenance can be performed more effectively and efficiently. NLR is engaged in applied research into knowledge-based systems for...

How to reason with uncertain knowledge

In this paper two kinds of uncertainty, general and specific uncertainty, are distinguished. General uncertainty denotes an uncertainty about which objects of a class belong to a relation. Sentences in which it occurs can be view as describing incomplete knowledge. An example of such a sentence is: "Most humans have brown eyes". Specific...

Report 88-25 (Reviewed) TUD Faculty of Technical Mathematics and Informatics Heuristic reasoning

In this paper a model for heuristic reasoning with uncertain knowledge is presented. This model is a generalisation of the approach proposed by Clancey (Cla-84, Cla-85). We offer a clear semantics for the model, showing that the heuristic reasoning process can be given a clear probabilistic interpretation.

NEXT: An expert system development tool to support engineering design

In the engineering process, many design decisions are made in the initial stage. These decisions can have far-reaching consequences. Especially in a multi-disciplinary design process, it is desirable to be able to gather the diverse alternatives for aspects of a design and to store them in some formal representation in order to reason about them...