.

0 (hodnocen0 x )

BK

Vyd. 1.

Brno : DAVAY, 1992

448 s. ; 22 cm

ISBN 80-85219-22-0 (váz.)

Obsahuje bibliografie a rejstřík

000239902

A OPERATION LOGIC - A BASE FOR PARAMATHEMATICS 9 // PREFACE 12 // 1. SOCIAL SCIENCES, MATHEMATICS AND PARAMATHEMATICS 13 // 2. OPERATION LOGIC 16 // 2.1. Sources of operation logic 16 // 2.2. A way towards operation logic 17 // 2.3. Operation logic principles 27 // 2.4. Principle of informational nondeterminism 35 // 2.5. Basic pattern of consciousness 37 // 2.6. User-friendliness of the software OLS40 45 // 2.7. Remarks to OLS 47 // 3. NONMONOTONIC LOGICS 53 // 3.1. Default approach 55 // 3.1.1. The default logic LI of D. McDermott and J. Doyle 55 // 3.1.2. The default logic L2 of R. Reiter 57 // 3.1.3. The default logic L3 of D. Poole 59 // 3.2. Minimizing approach 61 // 3.2.1. The circumscription logic L4 of J. McCarthy 61 // 3.2.2. The circumscription logic L5 of P. L. Mott 63 // 3.3. Prototypizing approach 64 // 3.3.1. The conditional logic L6 of S. Kraus, D. Lehmann // and M. Magidor 64 // 3.3.2. The conditional logic L7 of J. P. Deigrande 66 // 3.4. Remarks to nonmonotonicity 68 // 4. LOGICS OF KNOWLEDGE AND BELIEF 74 // 4.1. Selfreflection reasoning 75 // 4.1.1. The selfreflection logic L8 of D. Perlis 76 // 4.1.2. The autocircumscription logic L9 of D. Perlis 78 // 4.1.3. The autoepistemic logic L10 of H. J. Levesque 80 // 4.1.4. The awareness logic Lll of R. Fagin and J. Y. Halpern 82 // 4.2. Temporal reasoning 86 // 4.2.1. The chronological ignorance logic L12 of Y. Shoham 88 // 4.3. Fuzzy reasoning 92 // 4.3.1. The approximate logic L13 of R. R. Yager 93 // 4.4. Paraconsistent reasoning 94 // 4.4.1. The paraconsistent logic L14 of A. T. Ishmuratov, // A. S. Karpenko and V. M. Popov 95 // 4.5. Remarks to knowledge and belief 95 // References 1 98 // References 2 99 // References 3 100 // INDEX 101 // 6В PARAMATHEMATICS FOR SOCIAL SCIENCE THEORIES // PREFACE 106 // 1. INTRODUCTION 107 // 1.1. Vhat formal logics are? 107 //

1.2. Vhat efforts formal logics express? 107 // 1.3. Formal logics as apecial equipped knowledge-bases. 107 // 1.4. Vhat logical properties human psychics have? 108 // 1.5. A way towards operation logic OLS. 108 // 1.6. Cognitive hulls of formal systems. 108 // 2. OPERATION LOGIC SYSTEM OLS. 109 // 2.1. Ols-formulas. 109 // 2.2. 01s-reasoning. 110 // 2.3. Ols-meaning. 110 // 2.4. 01s-linguistic-data-base lingu-anal(d). Ill // 2.5. Ols-semantic-data-base sem-anal(d). 112 // 2.6. Codasyl network memory. 112 // 2.7. Codasyl commands. 114 // 2.8. Ols-system-data-base sys-anal(d). 116 // 2.9. Ols-interpretationi. 122 // 2.10. Ols-theory. 123 // 2.11. Ols-knowledge-integration. 124 // 2.12. The algorithmic language OLSIN. 126 // 2.13. User-friendly notation of ols-knowledge-bases. 136 // 2.14. The meta-knowledge-base top-syntax. 137 // 2.15. Reasoning hidden within knowledge-bases and algorithms. 138 // 3. CONNECTIONS OF OLS WITH OTHER AREAS. 143 // 3.1. OLS and pedagogy 143 // 3.2. OLS and linguistics. 143 // 3.3. OLS and social sciences. 145 // 3.4. OLS and motivating. 146 // 3.4.1. Meta-knowledge-base of ols-motivating. 146 // 3.4.2. Concrete-knowledge-base of ols-motivating. 156 // 3.5. OLS and frame approach. 178 // 3.6. Qualitative ecology. 181 // REFERENCES 193 // INDEX OF OLS ABBREVIATIONS 200 // FIGURES 204 // С LANGUAGE, CONSCIOUSNESS AND ALGORITHMIC PERSONALITY 211 // PREFACE 215 // I. LOGICAL ANALYSIS OF CONSCIOUSNESS AND NATURAL LANGUAGE 219 // 1 . The origin and evolution of consciousness 219 // 1.1. Natural selection process 219 // 1.2. How read-write communicative system was invented 221 // 1.3. From simple inorganic solution to reproductive solution 223 // 1.4. Protobiontal-individual E0(4) 223 // 1.5. From protobiontal-individual to mitochondrial, bacterial, cyanophytal and preprotozpal individual 224 // 1.6. Protozoal-individual E0(6) 225 //

1.7. Algal-individual E0(7) 225 // 1.8. Plant-indivi dual E0(8) 225 // 1.9. Lower-animal-individual E0(9) 226 // 1.10. Upper-animal-individual E0(10) 228 // 1.11. Evolutionary object E0(11) (Australopithecus) 234 // 1.12. The invention of E0(12) (Homo habilis) 236 // 1.13. The invention of E0(13) (Homo erectus) 241 // 1.14. The invention of E0(14) (Homo sapiens neanderthalis) 242 // 1.15. The invention of E0(15) (Homo sapiens sapiens) 244 // References-I-1 245 // 2. Logical analysis of natural language 247 // 2.1. Principles of operation logic 247 // 2.2. The theory of meaning 248 // References-I - 2 252 // II. OPERATION LOGIC OLS 253 // 1. 01s-semantic-language 253 // 2. Ols-knowledge-base 257 // 3. Ols-meta-knowledge interpretation 261 // 4. Olsin-processing 265 // 5. 01s-reasoning 271 // 6. Ols-stories 275 // References-11 291 // III. SOME IMPORTANT OLS-META-KNOVLEDGE-BASES AND UTILITIES 295 // 1. Ols-meta-phrasal-lexicon 296 // 2. Ols-meta-philosophy 300 // 3. Multicriterial ols-decision-making 309 // 4. Cognitive hull of mathematical theories 315 // 5. Ols-meta-knowledge-base of evolution processes 328 // 6. 01s-pattern-matching 337 // 7. Bibliographic ols-processing 339 // 8. Object-property-value ols-processing 346 // 9. Olsin-program-writer 355 // 10. Ols-processors 359 // References-111 360 // IV. SOME IMPORTANT EXAMPLES OF OLS-ANALYSES 369 // 1. Example-1 (ols-humor-processing) 369 // 2. Example-2 (ols-technical-inventing) 373 // 3. Example-3 (ols-model of procaryotic cell) 382 // 4. Example-4 (ols-semantic-language-headings) 387 // 5. Example-5 (ols-verbs-understanding) 390 // 6. Example-6 (ols-speech-acts-list) 392 // 7. Example-7 (ols-decision-making within asking) 397 // 8. Example-8 (some ols-speech-acts of appeal) 411 // 9. Example-9 (ols-question-answering) 416 // 10. Example-10 (ols-emotionality-processing) 429 // 11. Example-11 (ols-mimics) // References 435 // Appendix 439 // Index 447