变量驱动的智能回溯

本文提出了一个逻辑程序与并行智能回溯模型——变量驱动的智能回溯.文字求解失败时,分析其中参数的失败类型,生成回溯文字集。以变量驱动图为基础,回溯仅在回溯文字集中进行.     

支持逻辑程序并行执行的智能回溯机制

本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制,它是基于数据相关性分析的动静结合的智能回溯策略,在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合,动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点。     

基于CCS模型的半智能回溯

本文提出了以逻辑式程序设计语言的与并行执行模型CCS为基础的半智能回溯方法,解决了分布式并行处理问题和通信问题,不仅提高了逻辑式程序设计语言的执行功效,又保证了语义的正确性与完备性。     

智能软件的开发技术

本文介绍了AI程序特点和几种AI程序设计范式以及多种范式合成的系统,以适应专家系统通用性的要求;还介绍了开发AI程序设计工具的发展情况,讨论了工具、工具箱、软件生命期支持等开发技术。     

面向智能主体的程序设计

面向智能主体的程序设计是一种以计算的社会观为基础的新型程序设计范例。本文介绍我们在ＡＯＰ方面进行的研究工作。ＡＯＰ工作以多个智能主体的知识信息处理问题为背景，采用ＡＯＰ的语法途径，强调将知识本文首先讨论与ＡＯＰ相关的智能主体的体系结构。然后，以ＡＯＰ语言ＲＯＯＴ的技术支点（即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等）为线索介绍ＲＯＯＴ。最后通过一个简单例说明ＲＯＯＴ的Ａ     

回溯算法的形式模型

讨论了回溯算法的形式模型,提出了刻画回溯的一些数学概念,以隐式搜索教育界背景提出了状态空间概念,给出了分别以邻接方阵和邻接表形式表示的有向图所对应的状态空间,从而说明显式搜索是隐式搜索的特例,通过展开空间概念揭示了问题求解的不同要求所对应的不同数据结构,提出了通用回溯算法,并以N皇后问题、稳定婚姻问题,点着色问题、子集和数问题,跳马问题,最长路径问题和强连通分支问题等多种算法设计问题为例讨论了通用回溯 算法的应用,该文结果有助于扩大回溯算法的使用范围,提高回溯算法实现的正确性和效率。     

LP环境下快速搜索与选择回溯的实现

本文实现了一种新的ＬＰ实现方法，我们采用一种精巧的内部变换结构来加速ＰＲＯＬＯＧ执行的合一进程，和一种基于变元例化环境的选择性回溯方法来提高ＰＲＯＬＯＧ执行中机械回溯的“智能性”。     

递归技术在采用回溯法求解的问题上的应用

本文讨论了对采用回溯法求解的问题设计递归算法程序的方法，同时，对几个较典型的问题，给出了采用回溯法求解时的递归算法程序。     

利用回溯法求解若干问题的探讨

利用回溯法可求出一类问题的一组解或最优解，本文介绍了回溯的一般方法。 探讨了几个经典问题的回溯算法。     

面向智能体逻辑程序设计系统GKD—AOLPS

我们在面向对象逻辑程序设计系统ＧＫＤ－ＯＯＰＳ的基础上，研究并实现了面向智能体逻辑程序设计系统ＧＫＤ－ＡＯＬＰＳ。本文首先提出了智能体的结构和机制，然后给出了一种智能体的元级结构，最后根据言语行为理论，研究了ＧＫＤ－ＡＯＬＰＳ系统所提供的智能体通信原语的语用性质。     

智能软件Agent的中间件模型

Agent技术的应用潜力是巨大的，已经在许多领域尝试使用，解决一些复杂问题，但要开发智能软件Agent要求具有多方面的先进技术，如知识表达、推理、网络通信等技术，开发者难以使用。为了减少开发时间和代价，文章提出了智能软件Agent的一种中间件模型，并且介绍了这个模型如何创建Agent.     

回溯算法与计算机智能排课

用计算机进行排课在我国还是一个较新的尝试,根据在武汉大学进行计算机排课的实践,分析了排课问题的数学模型,发现利用回溯算法进行计算机处理是一条比较现实的途径,给出了一个普遍的处理流程,同时对其排课效果进行了分析和探讨。     

基于Agent的智能决策支持系统模型的研究及应用

提出了一种新的基于Agent的智能决策系统模型，并在此模型基础上给出了它的一个应用实例.     

智能的限定说

“什么是智能”已成为哲学家、脑科学家、心理学家、计算机人工智能(AI)专家所共同面临的挑战。面对这一挑战,AI科学家除了应战别无选择,因为AI发展的历史和现状都已证明,对这一问题的正确回答,关系着AI的方向、成败乃至存亡。本文正是试图从AI的立场出发,借鉴AI的成果、方法,提出关于智能的一种假设,从而深刻揭示人类智能的本质及实现计算机智能模拟和智能化的可能途径。     

用回溯法编程求解爱因斯坦谜题

本文模拟人工智能的思路,用回溯法编程求解爱因斯坦谜题,使总排列数下降了7 个数量级,极大提高了解题 速度。程序编写了线索输入函数,把迷题线索存入向量中,可随意修改线索的内容、数量及顺序,进而对新的谜题进行重新求 解,而不用修改剪枝函数的代码,适用性好。     

智能刺绣编程系统IEPS的设计与实现

本文描述了智能刺绣编程系统IEPS的设计原理和实现技术。系统把人工智能和图像处理等技术用于传统的刺绣生产,采用平板扫描仪自动地输入刺绣图案,并解决了自动编针,实现了图案输入、处理、编针、优化和生成刺绣样板的一体化.文中介绍了系统的总体结构,图像处理系统以及编针和优化等实现技术.