# NineStep
上海理工大学2018年10月 @weizhiwei
九步法化子句集，人工智能实验
(∀x)((∀y)P(x,y)→┐(∀y)(Q(x,y)→R(x,y)))
完全合乎规范的输入才有可能得出正确结果，编写思路混乱，极大可能出现错误结果。
运行程序为test包下的testMenuFrame类
《人工智能》--九步法化子句集，人工智能实验.zip
版权申诉
194 浏览量
2024-03-15
14:23:44
上传
评论
收藏 10KB ZIP 举报
《人工智能》--九步法化子句集，人工智能实验.zip （5个子文件） 
solution 
ClauseSolution.java 19KB style font FontClass.java 3KB view menu MenuFrame.java 8KB test testMenuFrame.java 440B README.md 306B资源评论
