From Cognitive Binary Logic to Cognitive Intelligent Agents

06/18/2011
by   Nicolaie Popescu-Bodorin, et al.
0

The relation between self awareness and intelligence is an open problem these days. Despite the fact that self awarness is usually related to Emotional Intelligence, this is not the case here. The problem described in this paper is how to model an agent which knows (Cognitive) Binary Logic and which is also able to pass (without any mistake) a certain family of Turing Tests designed to verify its knowledge and its discourse about the modal states of truth corresponding to well-formed formulae within the language of Propositional Binary Logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/22/2020

A sound interpretation of Leśniewski's epsilon in modal logic KTB

In this paper, we shall show that the following translation I^M from the...
research
10/16/2019

Algebraic Semantics for Propositional Awareness Logics

This paper puts forth a class of algebraic structures, relativized Boole...
research
10/28/2012

Illustrating a neural model of logic computations: The case of Sherlock Holmes' old maxim

Natural languages can express some logical propositions that humans are ...
research
01/19/2023

A Proof System for a Logic of Presuppositions

The paper proposes a derivation system for a logic of presuppositions as...
research
10/13/2022

A Logic of "Black Box" Classifier Systems

Binary classifiers are traditionally studied by propositional logic (PL)...
research
08/08/2023

NEOLAF, an LLM-powered neural-symbolic cognitive architecture

This paper presents the Never Ending Open Learning Adaptive Framework (N...
research
08/08/2023

Model of models – Part 1

This paper proposes a new cognitive model, acting as the main component ...

Please sign up or login with your details

Forgot password? Click here to reset