Fuzzy Predicate Logic GEnerealized Resolution Deductive System
A simple tool for editing knowledge bases and performing inference upon them
A simple tool for editing knowledge bases and performing inference upon them
Software Specs
Publisher:............ Hashim Habiballa
License:............... Freeware
File size:.............. 0.95 MB
Downloads:.........
Release date:...... 01 May 2013
Last update:........ 16 Oct 2014
Publisher review for Fuzzy Predicate Logic GEnerealized Resolution Deductive System :
Review by: Hashim Habiballa
Fuzzy Predicate Logic GEnerealized Resolution Deductive System is designed to help you edit knowledge bases formed by Fuzzy Predicate Logic formulas and output the result of their inference with axioms, resolvents and so on.
The application can analyze the input axioms or goals and apply different types of resolution strategies in order to generate the output.
Requirements:
Operating system:
Windows 8, Windows 7, Windows Vista, Windows XP, Windows 2000, Windows 98
Fuzzy Predicate Logic GEnerealized Resolution Deductive System download tags:
knowledge base editor axiom inference prove theorem resolution
Copyright information:
Rate this software
Fuzzy Predicate Logic GEnerealized Resolution Deductive System
Based on 0 ratings. 0 user reviews.
Based on 0 ratings. 0 user reviews.