Logica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo constantes o variables de individuo.

Predicado.

Un predicado es una expresión lingüística que se puede conectar con una o varias otras expresiones para formar una oración.

Constante de individuo.

Una constante de individuo es una expresión lingüística que refiere a una entidad.

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