La lógica proposicional es una rama de la lógica que permite representar hechos y/o expresiones del mundo real en un lenguaje representativo del conocimiento mediante propiedades elementales para estudiar a través de proposiciones o sentencias lógicas sus posibles evaluaciones de verdad y en el caso ideal su nivel absoluto de verdad

La lógica proposicional toma un rol muy importante en el desarrollo de la inteligencia artificial.

Una visión muy frecuente (Aunque es controversial) entre los investigadores de la Inteligencia Artificial es que para que un sistema sea "artificial inteligente," debe contener un Componente que se puede entender como lingüístico (es decir, que puede ser expresado en algún lenguaje)
tales que:
- Este componente contiene el conocimiento del sistema, y
- Este componente conduce el comportamiento inteligente del sistema

• Un Agente Basado en Conocimiento (ABC) es aquel sistema que posee conocimiento de su mundo y que es capaz de razonar sobre las posibles acciones que puede tomar para cambiar el estado de su mundo.
• El ABC es un conjunto de sentencias, representado mediante un lenguaje de representación de conocimiento.

EL ABC consiste principalmente en:

• Es un sistema de oraciones que representan hechos acerca del mundo, expresado en un algún lenguaje de representación del conocimiento.
• Cada hecho está representado por una sentencia u oración
• Siempre que se ejecuta el programa del agente basado en el conocimiento, sucede dos cosas:
• El programa informa a la Base de Conocimiento lo que percibe.
• El programa pregunta a la Base de Conocimiento qué hacer, luego graba la respuesta.
• La pregunta se responde mediante el razonamiento lógico.

• Deduce nuevas oraciones o sentencias a partir de las oraciones almacenadas en la base de conocimiento y de las nuevas percepciones

2.3 LENGUAJE DE LA REPRESENTACIÓN DEL CONOCIMIENTO
Virtualmente todos los lenguajes de representación del conocimiento se basan, de cierta manera, en lógica formal (lógica proposicional, lógica del predicado, lógica temporal)

Una lógica es un sistema formal para describir lo que esta sucediendo en un momento determinado y que consta de:

Sintaxis : Reglas que explican cómo construir oraciones o sentencias legales
Semántica : Cómo las oraciones representan hechos en el mundo.

La semántica estudia el significado de los signos lingüísticos, esto es, palabras, expresiones y oraciones. Qué signos existen y cuáles son los que poseen significación esto es, qué significan para los hablantes, cómo los designan (es decir, de qué forma se refieren a ideas y cosas), y por último, cómo los interpretan los oyentes.

- Teoría : Reglas para inferir oraciones desde otras oraciones

Si la semántica y la sintaxis están definidas de manera precisa, se dice que el lenguaje es una lógica.