Results 1 -
4 of
4
Skeleton-based Agent Development for Electronic
- In Proc. AAMAS’02
, 2002
"... In this paper we describe work in progress concerning the (semi-)automatic support for developing agents. We focus on the scenario in which agents have to be designed to follow an electronic institution. An initial design pattern is automatically extracted from a given electronic institution and oer ..."
Abstract
-
Cited by 31 (5 self)
- Add to MetaCart
In this paper we describe work in progress concerning the (semi-)automatic support for developing agents. We focus on the scenario in which agents have to be designed to follow an electronic institution. An initial design pattern is automatically extracted from a given electronic institution and oered to programmers willing to develop agents for the speci c purpose of joining and performing in the electronic institution. We resort to logic programming as our underlying computational framework, explaining and justifying this decision.
Rapid prototyping of large multi-agent systems through logic programming
- IEEE Computer Society, U.S.A
, 2002
"... Abstract. Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for rapidly building prototypes of large multi-agent systems using logic programming. Our method advocates the us ..."
Abstract
-
Cited by 18 (9 self)
- Add to MetaCart
(Show Context)
Abstract. Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for rapidly building prototypes of large multi-agent systems using logic programming. Our method advocates the use of a description of all permitted interactions among the components of the system, that is, the protocol, as the starting specification. The protocol is represented in a way that allows us to automatically check for desirable properties of the system to be built. We then employ the same specification to synthesise agents that will correctly follow the protocol. These synthesised agents are simple logic programs that engineers can further customise into more sophisticated software. Our choice of agents as logic programs allows us to provide semi-automatic support for the customisation activity. In our method, a prototype is a protocol with a set of synthesised and customised agents. Executing the prototype amounts to having these agents enact the protocol. We have implemented and described a distributed platform to simulate prototypes. 1.
Characterisation of Knowledge Bases 1
"... The process of determining the principal topic of a Knowledge base (KB), and whether it conforms to a set of user-defined constraints, are important steps in the reuse of Knowledge Bases. We refer to these steps as the process of characterization of a Knowledge Base. Identify-Knowledge-Base (IKB) is ..."
Abstract
- Add to MetaCart
(Show Context)
The process of determining the principal topic of a Knowledge base (KB), and whether it conforms to a set of user-defined constraints, are important steps in the reuse of Knowledge Bases. We refer to these steps as the process of characterization of a Knowledge Base. Identify-Knowledge-Base (IKB) is a tool, which suggests the principal topic(s) addressed by the Knowledge Base. It matches concepts extracted from a particular knowledge base against some reference taxonomy, where the taxonomy can be pre-stored or extracted from ontologies which are either stored on the local machine or are assessable through the WWW. The 'most specific' super-concept subsuming these concepts is said to be the principal topic of the knowledge base. Additionally, a series of filters, which check if a KB has particular characteristics have been implemented. This paper describes both the Identify-Knowledge Base system and these filters. Some empirical studies of IKB and the filters with a range of problems are also reported. 1.