当前位置：
首页 资源下载
搜索资源 - propositional logic
搜索资源列表
-
0下载：
命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C
-
-
0下载：
命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告-propositional logic of reasoning can be summed System Design and Implementation, artificial intelligence internship projects, including experimental report
-
-
0下载：
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve
-
-
0下载：
命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
-
-
0下载：
本程序实现了对命题逻辑公式应用归结反演策略自动推理。程序结构简单,便于初学者理解人工智能的归结原理.-This procedure has attributed to the propositional logic inversion strategy for Automated Reasoning. Program structure is simple, easy for beginners to understand summarized the principles of artific
-
-
1下载：
this is a wumpus game developed using propositional logic
-
-
0下载：
通过该程序可以计算前缀、中缀和后缀表达式的值。-Through the program can calculate the prefix, infix and postfix expressions value.
-
-
0下载：
求离散数学中命题逻辑公式的真值表的源代码。-Discrete Mathematics in seeking a formula of propositional logic truth table of the source code.
-
-
0下载：
用于系统行为验证。给出系统运行的观测数据，给定一个用MTL形式化语言描述的表达式，运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation
of the robustness of a propositional temporal logic specification
with respect to a discrete time signal.
-
-
0下载：
这是亚利桑那州立大学计算机课程Logic for Computer Scientists 的原版教程。教程中重点讲述了propositional logic和逻辑编程语言（ASP）Answer set programming. 这是一种非常快速在国外刚兴起的逻辑编程语言。-This is the Arizona State University computer courses Logic for Computer Scientists in the original tutorial. Tut
-
-
0下载：
范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Mainly be achieved with the binary
-
-
0下载：
L_Fuzzy命题逻辑系统的语构分层方案L_Fuzzy propositional logic of language structure stratification-L_Fuzzy propositional logic of language structure stratification
-
-
0下载：
G_R型模糊命题逻辑系统完备的一个充分必要条件.-G_R fuzzy propositional logic system is complete, a necessary and sufficient condition.
-
-
0下载：
Propositional Logic Solver developed in Python
-
-
0下载：
命题逻辑公式类型判断器 两公式关系判断器(Propositional logic formula type and two formula relation judge)
-
