Knowledge of Artificial Intelligence

Thursday, August 31, 2006
Introduction:
In the early 1970s, the Frenchman Alain Colmerauer developed the PROLOG language, which also allows the development of applications in a declarative form.
In general, PROLOG is an automatic problem solver, which uses a Knowledge Base in the form of deductive inference rules (Horn clauses), that is, its rules have as a consequent a single action, and the inferences obtained are strictly logical (true or false), although it may seem like a limitation, this is not entirely fair, since PROLOG allows programming inferential mechanisms with probabilistic logic, since it involves searches in trees with accumulation of evidence.
El PROLOG como lenguaje surgido del cálculo de predicados, tomó las siguientes ideas de la lógica para su ejecución.
1) Un conjunto de axiomas hechos.
2) Reglas de inferencias las cuales se resuelven por resolución y unificación.
3) El objetivo a demostrar, que serán las condiciones a unificar con las reglas.
También tomó del LISP el tratamiento de las listas para la repre­sentación de estructuras complejas.Aunque el PROLOG tuvo su ori­gen en la lógica matemática no fue una transposición exacta, y esta ligada a las discusiones que sostienen desde hace años los principales investigadores de la Inteligencia Artificial, los cuales están divididos en dos grandes grupos, de una parte Minsky quien propone estudiar los mecanismos del pensamiento humano y luego simularlo en la computadora.
Lo más importante para Minsky son los conceptos, sea la inter­pretación que se le puede dar a cada palabra en dependencia de un contexto dado.
El otro grupo encabezado por Mac Carthy (autor del LISP), afirma que la lógica matemática es el elemento característico para la representación del razonamiento y su implantación en la computadora, este grupo centra su atención en la formalización y en la estructura de los conocimientos más que en el sentido de los mismos.
La lógica desde la antigüedad se concibió como el método de descubrir las leyes del pensamiento, but these laws have always been restricted to scientific thought and especially to mathematics, leaving common sense out. This deficiency is admitted by proponents of logic, but they consider that logic is the only possible path to develop programs capable of showing intelligence.
Declarative programming
In declarative programming the main thing is not the instructions given sequentially (prescriptive programming), instead, the programmer is dedicated to describing the problem through rules and facts that operate independently and it is through a mechanism of inference that the rules are executed.
In declarative programming the rules (knowledge base) It is separated from the management program (Inference machine).
Example of declarative programming:
If Premises then Conclusion
If P then C
Where:P and C instructions we would be in the presence of a procedural representation.
P and C facts assertions we would be in the presence of a declarative representation.
Example of procedural representation
If A1 = B1 and A2 > B2 then X := A1 + A2
Where A1 = B1 and A2 > B2 are comparisons that will take the value 'true' 'false'.
So we would have:
If P1 and P2 then C
Where P1 and P2 would be logical variables (They would give true false)
Example of declarative representation
This in any language would be done as follows:
X := Juan is a student
Y := Juan tiene 7 años”
if X = Juan es un estudiante” and Y = Juan tiene 7 años”
then Z := Juan esta en la primaria”
Veamos ahora la forma de formalizar los hechos aserciones
Example: Juan tiene 10 años de edad
1) technological religion
age(Juan, 10)
Ejemplo1: El león es un mamífero
es-un(leon, mamifero)
1)
2) gusta(maria, cine)
Veamos ahora algunos ejemplos donde se combinan los hechos en formas de reglas cláusulas:
you
and
So
1) you
2) vive(tiburon, en-agua) si vive(pez, en-agua) y es-un(pez, tiburon)
Observen que en prolog la conclusión se pone delante de las premisas
Representación en forma de reglas:
si Premisas entonces Conclusión
you
So
Donde la conclusión puede estar compuesta por varios hechos aserciones.
Representación en prolog:
Conclusión si Premisas
you
Donde la conclusión estará dada por un solo hecho aserción.
Ejercicio 1:
1. A María le gusta el tenis.
2. A Tomas le gusta el béisbol.
three. A José le gustan los deportes que le gustan a Tomas.
1.
2.
S
Ejercicio 2:
you
and
Posted by