12 relaciones: Cambridge University Press, Consecuencia lógica, Fórmula bien formada, Inteligencia artificial, Lógica de primer orden, Lógica paraconsistente, Lógica por defecto, Lógica retractable, Proposición, Razonamiento abductivo, Revisión de creencias, Sistema formal.
Cambridge University Press
Cambridge University Press (conocida en inglés coloquialmente como CUP) es una editorial que recibió su Royal Charter de la mano de Enrique VIII en 1534, y es considerada una de las dos editoriales privilegiadas de Inglaterra (la otra es la Oxford University Press).
¡Nuevo!!: Lógica no monotónica y Cambridge University Press · Ver más »
Consecuencia lógica
En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.
¡Nuevo!!: Lógica no monotónica y Consecuencia lógica · Ver más »
Fórmula bien formada
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.
¡Nuevo!!: Lógica no monotónica y Fórmula bien formada · Ver más »
Inteligencia artificial
La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.
¡Nuevo!!: Lógica no monotónica e Inteligencia artificial · Ver más »
Lógica 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.
¡Nuevo!!: Lógica no monotónica y Lógica de primer orden · Ver más »
Lógica paraconsistente
Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada.
¡Nuevo!!: Lógica no monotónica y Lógica paraconsistente · Ver más »
Lógica por defecto
La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto.
¡Nuevo!!: Lógica no monotónica y Lógica por defecto · Ver más »
Lógica retractable
La lógica retractable es una lógica no monotónica propuesta por Donald Nute para formalizar el razonamiento retractable.
¡Nuevo!!: Lógica no monotónica y Lógica retractable · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Lógica no monotónica y Proposición · Ver más »
Razonamiento abductivo
El razonamiento abductivo (del latín abdūctiō y esta palabra de ab, desde lejos, y dūcere, llevar) es un tipo de razonamiento que, a partir de la descripción de un hecho o fenómeno, ofrece o llega a una hipótesis que explica las posibles razones o motivos del hecho mediante las premisas obtenidas.
¡Nuevo!!: Lógica no monotónica y Razonamiento abductivo · Ver más »
Revisión de creencias
Revisión de creencias es el proceso de cambiar un estado de creencias (o estado epistémico) para representar nueva información.
¡Nuevo!!: Lógica no monotónica y Revisión de creencias · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Lógica no monotónica y Sistema formal · Ver más »
Redirecciona aquí:
Logica no monotona, Logica no monotonica, Logica no monotónica, Logica no monótona, Lógica no monótona.