1991 ◽  
Vol 15 (3-4) ◽  
pp. 211-234
Author(s):  
Didier Dubois ◽  
Jérôme Lang ◽  
Henri Prade

This paper is an attempt to cast both uncertainty and time in a logical framework. It generalizes possibilistic logic, previously developed by the authors, where each classical formula is associated with a weight which obeys the laws of possibility theory. In the possibilistic temporal logic we present here, each formula is associated with a time set (a fuzzy set in the more general case) which represents the set of instants where the formula is certainly true (more or less certainly true in the general case). When a particular instant is fixed we recover possibilistic logic. Timed possibilistic logic generalizes possibilistic logic also in the sense that we substitute the lattice structure of the set of the (fuzzy) subsets of the temporal scale to the lattice structure underlying the certainty weights in possibilistic logic. Thus many results from possibilistic logic can be straightforwardly generalized to timed possibilistic logic. Illustrative examples are given.



1978 ◽  
Vol 23 (5) ◽  
pp. 319-320
Author(s):  
LEWIS WOLFGANG BRANDT
Keyword(s):  


1990 ◽  
Vol 29 (04) ◽  
pp. 386-392 ◽  
Author(s):  
R. Degani ◽  
G. Bortolan

AbstractThe main lines ofthe program designed for the interpretation of ECGs, developed in Padova by LADSEB-CNR with the cooperation of the Medical School of the University of Padova are described. In particular, the strategies used for (i) morphology recognition, (ii) measurement evaluation, and (iii) linguistic decision making are illustrated. The main aspect which discerns this program in comparison with other approaches to computerized electrocardiography is its ability of managing the imprecision in both the measurements and the medical knowledge through the use of fuzzy-set methodologies. So-called possibility distributions are used to represent ill-defined parameters as well as threshold limits for diagnostic criteria. In this way, smooth conclusions are derived when the evidence does not support a crisp decision. The influence of the CSE project on the evolution of the Padova program is illustrated.



Controlling ◽  
2010 ◽  
Vol 22 (12) ◽  
pp. 710-719
Author(s):  
Martin Klein
Keyword(s):  


2019 ◽  
Vol 28 (1) ◽  
pp. 71-100
Author(s):  
Taeseok Yong ◽  
Eunkook Lee ◽  
Daemin Park ◽  
Jihye Kim




2011 ◽  
Vol 30 (12) ◽  
pp. 3366-3370
Author(s):  
Guang-qiu HUANG ◽  
Wei WANG
Keyword(s):  


1993 ◽  
Author(s):  
Benjamin Knapp ◽  
Mitra Dastmalchi ◽  
Eric Jacobs ◽  
Shahab Layeghi


Sign in / Sign up

Export Citation Format

Share Document