| 000 | 01901camuu2200313 a 4500 | |
| 001 | 000000885340 | |
| 005 | 20040622155355 | |
| 008 | 011102s2002 gw b 001 0 eng d | |
| 010 | ▼a 2001055106 | |
| 020 | ▼a 3540419047 (alk. paper) | |
| 035 | ▼a KRIC09134927 | |
| 040 | ▼a DLC ▼c DLC ▼d C#P ▼d HYUA ▼d 241050 ▼d 211009 | |
| 042 | ▼a pcc | |
| 049 | 1 | ▼l 121095323 ▼f 과학 |
| 050 | 0 0 | ▼a QA76.9.S63 ▼b D46 2002 |
| 082 | 0 0 | ▼a 006.3 ▼2 21 |
| 090 | ▼a 006.3 ▼b D389i | |
| 100 | 1 | ▼a Demri, Stephane P., ▼d 1967- |
| 245 | 1 0 | ▼a Incomplete information : ▼b structure, inference, complexity / ▼c Ste>phane P. Demri, Ewa S. Orlowska. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c2002. | |
| 300 | ▼a xviii, 405 p. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Monographs in theoretical computer science. |
| 504 | ▼a Includes bibliographical references (p. [379]-398) and index. | |
| 505 | 0 | ▼a 1 Mathematical Prerequisites -- Pt. I Structures with Incomplete Information -- 2 Structures of Information -- 3 Information Relations Derived from Information Systems -- 4 Information Operators Derived from Information Systems -- Pt. II Introduction to Information Logics -- 5 Towards Information Logics -- 6 Techniques for Information Logics -- Pt. III Proof Systems for Information Logics -- 7 Reasoning About Similarity -- 8 Reasoning About Indiscernibility -- 9 Reasoning About Knowledge -- Pt. IV Computational Aspects of Information Logics -- 10 Information Logics Versus Standard Model Logics -- 11 Decidability of Information Logics -- 12 Complexity of Information Logics -- Pt. V Representability and Duality -- 13 Informational Representability -- 14 Informational Interpretation of Standard Algebraic Structures -- 15 Information Algebras -- References -- Index. |
| 650 | 0 | ▼a Soft computing. |
| 650 | 0 | ▼a Fuzzy sets. |
| 650 | 0 | ▼a Rough sets. |
| 700 | 1 | ▼a Orlowska, Ewa. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 006.3 D389i | 등록번호 121095323 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
This monograph presents a systematic, exhaustive and up-to-date overview of formal methods and theories for data analysis and inference inspired by the concept of rough set. Throughout, Demri studies structures with incomplete information from the logical, algebraic and computational perspective. The formalisms developed are non-invasive in that only the actual information that is needed in the process of analysis without external sources of information being required. The book is self-contained to a large degree, providing detailed derivations of most of the technical results, and is intended for researchers, lecturers and graduate students.
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.
정보제공 :
목차
Preface; 1. Mathematical Prerequisites; Part I. Structures with Incomplete Information; 2. Structures of Information;3. Information Relations Derived from Information Systems; 4. Information Operators Derived from Information Systems; Part II. Introduction to Information Logics; 5. Towards Information Logics; 6. Techniques for Information Logics; Part III. Proof Systems for Information Logics; 7. Reasoning About Similarity; 8. Reasoning About Indiscernibility; 9. Reasoning About Knowledge; Part IV. Computational Aspects of Information Logics; 10. Information Logics Versus Standard Modal Logics; 11. Decidability of Information Logics; 12. Complexity of Information Logics; Part V. Representability and Duality; 13. Informational Representability; 14. Informational Interpretation of Standard Algebraic Structures; 15. Information Algebras; References; Index
정보제공 :