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

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
  • About this book