《工程科学学报》：一种基于区块链智能合约的软件服务交易方法

《工程科学学报》：基于要约–承诺的智能法律合约订立方法与实现

8.1 Agent的概念 8.2 Agent的结构 8.3 Agent实例─Web Agent 8.4 多Agent系统 8.5 Agent的实现工具 8.6 Agent技术的发展与应用

8.1 Agent的概念 8.2 Agent的结构 8.3 Agent实例─Web Agent 8.4 多Agent系统 8.5 Agent的实现工具 8.6 Agent技术的发展与应用

7.1 基本概念 7.2 系统结构 7.3 实例分析 7.4 系统设计与实现 7.5 开发工具与环境 7.6 专家系统的发展

5.1 概述 5.2 基于谓词逻辑的机器推理 5.3 基于产生式规则的机器推理 5.4 几种结构化知识表示及其推理 5.5 不确定性知识的表示与推理

3.1 状态图搜索 3.2 状态图搜索问题求解 3.3 与或图搜索 3.4 与或图搜索问题求解

6.1 机器学习概述 6.2 符号学习 6.3 神经网络学习 6.4 知识发现与数据挖掘

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

西安石油大学：《人工智能导论》课程教学资源（教案讲义）实验大纲