Sistemas Expertos y Lógica en Inteligencia Artificial
Clasificado en Psicología y Sociología
Escrito el en
español con un tamaño de 2,66 KB
Sistemas Expertos y Lógica en IA
Lógica y Representación del Conocimiento
La lógica, a través de deducciones a partir de sentencias, es fundamental en la IA. Los átomos o literales (V para verdadero, F para falso) y las cadenas que comienzan por mayúscula (P, Q, R…) forman la base de las fórmulas bien formadas (fbfs).
Las reglas de inferencia se combinan en la regla de la resolución, aplicada a fbfs especiales llamadas cláusulas. Una cláusula es una disyunción o conjunto de literales. La cláusula vacía {} (Nil) equivale a falso. Cualquier fbf se puede convertir a una conjunción de cláusulas.
El cálculo proposicional, derivado del álgebra booleana, permite representar restricciones y realizar inferencias. Una cláusula, como... Continuar leyendo "Sistemas Expertos y Lógica en Inteligencia Artificial" »