有哪位高手做过定理的自动证明程序啊,请给小弟指点指点 最近在学人工智能,想用java写一个定理的自动证明程序,自动实现定理基于规则的和基于归结的演绎推理,有哪位大虾做过给小弟指点一下,不用给出完整的程序,给个思路就行,小弟在这先谢了 解决方案 » 免费领取超大流量手机卡,每月29元包185G流量+100分钟通话, 中国电信官方发货 以前好像听说过一种prolog语言,专门用于逻辑推理的,搜索一下该语言的相关资料,然后自己参考改成java程序看看。 如何用java做一个相同号码的排除 在Web利用JFreeChart创建饼图问题 我的连接池是否已经释放? switch case不能用于字符串吗?谢谢 如何在窗口间进行数据传递 碰到怪现象,已经一下午了 JTable中显示数据库查询结果出现乱码 高分请教一个很简单的关于textArea的问题(要答辩了很着急:) 给点ant的下载地址? 请问ldap与jndi有什么不同? 请教:定理自动证明程序实现 关于通信录问题,请高手进来看一下
解决方案 »
免费领取超大流量手机卡,每月29元包185G流量+100分钟通话, 中国电信官方发货