said that the use of space rcc8 model spatial reasoning, problem solving csp. cs...
- 资源大小：38.96 kB
- 上传时间：2021-06-30
- 下载次数：0次
- 浏览次数：1次
- 资源积分：1积分
-
标 签：
AI-NN-PR
others
资 源 简 介
利用空间表示的rcc8模型进行空间推理，
解决csp问题，可以自动产生csp问题，然后解决，利用了不同的算法并且做了比较，有仿真试验。-said that the use of space rcc8 model spatial reasoning, problem solving csp. csp can be generated automatically, and then resolved, the use of different algorithms and made a comparison, a simulation test.
文 件 列 表
rcc8-csp-solving
README
q8split
q8rels
nprels
Makefile
intersplit
intersectrels
hornsplit
hornrels
closebasesplit
closebaserels
c8split
c8rels
basesplit
baserels
backtrack.c
cover.c
genall.c
gencsp.c
pc1.c
pcvb.c
pcwq.c
rcc8.h
rcc8io.c
rcc8io.h
rcc8op.c
rcc8op.h
solve.c
