逻辑程序设计和归纳逻辑程序设计是人工智能领域的重要方向。本文主要研究针对特定对象的逻辑归纳学习,以及在计算机围棋对弈中的......

本文主要讨论一个框架时序逻辑程序设计语言FTLL (Framed Temporal Logic Programming Language)的解释器及一个基于命题投影时序......

随着国家对信息技术及学生信息素养培养的重视，高中的信息技术被作为了必修内容，并且知识体系更加完善和具有渗透性。在高中的数学中......

逻辑程序设计是一种说明性程序设计方式，它将程序的逻辑和控制分开，程序员只需考虑逻辑描述部分，控制部分则完全交付语言的编译或解释......

为提高电力系统供电可靠性.通过对备自投程序逻辑设计进行详细分析,并以验收220 kV某变电站220 kV备自投的过程中发现的程序逻辑问......

Visual Prolog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境.本文全面评述其功能特点,包括Visual Prolog的由来与......

学习是智能主体拥有的重要特征,机器学习研究计算机如何模拟并实现人类的学习行为.归纳逻辑程序设计作为机器学习的核心方法之一,......