搜索资源列表
专题
- 人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图-artificial intelligence robot seminars, genetic algorithm, the state space and predicate logic, the problem state chart
banchechaxun
- 本系统可以查询城市到城市的客运班车信息。始发站是地极市，终点站可以是市、县、区，请勿带市、县、区等字样-inquiries of the system to the city's urban passenger bus information. Predicate is the polar station City, terminal can be city, county, district, and not to carry
1_5106_b
- 1.本着方面大家的原则，交通信息在线（jtxxol.com）开发了本系统。本系统具有绿色无广告（当然，你可以自己放置广告）、方便快捷、简单快速、界面清爽等特点。 2.本系统可以查询城市到城市的客运班车信息。始发站是地极市，终点站可以是市、县、区，请勿带市、县、区等字样。 3.本系统的数据全部来源于车站和网络。 -1. Much of the principle of traffic information onlin
splitmerge
- 基于区域的分裂合并图像分割方法，包含三个m文件，predicate是分裂合并准则代码，split_test用于检测是否需要分裂，splitmerge用于分裂合并-split on the merger of regional image segmentation methods, including 3 m documents, predicate is to split the combined code guidelines, sp
修道野人
- 用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。-used predicate said France m
修道野人
- 用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。-used predicate said France m
专题
- 人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图-artificial intelligence robot seminars, genetic algorithm, the state space and predicate logic, the problem state chart
banchechaxun
- 本系统可以查询城市到城市的客运班车信息。始发站是地极市，终点站可以是市、县、区，请勿带市、县、区等字样-inquiries of the system to the city's urban passenger bus information. Predicate is the polar station City, terminal can be city, county, district, and not to carry
1_5106_b
- 1.本着方面大家的原则，交通信息在线（jtxxol.com）开发了本系统。本系统具有绿色无广告（当然，你可以自己放置广告）、方便快捷、简单快速、界面清爽等特点。 2.本系统可以查询城市到城市的客运班车信息。始发站是地极市，终点站可以是市、县、区，请勿带市、县、区等字样。 3.本系统的数据全部来源于车站和网络。 -1. Much of the principle of traffic information onlin
splitmerge
- 基于区域的分裂合并图像分割方法，包含三个m文件，predicate是分裂合并准则代码，split_test用于检测是否需要分裂，splitmerge用于分裂合并-split on the merger of regional image segmentation methods, including 3 m documents, predicate is to split the combined code guidelines, sp
proposition
- 离散数学中---------一阶谓词演算源代码-Discrete Mathematics- First order predicate calculus source code
tuili
- 一个基于H.wang的谓词演算公式的机器证明的vc实现-Based on the predicate calculus formula H.wang machines prove that the realization of the vc
yrgh
- 用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。-Using Prolog to solve the issue of missionaries and Savage Classical Predicate Calculus review summarized in principle, grasp the artificial inte
chaxun
- 、掌握基本查询 2、掌握嵌套查询 3、量词与谓词的应用 4、利用聚合函数进行数据统计 -To master the basic query 2, have nested query 3, quantifiers and predicate the application of 4, the use of data aggregation function
2007AInanyoudoudou
- 人工智能课件。包括Motivation The Language and Its Syntax Semantics Quantification Semantics of Quantifiers Predicate Calculus as a Language for Representing Knowledge-Artificial intelligence software. Including Motivati
chengxushejishiyan4
- 一、实验题目： 实验4 程序的形式化推导 二、实验内容： （1） 根据给定的问题，建立前置谓词和后置谓词。 （2） 根据条件语句的推导策略，建立程序中的条件语句。 （3） 构造循环不变式，确立界函数。 （4） 根据循环语句的推导策略，建立程序中的循环语句。 （5） 面向目标，退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略，基于最弱前置条件的概念，用比较形式化的方法，从设计要求
a
- 用matlab编写的程序，实现区域的分裂和合并，并带有图像-Matlab prepared using the procedures of the division and regional merger with images
ArtificialIntelligence
- 人工智能课件，包括搜索，与或图，谓词逻辑与归结原理，不确定性推理方法等-AI courseware, including search, with or figure, predicate logic and the resolution principle, uncertainty reasoning methods
Predicate
- A Predicate can determine a true or false value for any input of its parameterized type. For example, a {@code RegexPredicate} might implement {@code Predicate<String>}, and return true for any String that matches
First-order-Predicate-Ambient-Logic
- 基于μ-演算的一阶谓词界程逻辑，用谓词变量构造不动点公式，方便描述闭环系统的性质，公式语义简洁．-Based on μ-calculus, the predicate variable is used to construct the fixed point formula, which is convenient to describe the properties of the closed-loop system and the