建立DAI系统的组织模型

在ＤＡＩ系统中组织是多主体间实现有效协同的基本要素之一,针对处理大粒度结点集成的ＤＡＩ系统提出“系统组织模型”的概念,系统组织模型定义ＤＡＩ系统的组织结构,形式和组织原则,这些定义形成关于一个法律和规范为前提。建立系统组织 目的在于明确而完整地表示系统组织的结构和整体性质,以引导各主体的设计,实现和协作求解,增强系统的全局连贯性。     

开放的分布式人工智能

本文阐明了研究开放分布式人工智能（ＤＡＩ）的重要性，详细讨论了开放ＤＡＩ系统中开放的含义，并指出开放ＤＡＩ系统中两个关键技术问题——自适应和矛盾处理及其研究现状．     

分布式电力调度专家系统及其决策支持

分布式人工智能（ＤＡＩ）是一门新兴的学科，以基本的ＡＩ技术与分布式系统、人机交互、认识科学等多个学科的发展为背景，同时又与系统科学、社会学、经济学、组织学等学科密切相关。群决策支持系统（ＧＤＳＳ）是ＤＡＩ在决策上的应用。当前ＤＡＩ迄今主止还缺乏深入的理论研究和广泛的工程实践，因而，希望通过形式化的方法从根本上解决ＤＡＩ的基本问题是不现实的。本文以一个实际电力调度专家系统为背景，实现层次计划方法的Ｄ     

智能决策支持系统NUIDSS的设计与实现

本文介绍将ＡＩ技术和ＤＳＳ相结合而研制的一个智能支持决策系统ＮＵＩＤＳＳ及其在能源决策管理中的应用，目前，ＡＩ与ＤＳＳ结合的系统正在以很快的速度开发和实现，然而如何将ＤＳＳ与ＡＩ，特别是ＥＳ进行集成仍存在许多问题，该系统对此作了一些探讨。本文将阐述系统的设计与实现并着重介绍模型描述语言，知识库以及推理，最后给出了江苏省能源决策的应用实例。     

知识共享和重用技术与应用

知识共享和重用一直是ＤＡＩ中众多科学家和学者们研究的重要问题，也是智能制造ＩＭＳ和并行工程ＣＥ中的重要研究技术。本文从知识库结构、基于知识的系统的结构和开发模型以及知识交换语言三个方面介绍了知识共享和重要原理、方法以及在制造系统的应用。     

知识获取系统NDKAS的研究与应用

知识获取系统ＮＤＫＡＳ的研究与应用潘金贵，陈彬，陈晶，陈世福（南京大学计算机科学系南京２１０００８）ＴＨＥＲＥＳＥＡＲＣＨＡＮＤＡＰＰＬＩＣＡＴＩＯＮＯＮＴＨＥＫＮＯＷＬＥＤＧＥＡＣＱＵＩＳＩＴＩＯＮＳＹＳＴＥＭ－ＮＤＫＡＳ￥ＰａｎＪｉｎｇｕｉ；Ｃｈ...     

智能CAD方法评述

本文对国内外ＩＣＡＤ的研究动态，ＩＣＡＤ的方法作了综述，并提出，为了使设计真正体现智能，必须将ＡＩ、ＣＡＤ以及认知科学三者紧密结合起来。     

ICAI与超文本的综合集成

文中分析了智能计算机辅助教学（ＩＣＡＩ）和超文本的问题。从智能综合集成的思路出发，认为ＩＣＡＩ系统的自主性是不现实的，现实的ＩＣＡＩ系统应该是人机协作、能充分调动学生智能的ＩＣＡＩ系统。提出利用ＩＣＡＩ与超文本的互补性将两者综合集成，建立一个基于超文本的ＩＣＡＩ系统（ＨＩＣＡＩ），以提供良好的学习环境，促进ＩＣＡＩ系统实用化。     

智能计算机辅助教学系统研究

本文论述了ＣＡＩ与ＩＣＡＩ的区别，对ＩＣＡＩ系统组成结构进行了分析，并从理论上探讨了其实现方法，着重对ＩＣＡＩ研究中存在的问题和目前的研究课题作全面的分析介绍。     

金工实习技能操作培训计算机辅助教学系统—MPTCAI

用ＣＡＤ技术进行机械加工图形处理，用数据库进行文本处理，并把二者有机结合，建立具有初步智能化的学习器，形成一套较为实用的ＣＡＩ系统。在技术方面，用了逼真的动画模拟、菜单驱动、多语言交叉处理，耦合严谨、以及覆盖调度策略和模块化结构程序设计技术。     

FKAOS中目标冲突探测*

在目标表示中,应用Fuzzy理论来表示目标中的不确定性概念,从而将KAOS方法扩展成FKAOS方法。FKAOS更便于表示需求获取阶段的目标分析的实际情况,但这给目标间的冲突探测、冲突解决带来了新的问题。提出了当通过使用模糊概念来建模不确定性的目标时,使用模糊推理来对潜在的冲突目标进行探测的概念,进而将层次理论用于冲突问题。     

