Artificial intelligence algorithm Wang Hao
2016-08-23
4 0 0
4.0
Other
Earn points
Algorithm for propositional logic Wang Hao, integrity can be directly run. For a given formula (p<->q)-> (p->q) function to simplify be translated into only!,->. Function rule1, rule2, rule3,rule4, Wang Hao four rule algorithm, respectively, by continually calling these four functions, until the original formula as
Made up of Atomic formulas, according to Wang Hao axiom algorithms check if the formula is true for.
Made up of Atomic formulas, according to Wang Hao axiom algorithms check if the formula is true for.
c
算法
人工智能
Related Source Codes
PClite
0
0
no vote
generic embeded FTP Client
0
0
no vote
UDP Test Demo
0
0
no vote
TMS320F28335 DSP transmits data to EEPROM through
0
0
no vote
TMS320F28335 CAN communication source code
0
0
no vote
No comment