计算机人工智能 归结原理 为此逻辑 子句集.rar

【实例简介】
计算机人工智能 归结原理 为此逻辑 子句集 计算机人工智能 归结原理 为此逻辑 子句集 已经调试运行，并附有例子说明。
【实例截图】
【核心代码】
4744302542949970881.rar
└── 谓词逻辑归结原理演示
├── linear_new
│   └── linear
│   ├── Arithmethic.cpp
│   ├── Arithmethic.h
│   ├── Debug
│   │   ├── Arithmethic.obj
│   │   ├── Delete.obj
│   │   ├── DisposeInside.obj
│   │   ├── Linear.exe
│   │   ├── Linear.ilk
│   │   ├── Linear.obj
│   │   ├── Linear.pch
│   │   ├── Linear.pdb
│   │   ├── LinkList.obj
│   │   ├── stdafx.obj
│   │   ├── vc60.idb
│   │   ├── vc60.pdb
│   │   ├── WinMain.obj
│   │   └── Win.obj
│   ├── Delete.cpp
│   ├── Delete.h
│   ├── DisposeInside.cpp
│   ├── DisposeInside.h
│   ├── Linear.cpp
│   ├── Linear.dsp
│   ├── Linear.dsw
│   ├── Linear.h
│   ├── Linear.ncb
│   ├── Linear.opt
│   ├── Linear.plg
│   ├── LinkList.cpp
│   ├── LinkList.h
│   ├── main.cpp
│   ├── resource.h
│   ├── stdafx.cpp
│   ├── stdafx.h
│   ├── Win.cpp
│   ├── Win.h
│   ├── WinMain.cpp
│   └── 说明.txt
├── mgu
│   └── mgu
│   ├── u.cpp
│   └── 说明.txt
└── 子句集的求取
├── 应用程序及其使用说明
│   ├── Result.txt
│   ├── Sentence.txt
│   └── 应用手册.txt
└── 源码
└── ChildSenSet
├── ChildSenSet.dsp
├── ChildSenSet.dsw
├── ChildSenSet.ncb
├── ChildSenSet.opt
├── ChildSenSet.plg
├── Common.h
├── Debug
│   ├── main.obj
│   ├── main.pch
│   ├── vc60.idb
│   └── vc60.pdb
├── main.cpp
├── main.dsp
├── main.dsw
├── main.ncb
├── main.opt
├── main.plg
├── Pred.cpp
├── Pred.h
├── PreFormula.cpp
├── PreFormula.h
├── Result.txt
└── Sentence.txt

11 directories, 64 files