Probador de teoremas lógicos
Se ha sugerido que este artículo o sección sea fusionado en Demostración interactiva de teoremas y Demostración automática de teoremas. Motivo: los argumentos están expuestos en la página de discusión.Una vez que hayas realizado la fusión de contenidos, pide la fusión de historiales aquí.Este aviso fue puesto el 3 de noviembre de 2022.
Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas.[1] Ejemplos: Prolog y el lenguaje Lisp creado por John McCarthy del MIT en 1958.[2]
Referencias
[editar]- ↑ 2c0bi (20 de octubre de 2019). «2 del mejor software de razonamiento automatizado para una lógica simplificada». Mundowin. Consultado el 2 de noviembre de 2022.
- ↑ Teigens, Vasil; Skalfist, Peter; Mikelsten, Daniel. Inteligencia artificial: la cuarta revolución industrial. Cambridge Stanford Books. Consultado el 3 de noviembre de 2022.
| Control de autoridades |
|
|---|
Datos: Q6086968
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
