Está en la página 1de 1

Alumno

Verdejo Bueno Carlos Adiel

Es un resultado enunciado por Thomas Bayes en 1763 que expresa la probabilidad condicional de un evento aleatorio. El teorema puede servir entonces para indicar cmo debemos modificar nuestras probabilidades subjetivas cuando recibimos informacin adicional de un experimento.

Son instrumentos de representacin del conocimiento sencillos y prcticos, que permiten transmitir con claridad mensajes conceptuales complejos y facilitar tanto el aprendizaje como la enseanza. Su objetivo es representar relaciones entre conceptos en forma de proposiciones. Se estructuran en forma jerrquica en la que los conceptos ms generales estn en la raz del rbol y a medida que vamos descendiendo por el mismo nos vamos encontrando con conceptos ms especficos.

Mapa Conceptuales Teorema De Bayes

Es un caso dentro del razonamiento no montono. Cuando la probabilidad que la verdad de una oracin haya cambiado con respecto a su valor inicial. Las tcnicas de razonamiento no-montono consisten en tcnicas desarrolladas para limitar los fenmenos tenidos en cuenta.

Razonamiento Probabilistico Redes Semnticas

Es una forma de representacin de conocimiento lingstico en la que los conceptos y sus interrelaciones se representan mediante un grafo. Los elementos bsicos que encontramos en todos los esquemas de redes son Estructuras de datos en nodos Un conjunto de procedimientos Redes IS-A

La aplicacin del mtodo deductivo nos lleva a un conocimiento con grado de certeza absoluta, y esta cimentado en proposiciones llamadas SILOGISMOS. Nos permite partir de un conjunto de hiptesis y llegar a una conclusin, pudiendo ser esta inclusive que el conjunto de hiptesis sea invalido. Comenzar con las hiptesis Debe seguir con las tautologas y reglas de inferencias necesarias Llegar a la conclusin Cualquier demostracin, sea de enunciados o matemtica debe

Podemos distinguir tres categoras de redes semnticas

Grficos conceptuales Redes de marcos

La Demostracin y sus Mtodos

Representacin Del Conocimiento


Razonamiento Montono

Un razonamiento se llama montono cuando a lo largo del proceso el conjunto decosas sabidas es siempre creciente. Un proceso frecuente es el razonamiento por defecto: suponer que algo es verdadero (o falso) mientras no haya evidencia de lo contrario.

Para resolver problemas para los que se carece de una teora slida y contrastada, se crean reglas o leyes que permiten realizar un tipo de razonamiento denominado razonamiento por defecto. Las lgicas no montonas tienen en cuenta la necesidad de detectar posibles inconsistencias con los nuevos axiomas. El razonamiento montono, utiliza contradicciones para procesar. Elimina un hecho obteniendo la contradiccin hasta que llega a una conclusin final.

La lgica de predicados est basada en la idea de las sentencias realmente expresan relaciones entre objetos, as como tambin cualidades y atributos de tales objetos. Los predicados tambin pueden ser utilizados para asignar una cualidad abstracta a sus trminos, o para representar acciones o relaciones de accin entre dos objetos. Un importante uso del clculo de predicados es para formalizar la semntica de los lenguajes de programacin y para especificar y verificar programas. El principal problema es que la sintaxis de un lenguaje de programacin es especificado por la gramtica, un conjunto de reglas para construir programas de manera sintctica.

Conocimiento No Montono Y Otras Lgicas

La Lgica de Predicado

Representacin Del Conocimiento.mmap - 19/04/2012 - Mindjet