用计算机推理的方法求解数字填图问题  

Solving Filling Figure Problems with Computer Deduction

作　　者：章丰田[1] 魏明山[1] 陈培军[1] 王希云[1] 

机构地区：[1]太原科技大学

出　　处：《电脑学习》2010年第4期85-87,共3页Computer Study

基　　金：山西省大学生UIT计划项目(2009005s)

摘　　要：模拟人思考问题的过程,尝试用计算机推理的方法求解数字填图问题。The paper tries to design the method of solving filling figure problem with computer deduction by simulating the process of human being＇s thinking about it.

关 键 词：机器证明 数字填图 专家系统 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]