Advertisement

Cognitive Reasoning

A Formal Approach

  • Tamás Gergely
  • Oleg M. Anshakov

Part of the Cognitive Technologies book series (COGTECH)

Table of contents

  1. Front Matter
    Pages i-x
  2. Oleg M. Anshakov, Tamás Gergely
    Pages 1-21
  3. Conceptual Theory of Cognitive Reasoning

    1. Front Matter
      Pages 23-23
    2. Oleg M. Anshakov, Tamás Gergely
      Pages 25-27
    3. Oleg M. Anshakov, Tamás Gergely
      Pages 29-40
    4. Oleg M. Anshakov, Tamás Gergely
      Pages 41-49
    5. Oleg M. Anshakov, Tamás Gergely
      Pages 51-68
  4. Logic Foundation

    1. Front Matter
      Pages 69-69
    2. Oleg M. Anshakov, Tamás Gergely
      Pages 71-72
    3. Oleg M. Anshakov, Tamás Gergely
      Pages 73-92
    4. Oleg M. Anshakov, Tamás Gergely
      Pages 93-123
  5. Formal CR Framework

    1. Front Matter
      Pages 125-125
    2. Oleg M. Anshakov, Tamás Gergely
      Pages 127-129
    3. Oleg M. Anshakov, Tamás Gergely
      Pages 131-157
    4. Oleg M. Anshakov, Tamás Gergely
      Pages 159-193
    5. Oleg M. Anshakov, Tamás Gergely
      Pages 195-208
    6. Oleg M. Anshakov, Tamás Gergely
      Pages 209-235
    7. Oleg M. Anshakov, Tamás Gergely
      Pages 237-258
    8. Oleg M. Anshakov, Tamás Gergely
      Pages 259-274
  6. Handling Complex Structures

    1. Front Matter
      Pages 275-275
    2. Oleg M. Anshakov, Tamás Gergely
      Pages 277-290
    3. Oleg M. Anshakov, Tamás Gergely
      Pages 291-299
    4. Oleg M. Anshakov, Tamás Gergely
      Pages 301-311
    5. Oleg M. Anshakov, Tamás Gergely
      Pages 313-339
  7. JSM Theories

    1. Front Matter
      Pages 341-341
    2. Oleg M. Anshakov, Tamás Gergely
      Pages 343-344
    3. Oleg M. Anshakov, Tamás Gergely
      Pages 345-354
    4. Oleg M. Anshakov, Tamás Gergely
      Pages 355-363
    5. Oleg M. Anshakov, Tamás Gergely
      Pages 365-370
    6. Oleg M. Anshakov, Tamás Gergely
      Pages 371-379
  8. Looking Back and Ahead

    1. Front Matter
      Pages 381-381
    2. Oleg M. Anshakov, Tamás Gergely
      Pages 383-385
    3. Oleg M. Anshakov, Tamás Gergely
      Pages 387-398
    4. Oleg M. Anshakov, Tamás Gergely
      Pages 399-406
    5. Oleg M. Anshakov, Tamás Gergely
      Pages 407-409
    6. Oleg M. Anshakov, Tamás Gergely
      Pages 411-419
  9. Back Matter
    Pages 421-437

About this book

Introduction

Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes. Understanding these processes and modelling, designing, and building artificial cognitive systems have long been challenging research problems.

This book describes the theory and methodology of a new, scientifically well-founded general approach, and its realization in the form of intelligent systems applicable in disciplines ranging from social sciences, such as cognitive science and sociology, through natural sciences, such as life sciences and chemistry, to applied sciences, such as medicine, education, and engineering.

The main subject developed in the book is cognitive reasoning investigated at three levels of abstraction: conceptual, formal, and realizational. The authors offer a model of a cognizing agent for the conceptual theory of cognitive reasoning, and they also present a logically well-founded formal cognitive reasoning framework to handle the various plausible reasoning methods. They conclude with an object model of a cognitive engine.

The book is suitable for researchers, scientists, and graduate students working in the areas of artificial intelligence, mathematical logic, and philosophy.

Keywords

Abduction Cognitive science Common-sense reasoning Formal inference Formal philosophy Formal reasoning Fuzzy logic Information systems Logic Many-valued logic artificial intelligence knowledge mathematical logic modeling problem solving

Authors and affiliations

  • Tamás Gergely
    • 1
  • Oleg M. Anshakov
    • 2
  1. 1.Applied Logic LaboratoryBudapestHungary
  2. 2.All-Russian Institute of Scientific &, Technical Information (VINITI RAN)Russian Academy of SciencesMoskvaRussian Federation

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-68875-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-43058-2
  • Online ISBN 978-3-540-68875-4
  • Series Print ISSN 1611-2482
  • Buy this book on publisher's site