• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 11 - 20 of 41
Next 10 →

Design of a Concurrent Agent-Oriented Language

by Devindra Weerasooriya, Anand S. Rao, Kotagiri Ramamohanarao , 1994
"... This paper describes the concurrent agent-oriented language AgentSpeak. AgentSpeak can model distributed autonomous agents, situated in dynamic environments, that are reactive as well as proactive towards the environment. Agents are organized into agent families offering certain services to other ag ..."
Abstract - Cited by 35 (0 self) - Add to MetaCart
This paper describes the concurrent agent-oriented language AgentSpeak. AgentSpeak can model distributed autonomous agents, situated in dynamic environments, that are reactive as well as proactive towards the environment. Agents are organized into agent families offering certain services to other

JASON Java-based AgentSpeak interpreter used with saci for multi-agent distribution over the net

by Christina Bergmann, Manoela Ilic
"... Abstract. In this survey paper we present Jason, an interpreter for the AgentSpeak programming language. Our aim is to investigate the Jason platform theoretically and to explore its practical possibilities in implementing multiagent systems. Furthermore we introduce some relevant background on mult ..."
Abstract - Add to MetaCart
Abstract. In this survey paper we present Jason, an interpreter for the AgentSpeak programming language. Our aim is to investigate the Jason platform theoretically and to explore its practical possibilities in implementing multiagent systems. Furthermore we introduce some relevant background

DOI 10.1007/s10458-006-5955-7 Verifying multi-agent programs by model checking

by Willem Visser, Michael Wooldridge , 2006
"... Abstract 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 ..."
Abstract - Add to MetaCart
Abstract 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

Developing Artificial Herders Using Jason

by Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen
"... Abstract. This paper gives an overview of a proposed strategy for the “Cows and Herders ” scenario given in the Multi-Agent Programming Contest 2009. The strategy is to be implemented using the Jason plat-form, based on the agent-oriented programming language AgentSpeak. The paper describes the agen ..."
Abstract - Add to MetaCart
Abstract. This paper gives an overview of a proposed strategy for the “Cows and Herders ” scenario given in the Multi-Agent Programming Contest 2009. The strategy is to be implemented using the Jason plat-form, based on the agent-oriented programming language AgentSpeak. The paper describes

JASON AND THE GOLDEN FLEECE OF AGENT-ORIENTED PROGRAMMING

by Rafael H. Bordini, Jomi F. Hübner, Renata Vieira
"... This chapter describes Jason, an interpreter written in Java for an extended version of AgentSpeak, a logic-based agent-oriented programming language that is suitable for the implementation of reactive planning systems according to the BDI architecture. We describe both the language and the various ..."
Abstract - Cited by 75 (21 self) - Add to MetaCart
This chapter describes Jason, an interpreter written in Java for an extended version of AgentSpeak, a logic-based agent-oriented programming language that is suitable for the implementation of reactive planning systems according to the BDI architecture. We describe both the language

Agent-oriented programming with underlying ontological reasoning

by Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Hübner - In Baldoni, M., Endriss, U., Omicini, A., & Torroni, P. (Eds.), Proceedings of the Third International Workshop on Declarative Agent Languages and Technologies (DALT-05), held with AAMAS-05, 25th of July , 2005
"... Abstract. Developing applications that make use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this vision is also affecting important trends in Computer Science such as Grid and Mobile computing. In this paper we propose ..."
Abstract - Cited by 14 (6 self) - Add to MetaCart
propose a version of the BDI agent-oriented programming language AgentSpeak that is based on Description Logic (DL). In this approach, the belief base of an agent contains the definition of complex concepts, besides specific factual knowledge. The advantages of combining AgentSpeak with DL are: (i

CASO: A Framework for dealing with objectives in a

by Constraint-Based Extension To, Aniruddha Dasgupta Aditya
"... Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more e#cient computation (in some instances). More interestingly, the use of constraint-based representations can make it possible to deal with explicit agent objectives (as ..."
Abstract - Add to MetaCart
(as distinct from agent goals) that express the things that an agent may seek to optimize at any given point in time. In this paper we extend the preliminary work of Ooi et.al in augmenting the popular Belief-Desire-Intention (BDI) language AgentSpeak (L) with constraint-handling capabilities. We

Language Constructs for Multi-Agent Programming

by Louise Dennis, Michael Fisher - In Proc. 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA , 2007
"... Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend programming languages based on the BDI style of logical agent model with two such constructs, namely constraints and cont ..."
Abstract - Cited by 5 (4 self) - Add to MetaCart
semantics based on the core of AGENTSPEAK, 3APL and METATEM. In addition, we provide illustrative examples by simulating both constraints and content/context sets within the Jason interpreter for AGENTSPEAK. In summary, we advocate the use of these simple constructs in many logic-based BDI languages

Developing organised multi-agent systems using the moise+ model: Programming issues at the system and agent levels

by Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier - INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING , 2007
"... Multi-Agent Systems (MAS) has evolved towards the specification of global constraints that heterogeneous and autonomous agents are supposed to follow when concerning open systems. A subset of these constraints is known as the MAS organisation. This article describes a set of computational tools that ..."
Abstract - Cited by 56 (15 self) - Add to MetaCart
that supports the development and the programming of such systems. At the system level, it is provided a middleware which ensures that all agents will follow the organisational constraints. At the agent level, the AgentSpeak language is extended, using Jason features, so that the agents can perceive and act

Implementing Lego Agents Using Jason

by Andreas Schmidt Jensen , 2010
"... Since many of the currently available multi-agent frameworks are generally mostly intended for research, it can be difficult to built multi-agent systems using physical robots. In this report I describe a way to combine the multi-agent framework Jason, an extended version of the agent-oriented progr ..."
Abstract - Add to MetaCart
-oriented programming language AgentSpeak, with Lego robots to address this problem. By extending parts of the Jason reasoning cy-cle I show how Lego robots are able to complete tasks such as following lines on a floor and communicating to be able to avoid obstacles with minimal amount of coding. The final
Next 10 →
Results 11 - 20 of 41
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University