检索结果-内蒙古大学图书馆

1st Insternational Conference on Intelligent Networking and Collaborative Systems

作者： Ghit, Bogdan Voicu, Octavian Pop, Florin Cristea, Valentin Univ Politehn Bucuresti Fac Automat & Comp Sci Bucharest Romania

ISBN: (纸本)9781424451654

This paper's goal is to design an intrusion detection system for a distributed environment adapted for developing and monitoring agents. The idea is to endow the agent platform with a high level of immunity by integrating the intrusion detection system based on artificial intelligence techniques. The agent platform itself is improved with advanced mechanisms for monitoring, analyzing, discovering, learning, and detecting intruders. The most important aspect of this platform is represented by its capability of detecting and rejecting possible intruders. The paper discusses in a critical way the traditional views of intrusion detection and analyzes the more complex approach to human immune system. The proposed architecture is a layered one and the paper describes the role and capability of each layer. The novelty of this approach is proved by the monitoring agents' activities regarding services and actions which are translated in terms of system's resources: processor, memory and bandwidth. The monitoring process is the key of the intrusion detection mechanism.

关键词： agent-oriented programming Intrusion Detection System Genetic Algorithm Rule Based System Jade

来源：评论

学校读者我要写书评

暂无评论

JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming

引用

COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2005年第1期31卷 17-33页

作者： Amandi, A Campo, M Zunino, A UNICEN Univ Res Inst ISISTAN RA-7000 Buenos Aires DF Argentina

Intelligent agent development has imposed new challenges on the necessary language support. Object-oriented languages have been proposed as an appropriate tool, although logic-oriented languages are more adequate for managing mental attitudes. Mufti-paradigm languages supporting encapsulation of action, hiding of private knowledge and flexible manipulation of knowledge are, certainly, a Good alternative for programming agents. However, a unique language to support flexible and efficient development of mufti-agent systems confronts with the tradeoffs imposed by expressive power, efficiency and support technology. An alternative to conciliate these tradeoffs is not to think about a single language but an incrementally compatible family of agent-oriented mufti-paradigm languages. In this work we present an approach based on object-oriented framework technology for integrating object and logic paradigms in such a way that new language features can be incrementally added to the core language. This core language is based on logic modules integrated as object abstractions in the object paradigm. JavaLog is a materialization of this framework integrating Java and Prolog. This core was extended to provide mufti-threading support, mobility and temporal-logic operator to Prolog. MoviLog, the mobile part of the family provides a novel mobility mechanism, reactive mobility by failure. which enables virtual Prolog databases distributed across Web sites. (C) 2004 Elsevier Ltd. All rights reserved.

关键词： multi-paradigm languages logic programming object-oriented progamming agent-oriented programming object-oriented frameworks intelligent agents

来源：评论

学校读者我要写书评

暂无评论

LEARNING TECHNOLOGY SYSTEM ARCHITECTURE BASED ON agentS AND SEMANTIC WEB

LEARNING TECHNOLOGY SYSTEM ARCHITECTURE BASED ON AGENTS AND ...

引用

10th International Conference on Enterprise Information Systems

作者： Canales, Alejandro Peredo, Ruben Inst Politecn Nacl Res Ctr Comp Sci Mexico City 07738 DF Mexico

ISBN: (纸本)9789898111395

The paper presents a new Learning Technology System Architecture that is implemented using agents and semantic Web. The architecture is divided into client and server parts to facilitate adaptivity in various configurations such as online, offline and mobile scenarios. The implementation of this approach to architecture is discusses in SiDeC (authoring tool) and Evaluation System, which are researching, evaluating and developing an integrated system for Web-Based Education, with powerful adaptivity for the management, authoring, delivery and monitoring of such material.

关键词： Web-Based Education agent-oriented programming IRLCOO

来源：评论

学校读者我要写书评

暂无评论

Proving BDI properties of agent-oriented programming languages - The asymmetry thesis principles in agentSpeak(L)

引用

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2004年第1-3期42卷 197-226页

作者： Bordini, RH Moreira, AF Univ Liverpool Dept Comp Sci Liverpool L69 7ZF Merseyside England Univ Fed Rio Grande do Sul Dept Informat Teor Inst Informat BR-91501970 Porto Alegre RS Brazil

In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's agentSpeak(L), a logic programming language inspired by the BDI architecture for cognitive agents. In order to set the grounds for the proofs, we first introduce a rigorous way in which to define the informational, motivational, and deliberative modalities of BDI logics for agentSpeak( L) agents, according to its structural operational semantics that we introduced in a recent paper. This computationally grounded semantics for the BDI modalities forms the basis of a framework that can be used to further investigate BDI properties of agentSpeak( L) agents, and contributes towards establishing firm theoretical grounds for a BDI approach to agent-oriented programming.

关键词： distributed artificial intelligence BDI logics agent-oriented programming structural operational semantics asymmetry thesis principles

来源：评论

学校读者我要写书评

暂无评论

agent-oriented Probabilistic Logic programming

引用

Journal of Computer Science & Technology 2006年第3期21卷 412-417页

作者：王洁鞠实儿刘椿年 Key Laboratory of Multimedia and Intelligent Software Beijing University of Technology Beijing 100022 P.R. China Institute of Logic and Cognition Zhongshan University Guangzhou 510275 P.R. China

Currently, agent-based computing is an active research area, and great efforts have been made towards the agent-oriented programming both from a theoretical and practical view. However, most of them assume that there is no uncertainty in agents＇ mental state and their environment. In other words, under this assumption agent developers are just allowed to specify how his agent acts when the agent is 100% sure about what is true/false. In this paper, this unrealistic assumption is removed and a new agent-oriented probabilistic logic programming language is proposed, which can deal with uncertain information about the world. The programming language is based on a combination of features of probabilistic logic programming and imperative programming.

