首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 人工智能王浩算法

人工智能王浩算法

  • 资源大小:303.14 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:0次
  • 资源积分:1积分
  • 标      签: 人工智能 c 算法 人工智能

资 源 简 介

命题逻辑王浩算法实现,完整可以直接运行。对于给定公式如(p<->q)->(p->q)函数 simplify 将其化为只有!,->。 函数 rule1, rule2, rule3,rule4,分别对应王浩算法的四个规则,通过不断调用这四个函数,直到将原来公式化为只由原子符号组成的公式行,然后根据王浩算法的公理判断公式是不是恒真的。

文 件 列 表

王浩算法
wanghao
说明.docx
VIP VIP
0.169619s