Cognitive Reasoning

A Formal Approach

Authors:

ISBN: 978-3-540-43058-2 (Print) 978-3-540-68875-4 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages i-x

  2. No Access

    Book Chapter

    Pages 1-21

    Introduction

  3. Conceptual Theory of Cognitive Reasoning

    1. Front Matter

      Pages 23-23

    2. No Access

      Book Chapter

      Pages 25-27

      Introductory Explanation

    3. No Access

      Book Chapter

      Pages 29-40

      Basic System of Concepts

    4. No Access

      Book Chapter

      Pages 41-49

      Constructing a Model of a Cognizing Agent

    5. No Access

      Book Chapter

      Pages 51-68

      Cognitive Reasoning Framework

  4. Logic Foundation

    1. Front Matter

      Pages 69-69

    2. No Access

      Book Chapter

      Pages 71-72

      Introductory Explanation

    3. No Access

      Book Chapter

      Pages 73-92

      Propositional Logic

    4. No Access

      Book Chapter

      Pages 93-123

      First-Order Logics

  5. Formal CR Framework

    1. Front Matter

      Pages 125-125

    2. No Access

      Book Chapter

      Pages 127-129

      Introductory Explanation

    3. No Access

      Book Chapter

      Pages 131-157

      Modification Calculi

    4. No Access

      Book Chapter

      Pages 159-193

      Derivability in Modification Calculi and L 1

    5. No Access

      Book Chapter

      Pages 195-208

      Semantics

    6. No Access

      Book Chapter

      Pages 209-235

      Iterative Representation of Structure Generators

    7. No Access

      Book Chapter

      Pages 237-258

      Modification Theories

    8. No Access

      Book Chapter

      Pages 259-274

      Conformability

  6. Handling Complex Structures

    1. Front Matter

      Pages 275-275

    2. No Access

      Book Chapter

      Pages 277-290

      Introductory Explanation

    3. No Access

      Book Chapter

      Pages 291-299

      Set-Admitting Structures

    4. No Access

      Book Chapter

      Pages 301-311

      Set Sorts in Modification Calculi

    5. No Access

      Book Chapter

      Pages 313-339

      Perfect Modification Calculi (PMC)

  7. JSM Theories

    1. Front Matter

      Pages 341-341

    2. No Access

      Book Chapter

      Pages 343-344

      Introductory Explanation

previous Page of 2