La lógica de primer orden es un razonamiento simbolizado en el que cada oración o enunciado se divide en un sujeto y un predicado. El predicado modifica o define las propiedades del sujeto. En la lógica de primer orden, un predicado solo puede referirse a un solo sujeto. La lógica de primer orden también se conoce como cálculo predicado de primer orden o cálculo funcional de primer orden.
La lógica de primer orden puede ser útil en la creación de programas informáticos. También es de interés para los investigadores en inteligencia artificial . Existen formas de lógica más poderosas, pero la lógica de primer orden es adecuada para la mayoría de los razonamientos cotidianos. El teorema de incompletitud , probado en 1930, demuestra que la lógica de primer orden es en general indecidible. Eso significa que existen enunciados en esta forma lógica que, bajo ciertas condiciones, no pueden probarse como verdaderos o falsos.
Consulte los enlaces a continuación para una mejor explicación.
- ¿Aproximadamente entre qué años se logrará AI Singularity?
- ¿Cuáles son las perspectivas profesionales de la enseñanza en las próximas dos décadas dado el alto nivel de intervenciones tecnológicas como la inteligencia artificial, etc.?
- ¿Cómo se construye una IA?
- ¿Cómo podría la IA cambiar la sociedad?
- ¿Cuáles son las nuevas tendencias de inteligencia artificial?
https: //www.ismll.uni-hildesheim…
Inteligencia artificial lógica de predicado de primer orden –
¿Qué es la lógica de primer orden? – Definición de WhatIs.com
http://cgi.csc.liv.ac.uk/~frank/…
FOPL
Espero eso ayude.