共查询到20条相似文献,搜索用时 109 毫秒
1.
我们在面向对象逻辑程序设计系统GKD-OOPS的基础上,研究并实现了面向智能体逻辑程序设计系统GKD-AOLPS。本文首先提出了智能体的结构和机制,然后给出了一种智能体的元级结构,最后根据言语行为理论,研究了GKD-AOLPS系统所提供的智能体通信原语的语用性质。 相似文献
2.
GKD-APS是我们基于面向智能体程序设计范例,设计并实现的一个支持智能体相关概念及智能体间消息通讯的Prolog解释器。它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通讯等概念,并提供了对这些概念的直接支持。CKD-APS为实现多智能体间的知识通讯和合作运行,构造多智能体系统提供了基础,有效地支持了分布式知识系统的研究和开发。本文首先介绍了当前国际上关于智能体及面向智能体范例的研究进展,其次描述了GKD-APS所涉及的基本概念及所实现的通讯原语的操作语义,然后给出了系统的构成及主要实现技术,最后介绍了GKD-APS所提供的智能体操作原语。 相似文献
3.
4.
GKD-APS是我们基于面向智能体程序高度范例设计并实现的一个支持智能体相关概念及智能体间消息通信的Prolog解释器。它同时引入了智能体,精神状态,知识,信念,承诺,能力及智能体阐的消息通信等要概念,并提供了对这些概念直接支持。GKD-APS为实现体间的知识通信和合作运行,构造多智能体系系统提供了基础,有效地支持了分布式系统的研究和开发。 相似文献
5.
其中所有的参数都取自EnumSes-sions,系统每收到一个回复的消息便调用一次EnumSession,并在结构LPDPSE-SSIONDESC中添入适当的值。以下是EnumSessionsCallback的程序实例。BOOLFARPASCALEnumsession(LPDPSESSIONDESClpDPGameDesc,LPVOIDlpContext,LPDWORDlpdwTimeout,DWORDdwFlags){LONGilndex:HWNDhwnd=(HWND)lpCon-text;/… 相似文献
6.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中.KBASE-P是一个通用的知识库程序设计语言.KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行1/O和DB更新操作(用扩充的内部谓词).由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小.因而,KBASE-P是一个比较实用的知识库程序设计语言.KBASE-P系统支持逻辑程序设计语言(KBASE-P语言)的程序开发,提供了文本编辑、文件管理、谓词管理、事实操作、Datalog查询、SQL查询等功能.本文详细介绍了KBASE-P系统的设计和实现. 相似文献
7.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。KBASE-P是一个通用的知识库程序设计语言。KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行I/O和DB更新操作(用扩充的内部谓词)。由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而,KBASE-P是一个比较实用的知识库程序设计语言。KBA 相似文献
8.
知识获取系统NDKAS的研究与应用 总被引:1,自引:0,他引:1
知识获取系统NDKAS的研究与应用潘金贵,陈彬,陈晶,陈世福(南京大学计算机科学系南京210008)THERESEARCHANDAPPLICATIONONTHEKNOWLEDGEACQUISITIONSYSTEM-NDKAS¥PanJingui;Ch... 相似文献
9.
一类并行多步Runge-Kutta预校算法李寿佛,甘四清(湘潭大学数学系)ACLASSOFPARALLELMULTISTEPRUNGE-KUTTAPREDICTOR-CORRECTORALGORITHMS¥LiShou-fo;GanSi-qing(D... 相似文献
10.
Navier-Stokes方程的非线性Galerkin有限元方法何银年,李开泰,向一敏(西安交通大学)NONLINEARGALERKINFINITEELEMENTMETHODOFNAVIER-STOKESEQUATIONS¥HeYin-nian;Li... 相似文献
11.
12.
This paper discusses the role of emotions in artificial agent design and implementation. The syntax and semantics of a simplified version of a logic‐based agent‐oriented programming language is presented. This programming language facilitates the implementation of artificial agents with emotions. Four types of emotions are distinguished: happiness, sadness, anger, and fear. These emotions are defined relative to agent's goals and plans. The emotions result from the agent's deliberation process and influence the deliberation process. The semantics of each emotion type is incorporated in the transition semantics of the presented agent‐oriented programming language. © 2010 Wiley Periodicals, Inc. 相似文献
13.
本文分析了目前WEB数据库技术中广泛采用的面向数据库表单垢发布方式的局限性,进而提出一种建立在CORBA平台上的通用数据库自动发布系统,它以请求与服务的机制代替了现在使用的由应用逻辑需求决定脚本程序内容的被动的编程方式,从而使WEB数据库技术在发掘其通用性,扩展性和开放性方面有了很大的改观。 相似文献
14.
万建成 《小型微型计算机系统》1999,20(3):204-208
LCPP是作者研制的逻辑与对象结合的多范式语言,由于采用以对象为基础、扩充对象的逻辑特征而实现结合,逻辑程序设计就继承了面向对象的继承性、多态性和动态约束的特性,加这对象集合中搜索的进行,大大提高了逻辑搜索实现的复杂性。本文提出并讨论了这一复杂性的表现与解决的方法。 相似文献
15.
16.
基于DFL的多Agent时序推理模型研究 总被引:1,自引:0,他引:1
Agent的理论、技术,特别是多Agent的理论、技术,为分布式开放系统的分析、设计和实现提供了一个崭新的途径。目前,对Agent的研究大致分为智能Agent、多Agent的程序设计。该文对Agent系统的群体组织结构进行深入研究,基于DFL,给出多Agent时序推理模型理论,进一步丰富Agent系统理论的研究内容。 相似文献
17.
An important problem in agent verification is a lack of proper understanding of the relation between agent programs on the
one hand and agent logics on the other. Understanding this relation would help to establish that an agent programming language
is both conceptually well-founded and well-behaved, as well as yield a way to reason about agent programs by means of agent
logics. As a step toward bridging this gap, we study several issues that need to be resolved in order to establish a precise
mathematical relation between a modal agent logic and an agent programming language specified by means of an operational semantics. In this paper, we present an agent programming theory that provides both an agent programming language as well as a corresponding agent verification logic to verify agent programs.
The theory is developed in stages to show, first, how a modal semantics can be grounded in a state-based semantics, and, second, how denotational semantics can be used to define the mathematical relation connecting the logic and agent programming language. Additionally, it is
shown how to integrate declarative goals and add precompiled plans to the programming theory. In particular, we discuss the
use of the concept of higher-order goals in our theory. Other issues such as a complete axiomatization and the complexity
of decision procedures for the verification logic are not the focus of this paper and remain for future investigation.
Part of this research was carried out while the first author was affiliated with the Nijmegen Institute for Cognition and
Information, Radboud University Nijmegen. 相似文献
18.
19.
The intelligent Fril/SQL interrogator is an object‐oriented and knowledge‐based support query system, which is implemented by the set of logic objects linking one another. These logic objects integrate SQL query, support logic programming language—Fril and Fril query together by processing them in sequence in slots of each logic object. This approach therefore takes advantage of both object‐oriented system and a logic programming‐based system. Fuzzy logic data mining and a machine learning tool kit built in the intelligent interrogator can automatically provide a knowledge base or rules to assist a human to analyze huge data sets or create intelligent controllers. Alternatively, users can write or edit the knowledge base or rules according to their requirements, so that the intelligent interrogator is also a support logic programming environment where users can write and run various Fril programs through these logic objects. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 279–302, 2007. 相似文献