Skip to main content
  • Book
  • © 2010

Cognitive Reasoning

A Formal Approach

  • This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization in the form of intelligent systems
  • Includes supplementary material: sn.pub/extras

Part of the book series: Cognitive Technologies (COGTECH)

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (29 chapters)

  1. Front Matter

    Pages i-x
  2. Introduction

    • Oleg M. Anshakov, Tamás Gergely
    Pages 1-21
  3. Conceptual Theory of Cognitive Reasoning

    1. Front Matter

      Pages 23-23
    2. Introductory Explanation

      • Oleg M. Anshakov, Tamás Gergely
      Pages 25-27
    3. Basic System of Concepts

      • Oleg M. Anshakov, Tamás Gergely
      Pages 29-40
    4. Constructing a Model of a Cognizing Agent

      • Oleg M. Anshakov, Tamás Gergely
      Pages 41-49
    5. Cognitive Reasoning Framework

      • Oleg M. Anshakov, Tamás Gergely
      Pages 51-68
  4. Logic Foundation

    1. Front Matter

      Pages 69-69
    2. Introductory Explanation

      • Oleg M. Anshakov, Tamás Gergely
      Pages 71-72
    3. Propositional Logic

      • Oleg M. Anshakov, Tamás Gergely
      Pages 73-92
    4. First-Order Logics

      • Oleg M. Anshakov, Tamás Gergely
      Pages 93-123
  5. Formal CR Framework

    1. Front Matter

      Pages 125-125
    2. Introductory Explanation

      • Oleg M. Anshakov, Tamás Gergely
      Pages 127-129
    3. Modification Calculi

      • Oleg M. Anshakov, Tamás Gergely
      Pages 131-157
    4. Derivability in Modification Calculi and L 1

      • Oleg M. Anshakov, Tamás Gergely
      Pages 159-193
    5. Semantics

      • Oleg M. Anshakov, Tamás Gergely
      Pages 195-208
    6. Iterative Representation of Structure Generators

      • Oleg M. Anshakov, Tamás Gergely
      Pages 209-235
    7. Modification Theories

      • Oleg M. Anshakov, Tamás Gergely
      Pages 237-258
    8. Conformability

      • Oleg M. Anshakov, Tamás Gergely
      Pages 259-274
  6. Handling Complex Structures

    1. Front Matter

      Pages 275-275

About this book

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.

Authors and Affiliations

  • Applied Logic Laboratory, Budapest, Hungary

    Tamás Gergely

  • All-Russian Institute of Scientific &, Technical Information (VINITI RAN), Russian Academy of Sciences, Moskva, Russian Federation

    Oleg M. Anshakov

Bibliographic Information

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access