逻辑模型论文

边嘉耕[1]2000年在《归纳逻辑程序设计在数据库知识发现中的应用研究》文中认为我的论文题目是“归纳逻辑程序设计（ILP）在数据库知识发现中的应用研究”，属于国家863计划资助的研究项目的一部分，本文是对这两年来工作的总结。随着数据库技术的迅速发展以及数据库管理系统的广泛应用，现实世界积累了越来越多...

张春霞[1]2000年在《基于动态逻辑的Agent的形式化模型》文中认为随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为人工智能领域中一个新的研究热点，也成为分布式人工智能的重要研究方向。基于Agent的技术被认为是软件领域中的一次重大突破。本文提出了一种基于动态逻辑的...