一个实用的非单调推理系统

本文描述了应用谓词完备化进行非单调推理的基本过程:规范化、有序性检查、完备化、相容性检查、推理等,并描述了实现的基本模块。其中着重对有序性和相容性进行了探讨,提出了若干命题。

几种非单调逻辑系统的评述

随着人工智能方法和技术研究的深入,传统逻辑(数理逻辑)已不能满足人工智能应用的需要。近年来,非单调逻辑的研究越来越受到人工智能界、哲学界、心理学界理论工作者的广泛关注。本文综述了几种人工智能领域中有应用前景的非单调逻辑系统,即全域假设、模态逻辑、默认逻辑和约束逻辑。文章对这几种非单调逻辑系统的基本思想、存在问题及相互关系作了详细论述。

丹东杜鹃花家庭式扦插育苗

丹东杜鹃已广泛应用于城乡绿化、美化、装点庭院与居室。为了省时省工、降低费用、简单易行、适合家庭快速繁殖杜鹃，现将丹东杜鹃花家庭式简易扦插育苗技术介绍如下：

丹东银杏的品种资源及区域划分

为摸清丹东地区的银杏品种及规模,对丹东地区的银杏进行调查,通过调查摸清了丹东的银杏资源及适生区域,从而为丹东今后大力发展银杏业提供科学理论依据。