Renoir, Pneumon-IA and Terap-IA: three medical applications based on fuzzy logic

Description and Validation ofPNEUMON - IA : A medical expert system for pneumonia diagnosis . R . L 6 pez

First, we are going to describe the medical expert system called Pneumon-IA. Pneu.mon-LA is an expert system for the etiological diagnosis of communityacquired pneumonias in adults. It is programmed in the expert systems shell ]Y[[LORD, which uses fuzzy logic to express uncertainty. The knowledge of Pneumon-IA is implemented by means ofproduction rules which are controlled by meta-rules. Pneum...

Generalized Higher Order Energy Based Instantaneous Amplitude and Frequency Estimation and Their Applications to Power Disturbance Detection

The instantaneous amplitude (IA) based on the higher order differential energy operator is proposed. And its general form for arbitrary order is also proposed. The various definitions of the IA and the instantaneous frequency (IF) estimators are considered. The IA and IF estimators based on the energy operators need less computational cost than the conventional IF and IA estimators exploiting t...

Validation du système expert PNEUMON-IA MILORD

Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (II)

Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It is recognized that a coherent theory and mathematical means are needed for dealing with formal causal inferences. This paper presents a novel denotational mathematical means for formal inferences known as Inference Algebra (IA). IA is structured as a set of algebraic operators on a set of formal causa...

Fuzzy extension of interval-based temporal sub-algebras

In a previous paper, we have proposed a fuzzy extension of Allen’s Interval Algebra, called IA, which is able to model soft temporal constraints and uncertainty in a unified way. In this paper, we address the problem of finding tractable subalgebras of IA, as it has been done in the classical case. In particular, we show that the fuzzy extensions of classical SAc and SA subalgebras are tractabl...