Abstract
In this paper we show how category theoretic ontology provided by generalized general logic can be used for decision-making with assessment scales and consensus guidelines in social and health care of older people. Computerized decision-making in social and health care is traditionally views ontologies not as part of underlying logics for decision-making, but rather as standards and terminologies including skeletons and frameworks of informal logic structures. Programming in logic is manipulation of terms, and substitution with terms. Classical terms won’t suffice. An ontology building upon classical terms, trying to enhance missing parts in the underlying structures by being clever about inference, becomes logically sterile and basically useless in formal frameworks. We also need to make a distinction between imprecise or vague information, and being formal and accurate in reasoning with vague values. Furthermore, a value may be vague as produced by a crisp operation, or a value is vague since the underlying operation is vague. From formal point of view this is all about underlying categories and monads, and in this paper we will continue investigations showing how the signatures reside in term monads over chosen categories. Our approach is thus monadic, and we consider monads over suitable categories.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
American Psychiatric Association: Diagnostic and Statistical Manual of Mental Disorders, 4th edn. (DSM-IV-TR®), Text Revisions, American Psychiatric Association (2000)
Beck, J.: Distributive laws. In: Seminars on Triples and Categorical Homology Theory, 1966/1967. Lecture Notes in Mathematics, vol. 80, pp. 119–140. Springer (1969)
Cohen-Mansfield, J., Marx, M.S., Rosenthal, A.S.: A Description of Agitation in a Nursing Home. Journal of Gerontology 44, M77–M84 (1989)
Cummings, J.L., Mega, M., Gray. K. Rosenberg-Thompson, S., Carusi, D.A., Gornbein, J.: The Neuropsychiatric Inventory: Comprehensive Assessment of Psychopathology in Dementia. Neurology 44, 2308–2314 (1994)
Curry, H.B.: Grundlagen der kombinatorischen Logik. American Journal of Mathematics 52, 509–536, 789–834 (1930)
Eklund, P.: Assessment Scales and Consensus Guidelines Encoded in Formal Logic. In: 19th IAGG World Congress of Gerontology and Geriatrics, Paris (2009); Journal of Nutrition, Health & Aging 13(suppl. 1), S558–S559
Eklund, P.: Signatures for Assessment, Diagnosis and Decision-Making in Ageing. In: Hüllermeier, E., Kruse, R., Hoffmann, F. (eds.) IPMU 2010, Part II. CCIS, vol. 81, pp. 271–279. Springer, Heidelberg (2010)
Eklund, P., Galán, M.Á., Helgesson, R.: Paradigms for Many-sorted Non-classical Substitutions. In: 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), pp. 318–321 (2011)
Eklund, P., Gähler, W.: Fuzzy Filter Functors and Convergence. In: Rodabaugh, S.E., Klement, E.P., Höhle, U. (eds.) Applications of Category Theory to Fuzzy Subsets. Theory and Decision Library B: Mathematical and Statistical Methods, vol. 14, pp. 109–136. Kluwer, Dordrecht (1992)
Eklund, P., Helgesson, R.: Monadic Extensions of Institutions. Fuzzy Sets and Systems 161, 2354–2368 (2010)
Folstein, M.F., Folstein, S.E., McHugh, P.R.: “Mini Mental State”, A Practical Method for Grading the Cognitive State on Patients for the Clinician. Journal of Psychiatry Research 12, 189–198 (1975)
Frege, G.: Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Verlag von Louis Nebert, Halle (1879)
Hilbert, D., Bernays, P.: Grundlagen der Mathematik. I. Die Grundlehren der mathematischen Wissenschaften, vol. 40. Springer, Berlin (1934)
Hilbert, D., Bernays, P.: Grundlagen der Mathematik. II. Die Grundlehren der mathematischen Wissenschaften, vol. 50. Springer, Berlin (1934)
Lesniewski, S.: Grundzüge eines Neuen Systems der Grundlagen der Mathematik. Fundamenta Mathematicae XIV, 1–81 (1929)
Morris, J.C.: The Clinical Dementia Rating (CDR): Current Version and Scoring Rules. Neurology 43, 2412–2414 (1993)
Peano, G.: Arithmetices Principia, Nova Methodo Exposita. Fratres Bocca (1889)
Reisberg, B., Borenstein, J., Salob, S.P., Ferris, S.H., Franssen, E., Georgotas, A.: Behavioral Symptoms in Alzheimer’s Disease: Phenomenology and Treatment. International Journal of Geriatric Psychiatry 48(suppl.), 9–15 (1987)
Sadegh-Zadeh, K.: Handbook of Analytic Philosophy of Medicine. Philosophy and Medicine, vol. 113. Springer, Heidelberg (2012)
Schönfinkel, M.: Über die Bausteine der mathematischen Logik. Mathematische Annalen 92, 305–316 (1924)
Selbaek, G., Kirkevold, Ø., Engedal, K.A.: The Prevalence of Psychiatric Symptoms and Behavioural Disturbances and the Use of Psychotropic Drugs in Norwegian Nursing Homes. International Journal of Geriatric Psychiatry 22(9), 843–849 (2007)
Szabó, Á.: The Beginnings of Greek Mathematics. Reidel, Dordrecht (1978)
Yesavage, J.: Development and Validation of Geriatric Depression Screening Scale: A preliminary report. Journal of Psychiatry 17, 37–49 (1983)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Eklund, P. (2013). Category Theoretic Ontology for Representation of Assessment Scales and Consensus Guidelines in Elderly Care. In: Seising, R., Tabacchi, M. (eds) Fuzziness and Medicine: Philosophical Reflections and Application Systems in Health Care. Studies in Fuzziness and Soft Computing, vol 302. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36527-0_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-36527-0_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36526-3
Online ISBN: 978-3-642-36527-0
eBook Packages: EngineeringEngineering (R0)