martes, 28 de agosto de 2012

[VERIFICACIÓN Y VALIDACIÓN] Lógica proposicional

Para la tarea de esta semana se encargó buscar ejemplos de las aplicaciones de la lógica proposicional en la vida real.

En si, la lógica proposicional estudia las proposiciones o sentencias lógicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad.

Se define una proposición como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez.

Sintaxis
  • Constantes lógicas verdadero (V) o falso (F).
  • Variables P, Q y R.
  • Conectivos lógicos: negación (¬), conjunción (^), disyunción (v), implicación (-->), implicación doble (<-->), etc.
  • Símbolos de puntuación: paréntesis ( ), corchetes [ ] y llaves { }.
Tabla de verdad de algunos conectivos lógicos:
Aplicaciones

En matemáticas:
  • Fundamenta las matemáticas.
  • Rama de las matemáticas.
  • Mecanización del razonamiento matemático.
En informática:
  • Base de partes de la informática con mayor futuro:
    • I.A., Sistemas expertos, 
    • Programación Lógica.
  • Primer ejemplo de construcción de un lenguaje formal o artificial.
  • Paradigma de programación.
  • Otras aplicaciones:
    • Especificación y verificación de programas.
    • Deducción automática.
    • Diseño de circuitos electrónicos.
En I.A.

Una visión muy frecuente entre los investigadores de la Inteligencia Artificial es que para que un sistema sea "inteligente", debe contener un componente que se puede entender como lingüístico tal que:
  • Contiene el conocimiento del sistema, y
  • Conduce el comportamiento inteligente del sistema
Un Agente Basado en Conocimiento (ABC) es aquel sistema que posee conocimiento de su mundo y que es capaz de razonar sobre las posibles acciones que puede tomar para cambiar el estado de su mundo. Mediante sentencias lógicas se logra el razoamiento en conjunto con su conocimiento para dar respuestas lógicas, o bien realizar cambios esperados en algún sistema.

Una lógica es un sistema formal para describir lo que esta sucediendo en un momento determinado y que consta de:

Sintaxis : Reglas que explican cómo construir oraciones o sentencias legales
Semántica : Cómo las oraciones representan hechos en el mundo.

La semántica estudia el significado de los signos lingüísticos, esto es, palabras, expresiones y oraciones. Qué signos existen y cuáles son los que poseen significación esto es, qué significan para los hablantes, cómo los designan, y por último, cómo los interpretan los oyentes.

Teoría : Reglas para inferir oraciones desde otras oraciones

Si la semántica y la sintaxis están definidas de manera precisa, se dice que el lenguaje es una lógica.

En Sistemas Expertos

Los sistemas expertos son programas que reproducen el proceso intelectual de un experto humano en un campo particular, Estos sistemas permiten la creación de máquinas que razonan como el hombre, restringiéndose a un espacio de conocimientos limitado.

Estos sistemas se diferencian de las IA's en que se especializan en un campo muy específico, por lo tanto es eficiente para lo que se diseña, es rápido y puede trabajar en ambientes peligrosos.

Un Sistema Experto está conformado por:
  • Base de conocimientos (BC): Contiene conocimiento modelado extraído del diálogo con un experto.
  • Base de hechos (Memoria de trabajo): contiene los hechos sobre un problema que se ha descubierto durante el análisis.
  • Motor de inferencia: Modela el proceso de razonamiento humano.
  • Módulos de justificación: Explica el razonamiento utilizado por el sistema para llegar a una determinada conclusión.
  • Interfaz de usuario: es la interacción entre el SE y el usuario, y se realiza mediante el lenguaje natural.
Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea.

Mediante la lógica proposicional evalúa sentencias simples, que en conjunto se convierten en unas más complejas, con esta serie de sentencias el sistema es capaz de interactuar con su entorno para adquirir conocimiento o dar la respuesta requerida. A pesar de lo anterior, los sistemas expertos no tienen sentido común desarrollado, osea que no diferencian entre lo que es lógico o ilógico en la mayoría de los casos, a menos que se defina una sentencia para cada caso.



Fuentes

1 comentario:

  1. Me hubiera gustado tener más profundidad en lo de las aplicaciones y también menciones de productos concretos que ocupan esas técnicas. Van 8 pts.

    ResponderEliminar