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

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • 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