Pagliani, Piero (1998) Intrinsic co-Heyting boundaries and information incompleteness in Rough Set Analysis. [Conference Paper]
Full text available as:
![]() |
Postscript
330Kb |
Abstract
Rough Set Systems, can be made into several logic-algebraic structures (for instance, semi-simple Nelson algebras, Heyting algebras, double Stone algebras, three-valued £ukasiewicz algebras and Chain Based Lattices). In the present paper, Rough Set Systems are analysed from the point of view of co-Heyting algebras. This new chapter in the algebraic analysis of Rough Sets does not follow from aesthetic or completeness issues, but it is a pretty immediate consequence of interpreting the basic features of co-Heyting algebras (originally introduced by C. Rauszer and investigated by W. Lawvere in the context of Continuum Physics), through the lenses of incomplete information analysis. Indeed Lawvere pointed out the role that the co-intuitionistic negation ''non'' (dual to the intuitionistic negation ''not'') plays in grasping the geometrical notion of ''boundary'' as well as the physical concepts of ''sub-body'' and ''essential core of a body'' and we aim at providing an outline of how and to what extent they are mirrored by the basic features of incomplete information analysis.
Item Type: | Conference Paper |
---|---|
Keywords: | rough sets, co-Heyting algebras, boudary regions,Leibniz rule |
Subjects: | Computer Science > Artificial Intelligence Philosophy > Logic |
ID Code: | 1990 |
Deposited By: | Pagliani, Piero |
Deposited On: | 18 Dec 2001 |
Last Modified: | 11 Mar 2011 08:54 |
References in Article
Select the SEEK icon to attempt to find the referenced article. If it does not appear to be in cogprints you will be forwarded to the paracite service. Poorly formated references will probably not work.
Metadata
- ASCII Citation
- Atom
- BibTeX
- Dublin Core
- EP3 XML
- EPrints Application Profile (experimental)
- EndNote
- HTML Citation
- ID Plus Text Citation
- JSON
- METS
- MODS
- MPEG-21 DIDL
- OpenURL ContextObject
- OpenURL ContextObject in Span
- RDF+N-Triples
- RDF+N3
- RDF+XML
- Refer
- Reference Manager
- Search Data Dump
- Simple Metadata
- YAML
Repository Staff Only: item control page