Tesis doctoral de Miguel Angel Gutierrez Naranjo
En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información está expresada en lenguaje clausal. Para ello hemos definido unos operadores adaptados a los distintos órdenes de generalidad. Ha sido necesario compaginar adecuadamente los distintos niveles en los que se produce la generalización: términos, literales, cláusulas y programas. La solución propuesta se apoya en la utilización de conjuntos de posiciones, conjuntos de literales y conjuntos de cláusulas, es decir, los operadores actúan sin necesidad de considerar órdenes sobre los literales de una cláusula o entre las cláusulas de un programa. las principales aportaciones realizadas en esta memoria han sido: 1,- la definición de una nueva familia de operadores, los operadores clausales, con la propiedad de ser operadores universales, esto es, que dadas dos cláusulas cualesquiera c y d podemos alcanzar d desde c mediante la sucesiva aplicación de estos operadores. 2,- la definición de los operadores de aprendizaje para la subsunción (oas). Estos operadores son un subconjunto del conjunto de operadores clausales y su principal propiedad es que representan una caracterización mediante operadores de la relación de subsunción entre cláusulas, esto es, dadas dos cláusulas cualesquiera c y d, se verifica que c subsume a d si y sólo si podemos obtener c a partir de d mediante la aplicación de una cadena de oas. 3,- la definición de una quasi-métrica sobre el conjunto de cláusulas que permite cuantificar la proximidad entre cláusulas basada en la relación de subsunción. 4,- un algoritmo para calcular dicha quasi-métrica. 5,- una fórmula para una rápida estimación de esta quasi-métrica que permite reducir coste computacionales. 6,- la definición de operadores de generalización para el orden de derivación por resolución: los operadores de inversión sesgados (ois). Una apropia
Datos académicos de la tesis doctoral «Operadores de generalización para el aprendizaje clausal«
- Título de la tesis: Operadores de generalización para el aprendizaje clausal
- Autor: Miguel Angel Gutierrez Naranjo
- Universidad: Sevilla
- Fecha de lectura de la tesis: 16/09/2002
Dirección y tribunal
- Director de la tesis
- José Antonio Alonso Jimenez
- Tribunal
- Presidente del tribunal: josé Muñoz pérez
- delia Balbontín noval (vocal)
- Ledesma otamendi Luis de (vocal)
- mario de Jesús Pérez jiménez (vocal)
