Este documento presenta una tesis sobre la verificación y validación de sistemas de supervisión de programas basados en el conocimiento. Los sistemas de supervisión de programas requieren grandes cantidades de conocimiento sobre el uso de programas. La tesis propone modelar este conocimiento y utilizar la información del modelo para verificar y validar los sistemas de supervisión a través de herramientas de verificación de bases de conocimiento y técnicas de verificación de programas.
1. UNIVERSIDAD NACIONAL FEDERICO VILLARREAL
ESCUELA UNIVERSITARIA DE POST GRADO
MAESTRIA EN SALUD PUBLICA CON
MENCION EN GESTION HOSPITALARIA
“EL CONOCIMIENTO”
CURSO : ENFOQUE INTEGRAL DE
ADMINISTRACION
2. Capacidad
para convertir
datos e información
EL
CONOCIMIENTO
ACCIONES
EFECTIVAS
3. Implica un proceso
intelectual de
enseñanza y aprendizaje.
Carece de valor
Genera valor
si es transmitido o EL si permanece estático.
transformado C ONOC I M I E NT O
Se define a través
de la epistemología
4. Conjunto de datos acerca
de un suceso, hecho,
fenómeno o situación
Organizado en un
Tiene su LA Contexto determinado
significado
I NF OR M A C I ON
Propósito:
Reducir la Incertidumbre
o incrementar el conocimiento
6. Posiciones que niegan la posibilidad
de conocer
Agnosticismo : postura radical
que afirma que es imposible
conocer. Gorgias de Lentini
(484-374 A.C.): “nada existe y
si algo existe no es
cognoscible por el hombre”.
Caen en contradicción lógica.
7. Posiciones que niegan la posibilidad de
conocer
Escepticismo : postura
moderada que afirma no saber
si es posible o no conocer;
creen que existe duda
razonable sobre la posibilidad
de conocer, pero no lo niegan
radicalmente, por tanto, no
caen en contradicción.
8. Posiciones que aceptan la posibilidad
de conocer
Dogmático-absolutista :
reconoce la posibilidad de
conocimiento, existe una
verdad absoluta que es
independiente de los seres
humanos, del tiempo y del
espacio. Ante esta verdad, el
humano puede asumir tres
posiciones: ignorancia,
búsqueda o sabiduría.
9. Posiciones que aceptan la posibilidad de
conocer
Científico-relativista :
reconoce la posibilidad de
conocimiento, pero
rechaza que el
conocimiento sea absoluto.
El conocimiento es
producto de la experiencia
y esta es relativa. No hay
verdades absolutas.
10. ¿CUAL ES EL OBJETIVO DEL
CONOCIMIENTO?
EL OBJETIVO DEL CONOCIMIENTO CIENTIFICO
ES ENRRIQUECER Y/O AMPLIAR EL CUERPO
DE CONOCIMIENTOS DE LAS DIVERSAS
CIENCIAS, BUSCANDO INFLUIR EN
DIFERENTES ASPECTOS DE LA CALIDAD DE
VIDA, HACIENDO HINCAPIE EN COMO ACCEDE
LA HUMANIDAD A LOS NUEVOS
CONOCIMIENTOS, LA IMPORTANCIA DEL
DESARROLLO CIENTIFICO, LA CUESTION ETICA
11. DE LA IMPLEMENTACION DE LOS NUEVOS
DESCUBRIMIENTOS Y EL PAPEL QUE CUMPLE
LA SOCIEDAD Y CADA INDIVIDUO EN TODO
ESTO.
ESTO EN EL TRABAJO Y EN EL HOGAR. LAS
NUEVAS TECNOLOGIAS HAN DOTADO A LA
HUMANIDAD DE CONDICIONES DE
PRODUCCION Y VIDA MENOS CRUENTAS Y
APORTARON EL CONOCIMIENTO
NECESARIO PARA HACER
12. MAS EFECTIVOS LOS SISTEMAS DE SALUD.
EN DEFINITIVA, PODEMOS AFIRMAR QUE
TODOS LOS ASPECTOS DE LA VIDA
(industrial, agrícola, medica y sobre todo militar)
NECESITAN CADA VEZ MAS DE UNA
CIENCIA ORGANIZADA PARA SUS
OPERACIONES DIARIAS, SIENDO
ENTERAMENTE DEPENDIENTES DE ELLA
PARA SU PROGRESIVO DESARROLLO.
13. Sin lugar a dudas el conocimiento científico es
un recurso para resolver con tiempo y
perseverancia, problemas que afecten a la vida
humana. Pero es necesario analizar las causas
por las cuales los desarrollos científicos no son
utilizados por todas las personas en igual
medida.
Lamentablemente, la globalización ha
enriquecido a unos pocos y dejado de lado a
unos cuantos. Y son esos pocos quienes tienen
el capital para realizar investigaciones y el
poder de adquisición de las nuevas tecnologías.
14. Como nosotros nacimos en una sociedad dividida en
clases, nos cuesta mucho poder darnos cuenta lo q
esto implica para la ciencia ; esta división de clases ha
tenido gran influencia en el ámbito científico desde sus
comienzos tanto material como ideológicamente y a
afectado su estructura , desarrollo y aplicaciones.
La escala ética es subjetiva y no depende solo de los
científicos la aplicación de sus descubrimientos . Esto
nos demuestra el papel fundamental que cumple la
sociedad en la aplicación de los conocimientos.
científicos. por ej. podemos citar la influencia del poder
político en las tomas de decicisiones de todo tipo en un
país.
15. Es necesario reconocer también que muchos
descubrimientos fueron usados en contra de la
vida humana, causando grandes perjuicios.
Pero no debemos dejar que se comiencen a
considerar q estos hechos son inevitables.
16. ¿COMO PODEMOS VERIFICAR EL
CONOCIMIENTO?
UNA DE LAS CARACTERISTICAS DEL
CONOCIMIENTO CIENTIFICO ES SU
VERIFICABILIDAD.
SIEMPRE ES SUSCEPTIBLE DE SER
CONFIRMADO O DISCONFIRMADO.
LA VERIFICABILIDAD HACE A LA ESENCIA DEL
CONOCIMIENTO CIENTIFICO; SI ASI NO FUERA NO
PODRIA DECIRSE QUE LOS CIENTIFICOS PROCURAN
ALCANZAR CONOCIMIENTO OBJETIVO.
17. Un dato será considerado verdadero hasta cierto
punto, siempre que pueda ser confirmado de
manera compatible con los cánones del método
científico.
Para verificar un enunciado no basta la
contemplación y ni siquiera el análisis.
La verificación de enunciados formales solo
incluye operaciones racionales, en tanto que las
proposiciones que comunican información acerca
de la naturaleza o de la sociedad han de ponerse
a prueba por ciertos procedimientos empíricos,
como el recuento o la medición..
18. En efecto, la verificación de afirmaciones
pertenecientes al dominio de las formas (lógico
y matemática) no requiere otro instrumento
material que el cerebro.
La Verdad fáctica como en el caso de – “la
tierra es redonda” – requiere de la observación y
el experimento.
19. VERIFICACIÓN.
Conocimiento fáctico Conocimiento formal
las proposiciones que La verificación de
comunican información enunciados formales tal
acerca de la naturaleza o de
como (2+3=5), solo
la sociedad han de ponerse
a prueba por ciertos requieren de operaciones
modelos empíricos como el racionales.
recuento o la medición; es
decir requiere de la
observación y la
experiencia.
21. CONOCIMIENTO VULGAR
LLAMADO CONOCIMIENTO INGENUO, DIRECTO;
ES EL MODO DE CONOCER, DE FORMA
SUPERFICIAL O APARENTE.ES AQUEL QUE EL
HOMBRE APRENDE DEL MEDIO DONDE SE
DESENVUELVE; SE TRANSMITEN DE
GENERACIÒN EN GENERACIÒN.
23. CONOCIMIENTO CIENTÌFICO
LLAMADO CONOCIMIENTO CRÍTICO, NO GUARDA
UNA DIFERENCIA TAJANTE, ABSOLUTA CON EL
CONOCIMIENTO DE LA VIDA COTIDIANA Y SU
OBJETO PUEDE SER EL MISMO.
ES AQUEL QUE SE OBTIENE MEDIANTE
PROCEDIMIENTOS CON PRETENSIÒN DE VALIDEZ;
UTILIZANDO LA REFLEXIÒN; LOS
RAZONAMIENTOS LÒGICOS Y RESPONDIENDO
UNA BUSQUEDA INTENCIONAL POR LA QUE SE
DELIMITA A LOS OBJETOS Y SE PREVIENEN LOS
MÈTODOS DE INDAGACIÒN.
24. CARACTERÌSTICAS DEL C .C.
RACIONAL, FÀCTICO,
OBJETIVO, METÒDICO, AUTO-
CORRECTIVO O PROGRESIVO,
GENERAL,
SISTEMÁTICO, ACUMULATIVO.
25. DIFERENCIA ENTRE C. V. Y C. C
Conocimiento Vulgar Conocimiento Científico.
Este se adquiere por medio del azar. Este se adquiere mediante la razón.
No es verificable ni subjetivo. Es verificable, puede estar basado
en la experiencia, pero se puede
Esta sujeto a nuestra experiencia y
modo de sentir. demostrar
Es dogmático porque se apoya en Es sistemático, se adquiere
creencias y respuestas no mediante el conocimiento
verificables.
acumulativo, porque sirve de base
para otros entendimientos.
Es inexacto, sin definiciones son Es sistemático, porque se adquiere
pocos precisos. con procedimientos
Es subjetivo. Es objetivo.
Es vago sin definiciones
26. TESIS SOBRE LA VERIFICACIÒN DEL
CONOCIMIENTO
Verificación y Validación de Sistemas de Supervisión de
Programas Basados en el Conocimiento.
CONTENIDO
1.-INTRODUCCIÒN
2.-VERIFICACIÒN Y VALIDACIÒN DE SISTEMAS DE
SUPERSIÒN DE PROGRAMAS BASADOS EN EL
CONOCIMIENTO.
3.-DISCUSIÒN.
4.-CONCLUSÌONES.
27. RESUMEN DE TESIS
Los sistemas de supervisión de programas necesitan una gran
cantidad de conocimiento sobre la utilización de los programas,
incluyendo las situaciones en que pueden ser aplicados, las
combinaciones de programas habitualmente utilizadas, etc.
Los sistemas de supervisión de programas incorporan esta
experiencia en una arquitectura basada en el conocimiento.
Sus características distintivas son la variedad de conocimiento
que emplean y su representación, la cual normalmente incluye
objetos estructurados y reglas de producción.
A pesar de su importancia creciente, poca investigación se ha
dedicado a la verificación y validación de sistemas con las
características anteriores.
28. RESUMEN DE TESIS
En esta tesis acometemos la verificación y validación de
sistemas de supervisión de programas a partir de un modelado
del conocimiento, explotando la información sobre el
conocimiento que requieren, su organización y la manera precisa
en que utilizan este conocimiento durante el razonamiento.
En esta tesis presentamos las herramientas de verificación de
bases de conocimiento desarrolladas de acuerdo con este
enfoque, así como algunos experimentos en la aplicación de
técnicas de verificación de programas a motores de supervisión
de programas con el fin de identificar las propiedades que nos
interesan.