基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
VB程序员考核自动阅卷系统的设计与实现
标签： VB程序 自动 阅卷系统
上传时间： 2015-03-10
上传用户：541657925
语音自动应答系统的实现
标签： 语音 自动应答
上传用户：thuyenvinh
计算机管理系统可以实现开机时自动运行，用户只有登陆以后才能进入计算机，可以自动记录用户登陆时间注销时间，及登陆总时间
标签： 计算机管理系统 开机 自动 运行
上传时间： 2013-12-28
上传用户：3到15
家电自动控制系统，定时开关，采用遥控器，按键操作，中文12864液晶示，
标签： 家电 自动控制系统
上传时间： 2014-01-23
上传用户：1159797854
电子衡自动计量系统.能对电子汽车衡进行自动计量.完成车皮存储,重车自动除皮等功能.
标签： 电子 自动计量 汽车 存储
上传时间： 2014-01-14
上传用户：hzy5825468
该系统为空车计量系统.完成对空车的自动计量.附串口处理程序.
标签： 串口 处理程序 计量系统
上传时间： 2013-12-31
办公室小车管理系统,能自动打印派车单,自动统计小车的出车里程\耗油等.
标签： 自动 管理系统 打印
上传时间： 2013-12-26
上传用户：风之骄子
电子皮带秤计量管理系统.完成电子皮带秤的自动计量工作,和销售管理系统配合使用更佳.
标签： 电子皮带秤 计量管理 管理系统
上传时间： 2014-01-03
上传用户：康郎
c/s系统。 delphi 6+access 运行前先配置数据环境：把db文件夹复制到c：下 要编译请安装第三方控件fastreport2.47 这是我的小小的毕业设计，比较简单。不足之处希望大家指正qq:173778553
标签： fastreport delphi access 2.47
上传时间： 2015-03-14
上传用户：BIBI
