- Category:
- AI-NN-PR
- Tags:
-
[C/C++]
[源码]
- File Size:
- 509.63kb
- Update:
- 2008-10-13
- Downloads:
- 0 Times
- Uploaded by:
Description: based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve the propositional logic of automatic reasoning. Put the problem to be solved as a proposition to prove, with the goal being negated formula and shape into a phrase and then added to the Proposition formula to concentrate, digestion system for joint inversion sets and derived an empty phrase (NIL), resulting in a contradiction.
File list (Check if you may need any files):