A comparison of lattice-theoretic approaches to fuzzy topology
Fuzzy Sets and Systems
A categorical unification algorithm
Proceedings of a tutorial and workshop on Category theory and computer programming
Fuzzy Sets and Systems - Special issue on diagnostics and control through neural interpretations of fuzzy sets
Specification of abstract data types
Specification of abstract data types
ISMVL '01 Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic
Powersets of terms and composite monads
Fuzzy Sets and Systems
General Logics for Management of Ageing
ICCIT '08 Proceedings of the 2008 Third International Conference on Convergence and Hybrid Information Technology - Volume 01
Paradigms for Non-classical Substitutions
ISMVL '09 Proceedings of the 2009 39th International Symposium on Multiple-Valued Logic
On the logic of medical decision support
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Hi-index | 0.00 |
In this paper we discuss computerized assessments and guidelines for decision making, with accuracy and formalism being required for avoiding ambiguities and imprecision. Note the difference between imprecise or vague information, and being formal and accurate in reasoning with vague values. We may even have a logic allowing for vague reasoning, where the underlying logic is formal and precise, i.e. must always have a clear syntax and semantics together with a accurately described inference mechanism revealing the strength and weakness, and indeed the nature and capacities of that particular underlying logic. Our examples will be drawn from elderly care, in particular from assessments in old age psychiatry and early diagnosis of cognitive disorder.