8.0: Introducción

Última actualización
Guardar como PDF

Page ID: 117604

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

En gran medida, la lógica gobierna la forma en que trabaja tu mente, incluso entre las llamadas “personas irracionales”. Si queremos capturar procesos lógicos y representarlos en un programa informático, necesitamos una forma de expresar estos pensamientos en una forma adecuada para el razonamiento automatizado. Esto es principalmente por lo que los informáticos estudian la lógica.

Curiosamente, el material de este capítulo cubre la parte inferior y la parte superior de la pila de tecnología. En la parte inferior, tenemos hardware físico real que consiste en circuitos que encienden y apagan los bits. Las reglas que rigen cuando queremos activar y desactivar qué bits se basan en “puertas lógicas”, o pequeños dispositivos físicos que implementan los principios lógicos de este capítulo en una micro escala. En el otro extremo del espectro, tenemos programas altamente abstractos que apuntan hacia la “inteligencia artificial”. Estos sistemas se centran en una “base de conocimiento” de hechos acumulados, y regularmente examinan esos hechos conocidos para tomar decisiones y sacar conclusiones adicionales. ¿En qué consiste una base de conocimientos? Lo adivinaste: declaraciones lógicas que se describen en este capítulo.