Jojojojojojojojojojojo

Solo disponible en BuenasTareas
  • Páginas : 14 (3324 palabras )
  • Descarga(s) : 0
  • Publicado : 8 de diciembre de 2010
Leer documento completo
Vista previa del texto
Capítulo 2. Fundamentos

Capítulo 2. Fundamentos
índice figuras glosario 1 2 3 4 5 6 7 referencias

La programaciólógica han sido utilizada tradicionalmente para obtener técnicas para el razonamiento y la representación del conocimiento. Existen muchos sistemas de razonamiento, los cuales son utilizados para inferir conclusiones a partir de información inicial. Los sistemas de razonamientoclásico más utilizados son la lógica proposicional, lógica de primer orden y deducción lógica (los cuales veremos en la próxima sección), son útiles para resolver problemas en una amplia variedad de dominios. Desafortunadamente, en muchos otros dominios interesantes, la lógica clásica no proporciona una buena forma de representar y formalizar conocimiento con sentido común. La investigación enrazonamiento no−monótono tiene sus inicios a finales de los setenta. Una de las mayores motivaciones para este razonamiento, fue debido a la existencia de eventos y acciones que comúnmente suceden en nuestro mundo real. Además, un gran número de diferentes lógicas no−monótonas, que fueron propuestas, tuvieron muchos resultados que clarificaron esta relación cercana, así como también los diferentesaspectos de dichas lógicas. Una de las primeras definiciones de lógica no monótona es: "Si no existe evidencia de su veracidad, supone que es falso"[7]. Existe un fuerte acuerdo en este campo en este momento, después de 20 años, se dice que la fase conceptual "ha finalizado" y existe suficiente conocimiento disponible para iniciar implementaciones de sistemas de razonamiento no−monótono yaplicándolo a su vez a problemas no triviales. Recientemente se ha popularizado y ha cobrado importancia las semánticas bien fundamentadas ( WFS )[11,16], donde los trabajos de Brass y Dix[8] y de Warren[33], dan algoritmos eficientes de WFS de orden, O ( n 2 ), lo cual represento un buen punto de inicio para nuestro trabajo. Además, se vieron las semánticas CWFS [29] y STABLE [6], que fueron importantespara la obtención del algoritmo final. No es de sorprendernos que las próximas generaciones de sistemas de Bases de Datos deductivas se apoyará en toda clase de programas lógicos normales y que las semánticas bien fundamentadas sean elegidas como alternativa por todos los diseñadores de sistemas, por ser modelo único[9], ejemplos de lo dicho anterior, lo podemos ver en [35,36]. 2.1 RazonamientoMonótono 2.2 Razonamiento No−Monótono 2.3 Semántica Declarativa de Pro−Gramas Lógicos Normales

1

Capítulo 2. Fundamentos

2.1 Razonamiento Monótono
Lo que respecta a razonamiento monótono daremos una introducción, de las más importantes de la lógica clásica: lógica proposicional, Deducción lógica y lógica de primer orden, las cuales se pueden ver de manera más detallada en [4,24].2.1.1 Lenguaje de la lógica proposicional Variables proposicionales: p , q , r ,.. Operaciones proposicionales : (implicación), bicondicional. Signos auxiliares: [,]. Definición de fórmulas: 1. Toda variable proposicional es una fórmula. 2. Si A es una fórmula, entonces A es una fórmula. 3. Si A y B son fórmulas, entonces [A B], [A B], [A B], [A B] son fórmulas. Interpretación de fórmulas: Lasvariables proposicionales toman los valores de verdad:1 (verdadero) 0 (falso). Definición de las operaciones proposicionales: . (negación), (disyunción), (conjunción),

Una interpretación de una fórmula A es una función que asigna un valor de verdad a cada una de las variables proposicionales que ocurren en A . Si A tiene n variables proposicionales distintas, entonces A tiene 2 n interpretaciones.Una interpretación de una fórmula A determina un valor de verdad para A . El método de las tablas de verdad, como muestra el siguiente ejemplo, sirve para calcular los valores de una fórmula correspondientes a sus diversas interpretaciones.

2.1

2

Capítulo 2. Fundamentos .

Una fórmula A de la lógica proposicional es: ♦ Satisfacible, si es verdadera por alguna interpretación. ♦ una...
tracking img