论文部分内容阅读
该文探讨争论推理在扩充逻辑程序中的实现及其关系问题。基于“相干原理”，建立了扩充逻辑程序的争论推理框架，多种争论推理形式都可以嵌入其中。特别是提出一种谨慎语义Ａｃｃ。同时一义了良基语义的种合理扩充Ｍｏｄ，以处理较为大胆的推理形式。另外也研究了相关的理论性质。
扩充析取逻辑程序的争论语义
【摘 要】
：
该文探讨争论推理在扩充逻辑程序中的实现及其关系问题。基于“相干原理”，建立了扩充逻辑程序的争论推理框架，多种争论推理形式都可以嵌入其中。特别是提出一种谨慎语义Ａｃｃ。同时
【出 处】
：
软件学报
【发表日期】
：
2000年3期
【基金项目】
：
国家自然科学基金!No.6 98830 0 8,6 97730 2 7,,国家基础研究发展规划项目 !No.G19990 32 70 4&&
其他文献
目的观察中医辨证施治抗生素药后证的临床疗效。方法将80例患者依据中医理论根据患者症状舌苔脉象分为脾虚湿阻、脾肺气虚、气阴两伤、脾肾阴虚4型施治。结果 4型总有效率为9
随着仿真应用在广度及深度上的发展, 基于因特网的分布交互仿真成为未来的发展方向.其面临的主要挑战之一是系统可扩缩性问题.采用高效的数据过滤机制是解决问题的有效手段.
该文讨论了模糊系统的数字逼近特性 ,同时分析了逼近误差和初始状态误差对模糊系统的影响 .最后得出一个重要结论 :在一定条件下 ,模糊系统的输出与实际系统相差不大
Ａｊｔａｉ和Ｄｗｏｒｋ构造籽一种概率公用密钥体系，这种密码系统的安全性建立在一种格问题复杂性的最坏情形上，该文的结果证明密码系统是很容易被误用的，如果这种系统被用于广泛使用的ｋｅｙ－ｅｓｃｒｏｗ体系中，密码系
介绍了目前的不完全数据环境下的知识发现研究工作,分两个部分提出了一个不完全数据库中的知识发现方法.首先具体讨论了如何猜测丢失的数据,给出了基于距离的关联规则的定义
时下，初中数学核心素养正成为全国课程改革的重要标准，可以说核心素养针对数学教学中存在的问题有很大的价值。当学习中，成绩成为教师关注的关键，而忽视了学生的能力培养，出现学生
目的：观察加味平胃散治疗胃脘胀满的临床疗效。方法：对32例胃脘胀满患者采用加味平胃散（苍术、白术、厚朴、陈皮、丁香等）以理气、化痰、燥湿、温中、补虚调治。结果：治愈7例,显效
工作流的失败处理和失败恢复是工作流管理系统的重要组成部分.提出了一种新的基于对象的工作流模型,在此模型下设计了工作流失败处理和失败恢复的策略.与传统方法相比,新策略
良好的课堂氛围是指师生，心理相容、感情融洽和谐、平等合作的师生关系。创造民主、轻松、和谐、浓郁的课堂氛围，是激发学习兴趣、焕发课堂活力的前提条件。新课标要求教师创设
高中信息技术课程是一门实践性、操作性强的课程，为了提高课堂效率，微课作为一种新的教学方式在信息技术课堂教学中得到了广泛应用，针对当前信息技术课堂中存在的不足，微课的应用