人工智能谓词逻辑归结问题的推理系统_python谓词逻辑归结推理-C/C++代码类资源-CSDN文库

相关文章推荐

奔放的熊猫 · 大神家的面瘫攻txt海娃小说网无弹窗_【十一 ...· 11 月前 ·

捣蛋的上铺 · 2023广佛环线城际铁路最新进展（持续更新） ...· 1 年前 ·

腼腆的炒粉 · 關於中興電工 ∣ 中興電工· 1 年前 ·

想表白的水煮鱼 · 提示和技巧 | WebView | ...· 1 年前 ·

高大的荔枝 · 接力篇：UIWindow！ | ...· 1 年前 ·

GAOSHUANGYIN

人工智能谓词逻辑归结问题的推理系统是很好的学习资料，可以帮助广大学子进一步学习人工智能的相关知识。

研究生人工智能谓词逻辑归结原理推理.rar

（59个子文件）

研究生人工智能谓词逻辑归结原理推理.rar

谓词逻辑归结原理演示

mgu

子句集的求取

源码

ChildSenSet

ChildSenSet.dsp 5KB

main.ncb 33KB

Debug

vc60.pdb 132KB

main.pch 2.42MB

vc60.idb 81KB

main.obj 232KB

Pred.h 279B

PreFormula.cpp 27KB

main.opt 48KB

ChildSenSet.ncb 73KB

main.cpp 1KB

main.dsw 533B

Common.h 180B

main.dsp 3KB

ChildSenSet.plg 943B

Pred.cpp 841B

ChildSenSet.dsw 545B

Sentence.txt 139B

main.plg 3KB

ChildSenSet.opt 56KB

PreFormula.h 1KB

Result.txt 2KB

linear_new

linear

resource.h 456B

DisposeInside.cpp 3KB

Linear.h 568B

Debug

vc60.pdb 92KB

Delete.obj 20KB

Linear.pdb 441KB

vc60.idb 193KB

WinMain.obj 18KB

Linear.pch 3.73MB

Arithmethic.obj 41KB

Linear.obj 42KB

Linear.exe 212KB

Linear.ilk 266KB

stdafx.obj 11KB

Win.obj 35KB

LinkList.obj 11KB

DisposeInside.obj 24KB

Linear.dsw 537B

Linear.plg 908B

Linear.opt 56KB

stdafx.h 837B

LinkList.h 492B

WinMain.cpp 1KB

说明.txt 386B

Linear.dsp 5KB

main.cpp 1KB

DisposeInside.h 427B

stdafx.cpp 19B

Arithmethic.cpp 15KB

Arithmethic.h 868B

Delete.cpp 3KB

Linear.cpp 12KB

Linear.ncb 249KB

Win.h 2KB

Win.cpp 8KB

Delete.h 313B

LinkList.cpp 21B

(0)输入规则： 1 , 变元：以x，y，z，u，v开头的以任意位数数字结尾的字符串。 2，常元：以a，b，c，d ,e开头的以任意位数数字结尾的字符串。 3，函数：仅限于 f，g，h几个输入字符。 4 , 谓词: 所有的大写的字符，都可以表示为谓词。 (1)本程序中所有的析取符号都用&来代替，所以在输入的时候要注意。（2）所有的输入必须遵循下面的格式： {~P(x)&~Q(y)&~L(x,y),P(a),~R(z)&L(a,z),R(b),Q(b)}

谓词逻辑归结