METODO DEDUCTIVO

El método deductivo es el propio de las ciencias empíricas. Todas ellas trabajan con objetos reales. Se dan ciertas premisas (hipótesis) y se aplican las reglas de procedimiento científico. Estas hipótesis son aceptadas bajo la condición de ser luego comprobadas
Axioma
En lógica y matemática, un axioma o postulado es una fórmula bien formada de un lenguaje formal que se acepta sindemostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente, los axiomas se eligen de entre las demás fórmulas por ser "verdades evidentes" y porque permiten deducir a las demás fórmulas deseadas. Sin embargo, no todos los teóricos están de acuerdo con esta aproximación
Elementos
Lo esencial de la deducción (v.) consiste en asociar a un conjunto de premisas sus conclusiones. Y sonequivalentes, lógicamente, aunque difieran sus' mecanismos concretos, las operaciones deductivas que desde las mismas premisas conducen a las mismas conclusiones. Se presenta, por eso, la deducción como un operador topológico (v. TOPOLOGfA), que articula el universo proposicional. Mas, para que interprete ceñidamente a la deducción lógica, hay que restringirlo, exigiéndole cumpla las leyes más obviasde la deducción.

Un SGBD deductivo es un Sistema que permite derivar nuevas informaciones a partir de las introducidas explícitamente en la Base por el usuario. Este maneja la perspectiva según la teoría de las demostraciones de una base de datos, y en particular es capaz de deducir hechos a partir de la base de datos extensional, es decir, las relaciones base, aplicando a esos hechos axiomasdeductivos o reglas de inferencias especificados. Esta función deductiva se realiza mediante la adecuada explotación de ciertos conocimientos generales relativos a las informaciones de la Base.
Características:
Una Base de Datos Deductiva debe contar al menos con las siguientes características:
Tener la capacidad de expresar consultas por medio de reglas lógicas.
Permitir consultas recursivasy algoritmos eficientes para su evaluación.
Contar con negaciones estratificadas.
Soportar objetos y conjuntos complejos.
Contar con métodos de optimización que garanticen la traducción de especificaciones dentro de planes eficientes de acceso.
Como característica fundamental de una Base de Datos Deductiva es la posibilidad de inferir información a partir de los datos almacenados, esimperativo modelar la base de datos como un conjunto de fórmulas lógicas, las cuales permiten inferir otras fórmulas nuevas.


Deductivo: Esta clase de inferencia en realidad no aporta información
semántica a la BC, por cuanto conduce de una generalización a una
particularización. Por tal razón, con frecuencia se encuentra asociada
a otros paradigmas de aprendizaje. Operadores como el de clonaciónconstituyen una reexpresión de la sentencia deductiva A _ A, una
forma simple de probar algo, pues permite preservar el conocimiento
de una generación a otra. Y, si sólo una parte de la información es
transmitida al hijo, se estaría siguiendo un enfoque descendente en
el que de la generalización del padre se arriba a infomación especí_ca
(parcial) en el hijo. Por otra parte, algunasinvestigaciones recientes
recurren a las facultades deductivas de los AGs con _nes de modelado
de la deducción humana [8,21]. En resumen, la deducción se
expresa [30]:
Si se aceptan p(1) y 8X(p(X) _ q(X)), entonces, por deducción, concluir q(1).


Un sistema formal es un tipo de sistema lógico-deductivo constituido por un lenguaje formal, una gramática formal que restringe cuales son las expresionescorrectamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas. Los sistemas formales también han encontrado aplicación dentro de la informática, la teoría de la información, y la estadística, para proporcionar una definición rigurosa del concepto de demostración. La noción de sistema formal...