Logic without truth and artificial intelligence
DOI:
https://doi.org/10.15381/risi.v17i1.28913Keywords:
Logic, Truth as a reference, Logic without truth, Artificial Intelligence, CircunscriptionAbstract
This document deals with the importance of logic in Artificial Intelligence and the difficulty of classical logic in restricting its field of study only to propositions that are true or false, excluding any other expression such as orders or questions. We know that computer programs are sequences of instructions that computers execute, so we have the problem that programs should not be considered logical.
To solve the aforementioned problem we use the research carried out by Georg von Wright, Carlos Alchourron and Antonio Martino, incorporating these results for Artificial Intelligence in the framework proposed by Alan Turing on intelligence in machines and by McCarthy on Artificial Intelligence using non-monotonic logic and circumscription.
Downloads
Downloads
Published
Issue
Section
License
Copyright (c) 2024 Miguel Salinas Molina
This work is licensed under a Creative Commons Attribution 4.0 International License.
AUTHORS RETAIN THEIR RIGHTS:
a. Authors retain their trade mark rights and patent, and also on any process or procedure described in the article.
b. Authors retain their right to share, copy, distribute, perform and publicly communicate their article (eg, to place their article in an institutional repository or publish it in a book), with an acknowledgment of its initial publication in the Revista de investigación de Sistemas e Informática.
c. Authors retain theirs right to make a subsequent publication of their work, to use the article or any part thereof (eg a compilation of his papers, lecture notes, thesis, or a book), always indicating its initial publication in the Revista de investigación de Sistemas e Informática (the originator of the work, journal, volume, number and date).
