Resolution-theorem:在Java中实现简单的命题逻辑

【文件属性】：
文件名称：Resolution-theorem:在Java中实现简单的命题逻辑
文件大小：8KB
文件格式：ZIP
更新时间：2021-04-28 22:05:41
Java 抽象的 这项任务是使用解析定理证明者实现自动推理，该定理证明者可用于通过否定证明从命题知识库（KB）进行推论。 给定一组句子KB，确定是否需要查询q“中间盒必须包含白色网球”，KB | = q？ 萨米体育用品商店的描述 交付了3盒球。 但是，这些框的标签有误（Box1：白色，Box2：黄色，Box3：两者）。 制造商告知已交付一盒。 从每个盒子中抽出一个球，观察起来就像Box1：黄色，Box2：白色，Box3：黄色。 执行 该程序分为3部分：初始化，解析和跟踪树。 实现的主要部分是解决部分。 程序检查子句是否可解析。 然后将这些对添加到“候选对象”并遍历候选对象，直到它成为空或生成空子句为止。 一旦生成空子句，则意味着被否定并添加到候选项的查询将被中断。 命题逻辑 在给定条件下，我在“ Sammy.kb”和“ ss.kb”中定义了命题逻辑。 Sammy.kb C1Y C2Y C3Y C1

【文件预览】：
Resolution-theorem-master
----example.kb(81B)
----test.kb(17B)
----src()
--------SportShop.java(6KB)
--------Clause.java(2KB)
--------ResPair.java(1KB)
----sammy.kb(483B)
----README.md(9KB)