•Base de datos lógicas: Cuando los fundamentos teoricos que usa son de lógico matematica.
•Base de datos expertos o de conocimientos: Incluyen capacidades de razonamiento e inferencia.
Los conocimientos se extraen de expertos en la aplicación, ya qeu principalmente se refieren al dominio de aplicación más que a conocimietnos sobre los datos.
NOTACIÓN PROTOLOG/DAtALOG:
La notación Prolog/datalog se basa en proveer predicados con nombres únicos.
Estos predicados deben tener un significado implícito y un número establecido de argumentos.
Si todos los argumentos son valores fijos, el predicado dice que un hecho es verdadero.
Pero si el predicado tiene variables como argumentos, es considerado una consulta o parte de una regla o restricción.
Todos los valores constantes en un predicado son numéricos o cadenas de caracteres que comienzan con letras minúsculas.
Y los nombres de variables siempre comienzan con una letra mayúscula.
NOTACIÓN DE DATALOG:
Los programas se construyen a partir de objetos básicos llamados fórmulas atómicas.
En Datalog las fórmulas atómicas para definir la sintaxis de los lenguajes son literales de la forma p(a1,a2,...,a3). "p" es el nombre del predicado y "n" es el
número de argumentos del predicado.
Datalog incluye varios predicados integrados que también sirven para construir fórmulas atómicas.
•Predicados de comparación binarios: less, less_or_equal y greater_or_equal. Estos se aplican sobre
dominios ordenados.
•Predicados de comparación: equal, not_equal: Para dominios ordenados o no ordenados.
Una literal es una fórmula atómica, se llama literal positiva.
La literal negativa es una fórmula precedida por not.
Los programas en Datalog son considerados como un subconjunto de las fórmulas del cáluco relacional de dominios.
Pero en Datalog, estas fórmulas primero se convierten en forma clausal antes de expresarse en Datalog.
Notación de Prolog para hecho, reglas y consultas:
El árbol basado en los hechos dados:
FORMA CLAUSAL Y LAS CLÁUSULAS DE HORN:
Una fórmula del cálculo relacional e suna condición que tiene predicados, a los cuales se le llaman átomos.
Una fórmula puede tener cuantificadores: universal y existencial.
Para convertir una fórmula a otra en la forma casual se debe cumplir estas características:
•Todas las variables estpan cuantificadas universalmente. Por ello no es necesario incluir los cuantificadores universales, los cuantificadores
se eliminan y todas las variables de la fórmula quedan cuantificadas implicitamente por el cuantificador universal
•La fórmula se compone de varias claúsulas y cada una de ellas de varias literales conectadas por coentores lógicos OR.
Por ello se dice que toda clapusula es una disyunción de literales.
•Las claúsulas se conectan mendiante conectores lógicos AND. A ello se debe que la forma clausual es una conjunción de claúsulas.
Forma de la claúsula:
not(P1) OR not(P2) OR...OR not(Pn) OR Q1 OR Q2 OR Q3 OR....OR Qm
En esa claúsula hay n literales negativas y m literales positivas.
Si la transformamos en una fórmula lógica seria:
P1 AND P2 AND...AND Pn = Q1 OR Q2 OR...OR Qm
Ambas fórmulas son equivalentes, ya que sus valores de verdad son iguales.
En Datalog, las reglas se expresan como una forma restringida de claúsulas llamadas claúsulas de Horn.
En estas, una claúsula puede contener a lo mucho una literal positiva.
Sus formas son:
•not(P1) OR not(P2) OR...OR not(Pn) OR Q
•not(P1) OR not(P2) OR...OR not(Pn)
Y se tranforma en:
P1 AND P2 AND...AND Pn = Q
En este caso, si P1, P2, y ... Pn son verdaderos, Q también será verdadero, en otras palabras se puede inferir.
Una consula en Datalog tienes dos componentes:
•Programa en Datalgo: Conjutno finito de reglas.
•Literal P(X1,X2,X3...,Xn): Cada X es una variable o constante.
Un sistema de Prolog/Datalog cuenta con una máquina de inferencia interna que sirve para procesar y calcular los resultados de las consultas.
No hay comentarios:
Publicar un comentario