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.
1.2 HIPÓTESIS DE LA
REPRESENTACIÓN DEL CONOCIMIENTO
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
II AGENTES BASADOS EN
EL CONOCIMIENTO
- 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:
2.1 Base del conocimiento:
- 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.
- El programa informa a la Base de Conocimiento lo
2.2 Motor de
inferencia
- Deduce nuevas oraciones o sentencias a partir de las
oraciones almacenadas en la base de conocimiento y de las
nuevas percepciones
Adición de nuevo conocimiento.
En la fig. 1 tenemos un esquema que representa el
ABC.
Fig. 1 Esquema de representación
del conocimiento
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)
2.4 LÓGICA
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.
Página siguiente  |