关键词： agent uncertainty probabilistic logic programming agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

agents come to bits: Towards a constructive comprehensive taxonomy of economic entities

引用

JOURNAL OF ECONOMIC BEHAVIOR & ORGANIZATION 2007年第2期63卷 333-346页

作者： Tesfatsion, Leigh Iowa State Univ Dept Econ Ames IA 50011 USA

Mirowski [Mirowski, P., 2007. Markets come to bits: evolution, computation, and markomata in economic science. Journal of Economic Behavior and Organization 63, 209-242] argues for a constructive approach to economic modeling centered on markets as evolving computational entities. This essay counters that a broader constructive approach to economic modeling can and should be taken. The recent advent of powerful computer technologies supporting agent-based modeling (ABM) renders feasible the computational study of economies modeled as evolving systems of interacting agents. In ABM, an "agent" refers broadly to bundled data and behavioral methods representing an entity constituting part of a computationally constructed world. Examples of possible agent referents include individuals, social groupings, institutions (e.g., markets), biological entities such as crops, and physical entities such as transportation networks and weather. Consequently, ABM provides tremendous opportunities for economists and other social scientists to tailor the breadth and depth of the entities represented in their models to the application at hand. A simple ABM of a two-sector decentralized market economy is used for concrete illustration. (c) 2006 Elsevier B.V. All rights reserved.

关键词： agent-based modeling agent-based computational economics structure institution behavior decentralized market economies agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

agent-oriented programming in defence domain

引用

DEFENCE SCIENCE JOURNAL 2003年第3期53卷 267-273页

作者： Doiphode, S Res & Dev Estab Engn Pune 411015 Maharashtra India

Research in distributed artificial intelligence has given rise to agent-oriented programming (AOP), an advanced software modelling paradigm. It has several benefits when compared with the existing development approaches, in particular, the ability to let agents represent high-level abstractions of active entities in a software system. Although still young and under evolution, this paradigm has already shown particular promise in a number of areas. This paper gives an overview of this paradigm, its benefits over the other conventional programming paradigms being used. It also proposes the decision support system model for the military domain. In the proposed system there are certain critical issues, which need to be focused upon, The existing conventional paradigms are inadequate to deal with these issues. This paper identifies these critical issues and discusses how AOP can address these issues.

关键词： agent-oriented programming distributed artificial intelligence artificial intelligence decision support system object-oriented programming JAVA intelligent agents mobile agents BDI agent

来源：评论

学校读者我要写书评

暂无评论

Verifying multi-agent programs by model checking

引用

AUTONOMOUS agentS AND MULTI-agent SYSTEMS 2006年第2期12卷 239-256页

作者： Bordini, RH Fisher, M Visser, W Wooldridge, M Univ Durham Durham DH1 3HP England Univ Liverpool Liverpool L69 3BX Merseyside England NASA Ames Res Ctr RIACS Moffett Field CA 94035 USA

This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-based agent-oriented programming language agentSpeak into either Promela or Java, and then use the associated Spin and JPF model checkers to verify the resulting systems. We also describe the simplified BDI logical language that is used to write the properties we want the systems to satisfy. The approach is illustrated by means of a simple case study.

关键词： agent-oriented programming agentSpeak model checking spin JPF

来源：评论

学校读者我要写书评

暂无评论

Using shadow prices for resource allocation in a combinatorial grid with proxy-bidding agents

Using shadow prices for resource allocation in a combinatori...

引用

8th International Conference on Enterprise Information Systems (ICEIS 2006)

作者： Schwind, Michael Gujo, Oleg Goethe Univ Frankfurt Inst Informat Syst Mertonstr 17 D-60054 Frankfurt Germany

ISBN: (纸本)9728865449

Our paper presents an agent-based simulation environment for task scheduling in a distributed computer systems (grid). The scheduler enables the simultaneous allocation of resources like CPU time, communication bandwidth, volatile, and non-volatile memory while employing a combinatorial resource allocation mechanism. The resources are allocated by an iterative combinatorial auction with proxy-bidding agents that try to acquire their desired resource allocation profiles with respect to limited monetary budget endowments. In order to achieve an efficient bidding process, the auctioneer provides information on resource prices to the bidding agents. The calculation of explicit resource prices in a combinatorial auction is computationally demanding, especially if the the bid bundles exhibit complementarities or substitutionalities. We therefore propose a new approximate pricing mechanism using shadow prices from a linear programming formulation for this purpose. The efficiency of the shadow price-based allocation mechanism is tested in the context of a closed loop grid system in which the agents can use monetary units rewarded for the resources they provide to the system for the acquisition of complementary capacity. Two types of proxy-bidding agents are compared in terms of efficiency (received units of resources, time until bid acceptance) within this scenario: An aggressive bidding agent with strongly rising bids and a smooth bidding agent with slowly increasing bids.

关键词： resource allocation combinatorial auction grid computing agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Adaptable Java agents (AJA) - a tool for programming of multi-agent systems

引用

ACM SIGPLAN NOTICES 2005年第2期40卷 17-26页

作者： Badjonski, M Ivanovic, M Budimac, Z Fac Sci Novi Sad Dept Math & Informat YU-21000 Novi Sad Serbia Monteneg Serbia

agent-building tools have an important role in popularizing agent technology. This paper describes a new agent-programming tool AJA. AJA consists of two programming languages: HADL for defining of higher-level agent constructs and Java+ for low-level programming of these constructs. Among other interesting features AJA presents an original approach of incorporating artificial intelligence techniques, such as artificial neural nets, into a programming language.

关键词： agent-oriented programming neural networks programming language

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：