Cognitive Reasoning A Formal Approach

Cognitive Reasoning A Formal Approach / by Oleg M. Anshakov, Tamás Gergely.

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,...

Full description

Saved in:
Bibliographic Details
Main Authors: Anshakov, Oleg M. (Author), Gergely, Tamás (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Cognitive Technologies,
Springer eBook Collection.
Subjects:
Artificial intelligence.
Mathematical logic.
Neurosciences.
Computers.
Application software.
Logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Conceptual Theory of Cognitive Reasoning
  • Introductory Explanation
  • Basic System of Concepts
  • Constructing a Model of a Cognizing Agent
  • Cognitive Reasoning Framework
  • Logic Foundation
  • Introductory Explanation
  • Propositional Logic
  • First-Order Logics
  • Formal CR Framework
  • Introductory Explanation
  • Modification Calculi
  • Derivability in Modification Calculi and L1
  • Semantics
  • Iterative Representation of Structure Generators
  • Modification Theories
  • Conformability
  • Handling Complex Structures
  • Introductory Explanation
  • Set-Admitting Structures
  • Set Sorts in Modification Calculi
  • Perfect Modification Calculi (PMC)
  • JSM Theories
  • Introductory Explanation
  • Simple JSM Theories
  • Advanced JSM Theories
  • Similarity Representation
  • JSM Theories for Complex Structures
  • Looking Back and Ahead
  • Introductory Overview
  • Towards the Realisation
  • CR Framework
  • Open Problems
  • Philosophical–Methodological Implications of the Proposed CR Framework.

Similar Items