Description: 命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C Platform: |
Size: 61763 |
Author:shasha |
Hits:
Description: 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告-propositional logic of reasoning can be summed System Design and Implementation, artificial intelligence internship projects, including experimental report Platform: |
Size: 61680 |
Author:shasha |
Hits:
Description: 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve the propositional logic of automatic reasoning. Put the problem to be solved as a proposition to prove, with the goal being negated formula and shape into a phrase and then added to the Proposition formula to concentrate, digestion system for joint inversion sets and derived an empty phrase (NIL), resulting in a contradiction. Platform: |
Size: 521864 |
Author:陈运文 |
Hits:
Description: 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve the propositional logic of automatic reasoning. Put the problem to be solved as a proposition to prove, with the goal being negated formula and shape into a phrase and then added to the Proposition formula to concentrate, digestion system for joint inversion sets and derived an empty phrase (NIL), resulting in a contradiction. Platform: |
Size: 521216 |
Author: |
Hits:
Description: 命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C Platform: |
Size: 61440 |
Author:shasha |
Hits:
Description: 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告-propositional logic of reasoning can be summed System Design and Implementation, artificial intelligence internship projects, including experimental report Platform: |
Size: 61440 |
Author:shasha |
Hits:
Description: 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
-Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment. Platform: |
Size: 1344512 |
Author:harveysharp |
Hits:
Description: 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver Platform: |
Size: 4089856 |
Author:gejuan |
Hits:
Description: 本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图的基本概念、树、欧拉图和哈密顿图、平面图、图着色、赋权图、二部图等。
通过本课程的学习，使应考者有抽象思维和逻辑推理能力，掌握计算机科学技术常用的离散数学中的概念、性质和运算。
自学教材：<<离散数学>>(全国考委组编)
左孝凌 主编 经济科学出版社
参考用书 ：<<离散数学>> 左孝凌等编 上海科技出版社 1982 -he major curriculum centered (independent undergraduate paragraph) of a major foundation courses. Curriculum content are: propositional logic and first order predicate logic the basic concepts and basic calculus collection of concepts and computation, binary relations and functions algebraic operations and the basic properties of algebraic systems, semi-groups and groups, teams and domain, grid and Boolean algebra map the basic concepts, trees, Euler and Hamiltonian graph map, plan, map coloring, weighted graph, etc. Figure 2.
Through the study of the curriculum so that candidates have abstract thinking and logical reasoning ability, computer science and technology have often used the concept of discrete mathematics, nature, and computing.
Self-study materials: <<Discrete Mathematics>> (全国考委Unit)
ZUO Xiao-Ling Economic Science Press editor-in-chief
Reference book: <<Discrete Mathematics>> ZUO Xiao-Ling et al 1982, Shanghai Science and Technology P Platform: |
Size: 1098752 |
Author:alse |
Hits:
Description: 本程序实现了对命题逻辑公式应用归结反演策略自动推理。程序结构简单,便于初学者理解人工智能的归结原理.-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 artificial intelligence. Platform: |
Size: 946176 |
Author:red kite |
Hits:
Description: 通过该程序可以计算前缀、中缀和后缀表达式的值。-Through the program can calculate the prefix, infix and postfix expressions value. Platform: |
Size: 375808 |
Author:许娜娜 |
Hits:
Description: 求离散数学中命题逻辑公式的真值表的源代码。-Discrete Mathematics in seeking a formula of propositional logic truth table of the source code. Platform: |
Size: 48128 |
Author:jory |
Hits:
Description: 这是亚利桑那州立大学计算机课程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. Tutorial focus on the propositional logic and logic programming languages Answer set programming. This is just a very rapid rise in foreign logic programming language. Platform: |
Size: 894976 |
Author:刘新玲 |
Hits:
Description: 范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Mainly be achieved with the binary tree. More detailed documentation package, introduced the main ideas to achieve. Platform: |
Size: 8509440 |
Author:yjt |
Hits:
Search - propositional logic