Local Boolean manifolds from knowledge representation systems.
Mathware and Soft Computing (1996)
- Volume: 3, Issue: 1-2, page 113-123
- ISSN: 1134-5632
Access Full Article
topAbstract
topHow to cite
topCattaneo, Gianpiero. "Local Boolean manifolds from knowledge representation systems.." Mathware and Soft Computing 3.1-2 (1996): 113-123. <http://eudml.org/doc/39065>.
@article{Cattaneo1996,
abstract = {We introduce a structure to represent observations on entities in order to obtain knowledge about some of their characteristic properties or attributes. This structure is based on the Pawlak's definition of information systems (also knowledge representation systems) and lead us to obtain algebraic structures of lattice depending from the choice of an observational context. The semantical algebraic structure so obtained is of local Boolean manifold whose global structure is an orthoposet which shows a nontransitivity of the implication; this behaviour could be useful for a formal algebraic approach to non-monotonic features of reasoning.},
author = {Cattaneo, Gianpiero},
journal = {Mathware and Soft Computing},
keywords = {Algebras; Algebras de Boole; Demarcación; information systems; knowledge representation systems; semantical algebraic structure},
language = {eng},
number = {1-2},
pages = {113-123},
title = {Local Boolean manifolds from knowledge representation systems.},
url = {http://eudml.org/doc/39065},
volume = {3},
year = {1996},
}
TY - JOUR
AU - Cattaneo, Gianpiero
TI - Local Boolean manifolds from knowledge representation systems.
JO - Mathware and Soft Computing
PY - 1996
VL - 3
IS - 1-2
SP - 113
EP - 123
AB - We introduce a structure to represent observations on entities in order to obtain knowledge about some of their characteristic properties or attributes. This structure is based on the Pawlak's definition of information systems (also knowledge representation systems) and lead us to obtain algebraic structures of lattice depending from the choice of an observational context. The semantical algebraic structure so obtained is of local Boolean manifold whose global structure is an orthoposet which shows a nontransitivity of the implication; this behaviour could be useful for a formal algebraic approach to non-monotonic features of reasoning.
LA - eng
KW - Algebras; Algebras de Boole; Demarcación; information systems; knowledge representation systems; semantical algebraic structure
UR - http://eudml.org/doc/39065
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.