The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of requester with provider agents requires the use of specialized agents known as middle-agents. In this paper, we propose a formal framework intended to precisely characterize types of middle-agents with a special focus on matchmakers,...
In this paper we propose a generalization of the classic monotonic concession protocol for agent negotiation, originally proposed for two agents, to one-to-many negotiation. This assumes generalization of agreement formation and concession operations from two-agents case to one-to-many case. Our approach is inspired by a recent generalization of the two-agent case to multiple agents. We perform a...
We propose a formal framework based on finite state process algebra for modeling service coordination in agent systems. The model is inspired by WS-coordination specification. Several participant agents can coordinate their actions towards reaching a semantically consistent outcome in a distributed activity. The model defines coordinator and participant agents and their generic interaction protocols...
In this note we show how our framework for formal specification and verification using FSP process algebra and FLTL temporal logic can be practically applied to check properties of agent systems that contain matchmakers.
In this paper we discuss experimental results obtained with a prototype implementation of an agent-based service for generic auctions that is currently under development. We configured the service to allow parallel execution of multiple English auctions with buyer and seller agents bidding from different machines. The experimental results to assess the performance of the service include latency and...
The contribution of this paper is to propose a simple approach for the design and implementation of code mobility using mobile software agents. The approach is demonstrated by its application to standard code mobility paradigms. We start from existing formalizations of code mobility paradigms and show how they can be used to derive standard UML sequence diagrams that describe agent interactions and...
This paper analyzes the behavior of students in an educational hypermedia system, with the goal of identifying correlations between patterns of behavior and studentspsila learning style. Data from an exploratory study are presented and discussed: 22 students interact with an educational hypermedia system called WELSA, having all their actions monitored and logged by the system. Behavioral patterns...
Investigating the behavior of students in an educational system is the first step towards automating the process of learning style diagnosing. This paper reports the results of an experimental study involving 22 students, analyzing and discussing the traces of the students' interactions with the system. While this analysis does not enable us to draw any definitive conclusions (a more thorough inferential...
Global agent-based e-business environments have been proposed to enable dynamic trading between business partners. In particular, negotiation is a necessary and important activity to allow engagement of business parties in non-trivial business relationships. In this note we present our proposal for introducing a high-level declarative representation of negotiation mechanisms to facilitate creation,...
This note presents our initial proposal for capturing knowledge required for learner modeling and adaptation provisioning in an educational hypermedia system using a rule-based approach. Rules have been categorized as i) modeling rules - necessary for the identification of the learner style based on observed learning preferences and ii) adaptation rules - necessary for content adaptation based on...
In this note we consider design of a information provisioning subsystem for an agent-based virtual organization. Flexible delivery of information is based on matching of ontologically demarcated resource profiles, work contexts, and domain specific knowledge.
Learning style represents an important concept in educational psychology, having a significant effect on the learning process. However, most of today's adaptive educational systems don't take into account this dimension of the student profile. Those that do, only rely on a single learning style model and usually adopt a static and explicit approach to student modeling: the learner has to fill in a...
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results reported in the literature, as well as the main criticisms of the current approaches. Thus, most of the adaptive educational systems to date are based on a single learning style model and the diagnosis is done explicitly, by...
We propose the use of finite state process algebra for modeling interactions between requesters, providers and middle-agents in global environments like the Internet. The results are threefold: (i) precise specification of interactions depending on type of middle-agent; (ii) understanding the requirements of parties involved in interactions; (iii) improvement of communication between designers and...
Adaptive Web-based educational systems are a continuously growing area of research. However, despite the relatively numerous approaches, adaptivity from the point of view of student learning styles is not properly addressed. We therefore plan to create a framework for devising and deploying university courses that will take into account not only student's knowledge level but also his/her cognitive...
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions - e.g. user request to purchase a given product - are to be implemented. Furthermore, the "airline ticket reservation model" used in the system involves time management issues that have not been addressed. The aim of the paper is to discuss the way in which...
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermore, need for agent mobility as the optimal solution to satisfy user needs was discussed. The aim of this paper is to introduce UML formalizations of most important agents that appear in the model system as well as presentation...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.