湖南大学英语语言智能实验班

人工智能

实验二 使用Prolog的一阶逻辑推理实验

201208070124 易雪媛 智能1201

一、实验目的

1.学会使用Prolog语言；

2.用Prolog语言巩固一阶逻辑知识；

3.能够使用prolog语言实现一阶逻辑的证明；

二、实验的硬件、软件平台

1.硬件：计算机

2.软件：操作系统：WINDOWS 2000 3.应用软件：Prolog

三、实验内容及步骤

熟悉prolog语言的使用并实现对于一阶逻辑推理的证明 关于prolog语言：此实验中提到的语言使用来讲解： 例如：p(b). p(a) :- p(b). p(a) :- p(c)

分别表示：p(b)为真；

由p(b)为真可以推出p(a)为真； 由p(c)为真可以推出p(a)为真.

其中语句之间‘，’表示且，‘；’表示或，‘.’表示语句结束; likes(bell,sports).表示bell喜欢sports。 实验步骤：

1. 对于a,b,c,d四种输入情况，验证|?- p(a).的真假；

a. p(b). p(a) :- p(b). p(a) :- p(c) 推理分析：

事实：p(b)为真.

推理：由p(b

人工智能

1 实验二使用Prolog的一阶逻辑推理实验 201208070124 易雪媛智能1201

一、实验目的

1.学会使用Prolog语言；

2.用Prolog语言巩固一阶逻辑知识；

3.能够使用prolog语言实现一阶逻辑的证明；

二、实验的硬件、软件平台

1.硬件：计算机

2.软件：操作系统：WINDOWS 2000

3.应用软件：Prolog

三、实验内容及步骤

熟悉prolog语言的使用并实现对于一阶逻辑推理的证明

关于prolog语言：此实验中提到的语言使用来讲解：

例如：p(b). p(a) :- p(b). p(a) :- p(c)

分别表示：p(b)为真；

由p(b)为真可以推出p(a)为真；

由p(c)为真可以推出p(a)为真.

其中语句之间‘，’表示且，‘；’表示或，‘.’表示语句结束;

likes(bell,sports).表示bell喜欢sports。

实验步骤：

1. 对于a,b,c,d四种输入情况，验证|?- p(a).的真假；

a. p(b). p(a) :- p(b). p(a) :- p(c)

推理分析：

事实：p(b)为真.

推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真.

结论：p

目录

实验A---- ADFA的可判定性 ......................................................................................... 2

1、 问题描述 ...................................................................................................... 2 2、 算法设计思路 .............................................................................................. 3 3、 实验总结 ...................................................................................................... 3 4、 AC代码 ...........................................................................

第四章 构造数据类型

一 目的和要求

1、掌握结构体类型说明和结构体类型变量、数组、指针的定义方法及使用。 2、学会引用结构体中的成员。

3、掌握利用指向结构体的指针成员构成链表的基本算法。

4、了解联合体类型和枚举类型的说明、其变量的定义及赋初值的方法。 5、了解联合类型变量中各成员的存储结构，学会引用各成员中的数据。 6、学习正确引用枚举类型常量，了解如何对枚举类型变量进行操作。

二 相关知识

1、结构型变量的定义和引用

构造类型是由相同或不同的数据类型组合而成。用户自己定义的一种用来存放类型不同的数据的数据类型，称为结构型。 ⑴ 结构型的定义

struct <结构体名> { 类型1 成员名1； 类型2 成员名2； …

类型n 成员名n； };

结构型是一种数据类型，其中的成员不是变量，系统不会给成员分配内存。已经定义的某种结构型可以作为一种数据类型，用来定义变量、数组、指针，这时才会给定义的变量、数组、指针分配内存。 ⑵ 结构型变量的定义

有三种方法：先定义结构型，然后定义变量、数组；同时定义结构型和变量、数组；定义无名称的结构型同时定义变量

第3章 指针

一． 目的和要求

1、 掌握指针的概念和定义方法。 2、 掌握指针的操作符和指针的运算。 3、 了解指针与数组的关系。 4、 了解指针与字符串的关系。 5、 学习指针在函数中的应用。

二． 相关知识

1、指针变量的定义和初始化

指针变量是用来存放其它变量地址的变量。其定义格式如下： 存储类型 数据类型 *指针变量名1[=初值1]，… 说明:

① 相同类型的指针变量和普通变量可以放在一起说明。

② 指针变量和普通变量完全一样,由它的定义位置决定指针的作用域和生命期。 ③ 要使一个指针变量指向一个确定的变量,必须将该变量的地址赋给指针变量。 ④ 一个指针只能指向同一个类型的变量。

2、&运算符和*运算符

在C语言中提供了两个有关指针的运算符： ① &运算符称为“取地址运算符”。 ② 运算符称为“指针运算符”，也称为“间接运算符”，如：*p代表p所指向的变量。

3、使用指针运算符应注意的问题

① 指针变量定义中的“*”与“*”运算符的区别。

指针变量定义中的“*”不是运算符，它只是表示其后的变量是一个指针类型的变量。而对于语句“*p=5;”，其中的“*”是指针运算符“*”，“*p”代表p指向的变量。 ② &运算符与

实验报告二

一、实验预习内容 常用电子仪器的正确使用

1. 常用的电子仪器：示波器、函数信号发生器、直流稳压电源、交流毫伏表等的主要技术指标、性能及正确使用方法。 2. 用双踪示波器观测周期信号波形和读取波形参数的方法。 二、实验内容

1. 用机内校正信号对示波器进行自检 (1) 扫描基线调节

将示波器的显示方式开关置于“单踪”显示Y1（或Y2），输入耦合方式开关置GND，触发方式开关置于“自动”。开启电源开关后，调节“辉度”、“聚焦”、“辅助聚焦”等旋钮，使荧光屏上显示一条细而且亮度适中的扫描基线。然后调节“X轴位移”和“Y轴位移”旋钮，使扫描线位于屏幕中央。 (2) 测试“校正信号”波形的幅度、频率

将示波器的“校正信号”通过专用电缆线引入选定的Y通道Y1（或Y2），将Y轴输入耦合方式开关置于AC或DC，触发源选择开关置“内”，内触发源选择开关置Y1（或Y2）。调节X轴“扫描速率”开关（t/div）和Y轴“输入灵敏度”开关（V/div），使示波器显示屏上显示出一个或数个周期稳定的方波波形。

① 校准“校正信号”幅度。将“Y轴灵敏度微调”旋钮置“校准”位置，“Y轴灵敏度”开关置适当位置，读取校正信

丰城中学校本资料 丰城中学2014-2015学年下学期高二周练试卷

零班、实验班、尖子班（生物）

命题：熊少斌 审题：卢建、丁明华 2015.5.17

一、选择题

1．平板划线法和稀释涂布平板法是纯化微生物的两种常用方法，下列描述正确的是( ) A．都要将菌液进行一系列的梯度稀释

B．平板划线法是将不同稀释度的菌液通过接种环在固体培养基表面连续划线的操作 C．稀释涂布平板法是将不同稀释度的菌液倒入液体培养基进行培养 D．都会在培养基表面形成单个的菌落

2．平板冷凝后，要将平板倒置，其原因是 ( ) A．接种时再拿起来方便 B．在皿底上标记日期等方便 C．正着放置容易破碎

D．防止皿盖上的冷凝水落入培养基造成污染

3.亚硝酸盐是一类化学物质，易溶于水，常用于生产各种染料，也作为防冻剂使用。亚硝酸盐进入血液后能将血红蛋白氧化为高铁血红蛋白，高铁血红蛋白失去携带氧气的能力，导致组织缺氧，出现中毒现象。下列有关亚硝酸盐的叙述中，正确的是（ ） A.含有亚硝酸盐的泡菜、酱菜不能食用 B.只在蔬菜类食品中能检测出亚硝酸盐 C.在食品加工过程中也会产生亚硝酸盐 D.吃剩隔夜后的蔬菜亚硝酸盐含量降低 4．

1.法语 《新大学法语》（1、2、3），李志清主编，高等教育出版社，2003，2004

2.基础英语（含词汇、语法、阅读、写作） 无固定参考数目

3.语言学基础(语言学基础知识) 《Contemporary Linguistics》（可在湖南大学外国语学院综合办刘惠兰处邮购，邮购电话：0731-88822574）；或《新编简明英语语言学教程》（修订版）,戴炜栋、何兆熊编 上海外语教育出版社,2002

01 外国语言学及应用语言学 ①101 思想政治理论 ②240 日语、241 德语、242 法语任选 一 ③706 基础英语（含词汇、语法、阅 读、写作） ④834 语言学基础（语言学基础知识） 复试专业课

F1201 语言理论与分析 外国语言学及应用语言学

1、英语听力测试：闭卷，满分20分，考试时间30分钟。 2、语言理论与分析（专业课笔试）：闭卷，满分100分，考试时间90分钟。

本人于10年考上湖南大学外国语学院外国语言文学的语言学方向研究生，在这里把备考经验与大家分享，希望能对11届考语言学的同学们有所帮助。

首先说说二外，我的二外是日语。湖大的二外相对而言出题简单，一般都是出往年真题，以及指定

1.法语 《新大学法语》（1、2、3），李志清主编，高等教育出版社，2003，2004

2.基础英语（含词汇、语法、阅读、写作） 无固定参考数目

3.语言学基础(语言学基础知识) 《Contemporary Linguistics》（可在湖南大学外国语学院综合办刘惠兰处邮购，邮购电话：0731-88822574）；或《新编简明英语语言学教程》（修订版）,戴炜栋、何兆熊编 上海外语教育出版社,2002

01 外国语言学及应用语言学 ①101 思想政治理论 ②240 日语、241 德语、242 法语任选 一 ③706 基础英语（含词汇、语法、阅 读、写作） ④834 语言学基础（语言学基础知识） 复试专业课

F1201 语言理论与分析 外国语言学及应用语言学

1、英语听力测试：闭卷，满分20分，考试时间30分钟。 2、语言理论与分析（专业课笔试）：闭卷，满分100分，考试时间90分钟。

本人于10年考上湖南大学外国语学院外国语言文学的语言学方向研究生，在这里把备考经验与大家分享，希望能对11届考语言学的同学们有所帮助。

首先说说二外，我的二外是日语。湖大的二外相对而言出题简单，一般都是出往年真题，以及指定

附件1： 2007年全国初中数学竞赛（浙江赛区）获奖名单

一等奖（159名）

史宏健 胡俊杰 包宜骏 黄 杰 顾焱芸 蒋浩华 高程宇 沈 杰 李嘉伦 周 立 黄 超 吴世威 计 荣 汤岑麒 朱林源 谢 央 金 标 骆宇盛 陈泽丰 张 凯 王明明 郑志伟 朱逸蕭 孔 嘉 吴星涵 葛程辉 吴润东 徐思佳 杨雨珩 余建行 周鹏翔 沈炯韬 叶马良 胡宗楠 王 滨 王鸿阳 张 浩

杭州建兰中学 余姚实验学校 台州学院附属中学 余姚实验学校 余姚实验学校 诸暨市天马学校

乐清乐成公立寄宿学校 诸暨市海亮学校

乐清乐成公立寄宿学校 温州实验中学 临海市外国语学校 乐清乐成公立寄宿学校 诸暨市荣怀学校 台州学院附属中学 宁波惠贞书院

乐清乐成公立寄宿学校 诸暨市天马学校 杭州外国语学校 杭州外国语学校 北仑东海实验学校 乐清乐成公立寄宿学校 乐清乐成公立寄宿学校 嘉兴秀洲现代实验学校 诸暨市天马学校 普陀沈家门第一初中 椒江书生中学

丽水莲都区花园中学 杭州外国语学校 杭州外国语学校 平阳腾蛟二中

乐清乐成公立寄宿学校 诸暨市天马学校 诸暨市海亮学校 绍兴县实验中学 嵊州中学 杭州建兰中学 杭州建兰中学

贺争盛 顾维辰 刘 颖 王志钢