Logica proposicional

Es una rama de la lógica clásica que estudia las variables proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad. Algunos autores también la identifican con la lógica matemática o la lógica simbolice, ya que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático.

Proposiciones

  • Tautología: se define tautología o validez a aquella formula que siempre es verdadera.
  • Contradicción: es una proposición que siempre es falsa para todos los valores de verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea el resultado de la formula lógica estudiada siempre va a ser falso.


Mas informacion

Comentarios

Publicar un comentario

Entradas más populares de este blog

Ciencias relacionadas con la Inteligencia Artificial

Imagen
Hay varias ciencias relacionadas con la Inteligencia Artificial, en este capitulo se identifican siete ciencias que para su mayor  abordaje se presenta presenta en el siguiente diagrama.  Como lo son Filosofía, Matemáticas, Robótica, Ingeniería computacional, Lingüística, Psicología. En los capítulos próximos se explica cada una de ellas. Mas informacion
Leer más

Listas en Prolog

Imagen
En Prolog la estructura de lista esta predefinida como una estructura recursiva lineal cuyas componentes pueden ser heterogéneas porque en Prolog no existe una comprobación tipos. Básicamente una lista es una estructura con dos argumentos: la cabeza de la lista, que es un componente de la lista, y la cola que es otra lista con el resto de los componentes. Normalmente existen dos notaciones para listas, una notación prefija: .(Cabeza,Cola) y una notación inflija [Cabeza|Cola] mas cómoda de utilizar, y para denotar la lista vacía se utiliza siempre []. Así, la lista (a,b,c,d) se puede escribir en Prolog de cualquiera de las dos formas siguientes:  (a,.(b,.(c,.(d.[])))) [a|[b|[c|[d|[]]]]],  sin embargo, la segunda forma admite simplificaciones que permiten escribir todos los elementos de la lista entre corchetes y separados por comas:  [a,b,c,d],  o escribir varios elementos a la izquierda del símbolo |, también separados por comas, así como cual...
Leer más

Ingenieria de conocimiento

Imagen
La   Ingeniería   del   Conocimiento   tiene que   ver   con   la adquisición, representación, validación, inferenciación, explicación y mantenimiento del conocimiento. La Ingeniería del conocimiento describe el proceso de desarrollo y mantenimiento de Sistemas de Inteligencia Artificial. La  ingeniería  de  Conocimiento  se  asocia  como  rama  de  la  Inteligencia  Artificial (IA), debido a que esta “relacionada con la adquisición, representación y el procesamiento del conocimiento”, estrechamente vinculada con el desarrollo de sistemas de software  en donde el conocimiento y razonamiento tienen un papel fundamental (Sistema Experto -SE). Mas informacion
Leer más