一种模型重构冲突消解算法

冲突是研究模型重构中的一个重要问题,多数研究将该问题的重点放在冲突检测上,通过对已知冲突的分析,找出冲突消解的手工实现方式.为实现模型重构的自动过程而寻找自动消解冲突的方法是主要研究内容.根据冲突发生的条件将冲突分为3种类型:同一规则的并行使用产生的冲突、对称冲突、非对称冲突.该方法建立在手工分析这3类重构冲突消解的基础上,将重构规则预设为一个规则矩阵,对图转换系统中出现的重构规则进行扫描.扫描结果对照规则矩阵,判断冲突是同一规则还是不同规则的并行使用所产生;分别对这两种情况下的冲突所操作的对象进行分析,根据已有手工消解方法有针对性地进行消解操作.这一算法可以初步实现并行执行的3类冲突的自动消解.     

基于策略的网管中关于策略冲突的检测及解决方案

基于策略的方法在网络管理中已经得到广泛的应用,并且渗透到大型的分布式系统中。策略冲突的检测和解决是重点和难点技术。从模态冲突和相关应用冲突的几种形式入手,研究各种冲突现象,总结一些冲突解决方案,并对未来的研究进行了展望。     

Modeling of conflict situations with uncoordinated beliefs of the agents involving games based on linear cognitive maps

Two game-theoretic models of conflicts among the agents in ill-structured situation are considered. Linear cognitive games are used to represent knowledge of the agents regarding the situation. Cognitive maps may vary for different agents.     

信息集成中冲突的语义解决方案

在集成异质异构的信息系统时,系统间会出现大量的冲突。对可能的冲突进行了整理,列举出5大类冲突,并进行了深入分析。在此基础之上,提出了采用语义技术的完整解决方案,以消解各个层次的冲突。     

Conflict detection and resolution for workflows constrained by resources and non-determined durations

The correctness of a workflow specification is critical for the automation of business processes. Therefore, errors in the specification should be detected and corrected at build-time. In this paper, we present a conflict verification and resolution approach for a kind of workflow constrained by resources and non-determined duration based on Petri net. In this kind of workflow, there are two timing functions for each activity to present the minimum and maximum duration of each activity, and the implementations of some activities require resources. Based on the Petri net model obtained, the earliest time to start each activity can be calculated and the key activities influencing the implementation of the workflow can be determined, with which the resource consistency between activities can be verified. Key-activity and waiting-short priority strategies are adopted to remove the resource conflicts between activities, which can ensure that most of the subsequent activities start as early as possible and that the whole workflow be finished in a shorter time. Through experiments, it is proved that the proposed removal strategy for resource conflicts is better than other strategies.     

基于描述逻辑的策略冲突检测方法研究及实现

采用基于策略的方法对安全管理、服务质量等进行监管,已经得到广泛应用。本文提供了一种基于描述逻辑的策略建模方式,将策略定义为两种类型,即授权策略和义务策略;建立策略相关的概念,结合概念之间的关系得到基于描述逻辑的策略模型。策略冲突会导致不一致的系统行为,是策略分析最重要的内容。本文深入研究了不同类型的策略 略冲突,在所建立的模型基础上提出了一套基于描述逻辑的策略冲突检测方法,并使用推理机Racer举例验证了这种检测方法。     

The Fabricare scheduling prototype suite: Agent interaction and knowledge base

This work presents a prototype system (named Fabricare) for the scheduling of manufacturing orders, based on holonic manufacturing systems using extended logic programming. The system is composed of several holons that cooperate among themselves using an extension to the contract net protocol named contract net with constraint propagation protocol. This protocol enables explicit cooperation among service providers that use constraint propagation in order to guarantee the precedence relationships between the different operations participating in the same task. Some precautions have been taken to avoid conflicts and combinatorial explosion. The complexity analysis of the protocol has been performed. The main agents in this system are task and resource agents; the knowledge bases of these agents are presented. Also, a notation for representation of incomplete information on an agent's knowledge base is presented.     

Towards a framework to manage formalised exchanges during collaborative design

New organizational frameworks for companies dealing with product development are required for the new market rules as for the rising pressure and complexity in product and process development. Thus, the new stake is to examine new methods of leading design activities as the cooperative design that deals with the sharing of various interests and resources among various actors, with the aim of reaching a common purpose. The latter lay on the development of products by means of knowledge sharing and interactions with a certain level of coordination between these varied activities. Embedded into the IPPOP research project perspectives, this paper focus on the particular collaborative situation of conflict management occurring during design activities. From an analysis of the conflict management domain, we shall specify a collaborative design framework dedicated to conflict handling thanks to one specification method based on the UML language. The specified solving process is applied on a real-life industrial case: a windmill stator sheet design. The design context of the artefact is exposed and the met conflicts are explained. Extracts of IPPOP demonstrator's graphical user interfaces, illustrating these collaborative aspects of the software application are then presented. They show the ability of the demonstrator to run the conflict solving process and to subscribe relevant actors in this process as well as filers to track pertinent past solutions suitable for the current problem.