| Sistema de deducción de resolución de lógica de predicado difuso Una herramienta simple para editar bases de conocimiento y realizar inferencia sobre ellos |
Descargar ahora |
Sistema de deducción de resolución de lógica de predicado difuso Clasificación y resumen
- Nombre del editor:
- Hashim Habiballa
- Sistemas operativos:
- April 30th, 2013, 22:18 UTC
- Tamaño del archivo:
- 973 KB
Sistema de deducción de resolución de lógica de predicado difuso Etiquetas
Sistema de deducción de resolución de lógica de predicado difuso Descripción
El sistema de deductivo de resolución de la lógica de predicado difuso, está diseñado para ayudarlo a editar bases de conocimiento formadas por fórmulas lógicas de predicado difuso y salgan el resultado de su inferencia con axiomas, resoluciones, etc. La aplicación puede analizar los axiomas de entrada u objetivos y aplicar diferentes tipos de estrategias de resolución para generar la salida.
Sistema de deducción de resolución de lógica de predicado difuso Software relacionado