Incomplete Information: Structure, Inference, ComplexitySpringer Science & Business Media, 18 d’abr. 2013 - 408 pàgines The construction of any broadly understood theory of information or infor mation processing system involves two major methodological processes: (1) abstraction and analysis, (2) reasoning and computing. This monograph is a realisation of these two processes in relation to the study of incompleteness of information. The paradigm we are working with is inspired by a rough-set approach to data analysis: the formalisms we develop enable the use of a non invasive data representation. This means that the only information which is and must be used in the process of analysis is the actual information that is to be analysed; we do not require any additional sources of information. An abstraction is formed in the process of conception, design, and develop ment of structures. Then analysis leads to a selection of a class of structures. In this book we delineate a class of informational structures that enable us to represent both numerical and non-numerical information and we analyse var ious manifestations of its incompleteness. We discuss several general types of incompleteness of information which are grounded in a rough-set-style view of imprecision and uncertainty. Manifestations of these types of incompleteness in information systems are investigated. |
Continguts
1 | |
6 | |
Structures of Information | 15 |
11 | 28 |
Information Relations Derived from Information Systems | 37 |
Information Operators Derived from Information Systems 71 | 70 |
Towards Information Logics | 93 |
7 | 138 |
and the Universal Modal Connective | 227 |
8 | 235 |
11 | 241 |
Complexity of Information Logics | 267 |
6 | 287 |
Informational Representability | 295 |
Informational Interpretation | 321 |
Information Algebras | 355 |
5 | 169 |
Reasoning About Indiscernibility | 175 |
5 | 191 |
Reasoning About Knowledge | 193 |
5 | 215 |
379 | |
393 | |
399 | |
Altres edicions - Mostra-ho tot
Incomplete Information: Structure, Inference, Complexity Stephane P. Demri,Ewa Orlowska Previsualització limitada - 2002 |
Incomplete Information: Structure, Inference, Complexity Stephane P. Demri,Ewa Orlowska Previsualització no disponible - 2010 |
Incomplete Information: Structure, Inference, Complexity Stéphane P. Demri,Ewa Orlowska Previsualització no disponible - 2014 |
Frases i termes més freqüents
approximation operators approximation space Assume attributes axioms binary relations Boolean algebra C₁ Cited cl(s class of information complete computation contradiction decidable defined as follows defined in Sect definition denote double residuated lattice dual E-frames elements equivalence relation Example EXPTIME fi(x following assertions hold following lemma fuzzy set generalised Hence implies ind(A ind(B indiscernibility relations infi xi information algebras information logics information operators information relations irreflexive isomorphic L-formulae L-model LA-logics Lemma Let F Mo(a Mo(b modal algebras modal connectives modal language modal logic modal operator NIL-model NIL-WORLD non-empty set obtained P-meaning function parameter expressions PCPAR problem properties PSPACE Q.E.D. Lemma Rare-logic reflexive relation algebra relative frames relative relations representation residuated lattice resp respect Rp)PCPAR Sahlqvist formulae satisfied semantic similar standard modal logic Stone algebra structure subsets supi Xi symmetric t-norm THM(H THM(HLKO transitive VARE