• Corpus ID: 8298390

Cognitive Logic versus Mathematical Logic

  title={Cognitive Logic versus Mathematical Logic},
  author={Pei Wang},
  • Pei Wang
  • Published 2004
  • Philosophy, Computer Science
First-order predicate logic meets many problems when used to explain or reproduce cognition and intelligence. These problems have a common nature, that is, they all exist outside mathematics, the domain for which mathematical logic was designed. Cognitive logic and mathematical logic are fundamentally different, and the former cannot be obtained by partially revising or extending the latter. A reasoning system using a cognitive logic is briefly introduced, which provides solutions to many… 
Proceedings of the Workshop “ Formalizing Mechanisms for Artificial General Intelligence and Cognition ( Formal MAGiC ) ” PICS
An attempt at a comprehensive mind model, the Consciousness And Memory model (CAM), and the computational model of memory in CAM, including working memory, semantic memory, episodic memory and procedural memory are outlined.
Formal Models in AGI Research
This position paper argues that the dominating formal models in the field, namely logical models and computational models, can be misleading and what AGI really needs are formal models that are based on realistic assumptions on the capacity of the system and the nature of its working environment.
An Evidential Path Logic for Multi-Relational Networks
This article presents a non-bivalent, non-axiomatic, evidential logic and reasoner that is an algebraic ring over a multi-relational network and two binary operations that can be composed to perform various forms of inference.
Faith in the Algorithm, Part 1: Beyond the Turing Test
Survey of systems that contribute to the advancement of human and social intelligence finds that many are predicated on human mimicry, but instead, on human amplification.
Insufficient Knowledge and Resources - A Biological Constraint and Its Functional Implications
  • Pei Wang
  • Computer Science
    AAAI Fall Symposium: Biologically Inspired Cognitive Architectures
  • 2009
The practice of NARS, an AI project, shows that such new theories obeying sufficiency of knowledge and resources are feasible and promising in providing a new theoretical foundation for AI.
Interpretations of the Web of Data
In order to realize the Web of Data as a general-purpose medium for storing and processing the world's data, it is necessary to separate RDF from its logic language legacy and frame it simply as a data model.
Various Interpretations of the Web of Data Various Interpretations of the Web of Data
In order to realize the Web of Data as a general-purpose medium for storing and processing the world’s data, it is necessary to separate RDF from its logic language legacy and frame it simply as a data model.
Υψηλού επιπέδου υλοποίηση των αλγορίθμων Hierarchical Temporal Memory σε Julia
An algorithmic theory of intelligence under development is presented, the Hierarchical Temporal Memory, and an implementation of the fundamental HTM algorithms in Julia as open source software is published.
Published by SSAISB: The Society for the Study of Artificial Intelligence and the Simulation of Behaviour
Results indicate the perception of fear is facilitated if the walker displaying fear is female due to similar kinematics for fearful gait and female-specific gait.
Modélisation générique d'un retour d'expérience cognitif : application à la prévention des risques
Nous avons defini dans cette these une architecture logicielle generique permettant de realiser des applications de retour d'experience cognitif. Ces derniers integrent une formalisation de l'analyse


Non-axiomatic reasoning system: exploring the essence of intelligence
This research sheds light on several notions in artificial intelligence and cognitive science, including symbol-grounding, induction, categorization, logic, and computation, which are absent from conventional computational models of reasoning.
A New Approach for Induction: From a Non-Axiomatic Logical Point of View
This paper focuses on the components of NARS that contribute to the system's induction capacity, and shows how the traditional problems in induction are addressed by the system.
Minds, Brains, and Programs
  • J. Searle
  • Philosophy
    The Philosophy of Artificial Intelligence
  • 1990
Only a machine could think, and only very special kinds of machines, namely brains and machines with internal causal powers equivalent to those of brains, and no program by itself is sufficient for thinking.
What Computers Still Can't Do
Inferential Theory of Learning as a Conceptual Basis for Multistrategy Learning
The theory provides a basis for multistrategy task-adaptive learning (MTL), which dynamically adapts strategies to the learning task, defined by the input information, the learner's background knowledge, and the learning goal.
Rigor Mortis: A Response to Nilsson's "Logic and Artificial Intelligence"
- 1-Wason ' s Cards : What is Wrong ?
In Wason's selection task, subjects see four cards showing symbols like E, K, 4, and 7, and are told that each card has a letter on one side and a number on the other. The task is to choose the cards
A purely syntactical definition of confirmation
  • C. Hempel
  • Psychology
    Journal of Symbolic Logic
  • 1943
To say that certain observation sentences confirm or disconfirm a hypothesis does not, of course, generally mean that those observation sentences suffice strictly to prove or to refute the hypothesis in question, but rather that they constitute favorable, or unfavorable, evidence for it.
A history of formal logic
A history of formal logic is one of the literary work in this world in suitable to be reading material and it will show you the amazing benefits of reading a book.
Heuristic Problem Solving: The Next Advance in Operations Research
The paper is based on the precedent of Genesis 27:22, “The voice is Jacob's voice, but the hands are the hands of Esau,” and the content is a joint product of the authors.