Inteligencia Artificial

TERCER PARCIAL INTELIGENCIA ARTIFICIAL LOGICA PROPOSICIONAL & PROLOG Dos de los objetivos de la logica proposicional:  ◮ Poder modelar el proceso de razonamiento.  ◮ Poder formalizar la nocio´n de demostracion. ¿Podemos expresar el siguiente argumento en lo´gica proposicional? Todos los hombres son mortales.  Socrates es hombre.  Por lo tanto, Socrates es mortal. Elementos de Prolog 1. Hechos  2. Consultas  3. Variables  4. Conjunciones  5. Reglas Listas de prolog ESTRUCTURA BÁSICA ·          En prolog, una lista es una representación de un conjunto de elementos. [manzana, pera, banana] lista vacia: [ ] ·          Se pueden utilizar cómo elementos de la lista cualquier tipo de dato de prolog, incluyendo listas: [[a,b,c],[d, e, f]] ·          También est...