After referring several times to Commonsense or Ordinary Reasoning, let’s devote a few pages to present a (minimal) mathematical model of it that can be seen as the ‘Skeleton’ of Reasoning, since it is defined by a set of few, simple laws appearing in the models of particular and specialized modes of reasoning like, for instance: Boolean Algebras for the reasoning with precise concepts; Orto-modular lattices for the reasoning with the concepts of Quantum Physics; and also in the so called Algebras of Fuzzy Sets for the reasoning with imprecise concepts, and among them De Morgan-Kleene algebras. All these models have interesting applications.
Trillas E., Termini S., Tabacchi M.E. (2022). A Formal Skeleton of Commonsense Reasoning. In Studies in Computational Intelligence (pp. 17-29). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-86088-2_3].
A Formal Skeleton of Commonsense Reasoning
Termini S.;Tabacchi M. E.
2022-01-01
Abstract
After referring several times to Commonsense or Ordinary Reasoning, let’s devote a few pages to present a (minimal) mathematical model of it that can be seen as the ‘Skeleton’ of Reasoning, since it is defined by a set of few, simple laws appearing in the models of particular and specialized modes of reasoning like, for instance: Boolean Algebras for the reasoning with precise concepts; Orto-modular lattices for the reasoning with the concepts of Quantum Physics; and also in the so called Algebras of Fuzzy Sets for the reasoning with imprecise concepts, and among them De Morgan-Kleene algebras. All these models have interesting applications.
| File | Dimensione | Formato | |
|---|---|---|---|
|
978-3-030-86088-2_3.pdf
Solo gestori archvio
Tipologia:
Versione Editoriale
Dimensione
168.73 kB
Formato
Adobe PDF
|
168.73 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
