Title :
An event based fuzzy temporal logic
Author_Institution :
Div. of Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
A temporal logic is developed to deal with events that are uncertain with regard to their occurrence in a given interval of time. Events are represented as fuzzy sets with the membership function giving the possibility of occurrence of the event in a given interval of time. An axiomatization of the fuzzy event calculus is presented, and several of its properties are proved. The logic is simple but powerful; it can determine effectively the various temporal relations between uncertain events or their combinations.<>
Keywords :
formal logic; fuzzy set theory; axiomatization; event based fuzzy temporal logic; fuzzy sets; membership function; occurrence; temporal relations; Acoustic sensors; Acoustical engineering; Artificial intelligence; Calculus; Computer science; Databases; Fuzzy logic; Fuzzy sets; Humans; Psychology;
Conference_Titel :
Multiple-Valued Logic, 1988., Proceedings of the Eighteenth International Symposium on
Conference_Location :
Palma de Mallorca, Spain
Print_ISBN :
0-8186-0859-5
DOI :
10.1109/ISMVL.1988.5151