搜索资源列表
conseq
- 命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C
mingtiguijie
- 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告-propositional logic of reasoning can be summed System Design and Implementation, artificial intelligence internship projects, including experimental report
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed
conseq
- 命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C
mingtiguijie
- 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告-propositional logic of reasoning can be summed System Design and Implementation, artificial intelligence internship projects, including experimental report
MTYS
- 已知一个命题演算公式及各变量的值，求公式的真值。 显示表达式的真值表。 逻辑变元的标识符可以是任意长的字母数字串。逻辑运算使用 与-> & 或-> | 非-> ！ -Known formula of a propositional calculus and the variable
2
- 命题公式源码，实现命题公式真值的自动计算；可以显示真值表-Propositional formula source, realize true value proposition of the automatic formula calculation can show truth table
WangHao
- 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。 -Propositional logic in the inference rule can be used to prove that
zchaff
- 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
Resolution
- 本程序实现了对命题逻辑公式应用归结反演策略自动推理。程序结构简单,便于初学者理解人工智能的归结原理.-This procedure has attributed to the propositional logic inversion strategy for Automated Reasoning. Program structure is simple, easy for beginners to understand summar
JDK
- CJ00336命题公式范式生成算法研究与程序设计毕业设计毕业论文全套设计-CJ00336 propositional formula Algorithm Paradigm Research and Design of a full set of Design Graduation Thesis
wumpuslite
- this is a wumpus game developed using propositional logic
biaodashiqiuzhi
- 通过该程序可以计算前缀、中缀和后缀表达式的值。-Through the program can calculate the prefix, infix and postfix expressions value.
zhenzhibiao
- 对给出的任意一个合式公式（不超过四个命题变元），使学生会用C语言的语句表示出来，并且能够计算它在各组真值指派下所应有的真值。-Given any one of the well-formed formula (not more than four propositional variables), so that students will use C language statements that come out, and it
200901
- 求解任意命题公式的真值表，从文件中读入“命题公式”，缺点是：命题变元默认是4个，当命题变元的个数变化后必须修改源代码的NUM-The truth table for solving arbitrary propositional formula, read from the file into the " propositional formula," The disadvantage is that: Proposi
truthtable
- 求离散数学中命题逻辑公式的真值表的源代码。-Discrete Mathematics in seeking a formula of propositional logic truth table of the source code.
NormalFormMaker
- 范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Main
propositional-formula-
- 离散数学命题公式化解，对蕴含、等价、矛盾律、吸收律、排中律进行了化简-Discrete Mathematics propositional formula to resolve the absorption law, implication, equivalence, the law of contradiction, law of excluded middle simplification
Propositional-formula
- 离散数学中命题公式的判断，可以判断复杂的命题共识。MFC编写-Discrete Mathematics propositional formula judgment can determine the complex proposition consensus. MFC prepared