Title :
Many-valuedness and uncertainty
Author_Institution :
Inst. of Telecommun., Warsaw, Poland
Abstract :
A generalisation of modal information logics to many-valued modal logics is presented. Information logics are the formalisms for reasoning about uncertain knowledge discovered from incomplete information. In these logics an analysis of information that has the form of descriptions of objects in terms of their properties can be carried on and relationships among objects based on their common properties (referred to as information relations) can be represented and discussed. In the proposed many-valued information logics both properties of objects and relationships among the objects are assumed to be many-valued. A relationship between the calculus of information relations and Aristotelian syllogistic is outlined
Keywords :
multivalued logic; uncertainty handling; Aristotelian syllogistic; calculus of information relations; many-valued modal logics; modal information logics; uncertain knowledge; Algebra; Calculus; Fuzzy sets; Inference mechanisms; Information analysis; Lattices; Marine vehicles; Multivalued logic; Set theory; Uncertainty;
Conference_Titel :
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location :
Antigonish, NS
Print_ISBN :
0-8186-7910-7
DOI :
10.1109/ISMVL.1997.601390
