From Cognitive Binary Logic to Cognitive Intelligent Agents

TL;DR

This paper explores modeling cognitive agents capable of understanding binary logic and passing Turing Tests related to modal truth states, aiming to advance the development of intelligent systems with self-awareness and logical reasoning.

Contribution

It introduces a framework for cognitive agents that integrate binary logic knowledge with the ability to pass specific Turing Tests, addressing the link between logic understanding and intelligence.

Findings

Agents can accurately model modal truth states.

Proposed approach enables passing Turing Tests without mistakes.

Framework advances logical reasoning in cognitive agents.

Abstract

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.