A MAS-based infrastructure for negotiation and its application to a water-right market

The final publication is available at Springer via http://dx.doi.org/10.1007/s10796-013-9443-8This paper presents a MAS-based infrastructure for the specification of a negotiation framework that handles multiple negotiation protocols in a coherent and flexible way. Although it may be used to implement one single type of agreement mechanism, it has been designed in such a way that multiple mechanisms may be available at any given time, to be activated and tailored on demand (on-line) by participating agents. The framework is also generic enough so that new protocols may be easily added. This infrastructure has been successfully used in a case study to implement a simulation tool as a component of a larger framework based on an electronic market of water rights.This paper was partially funded by the Consolider AT project CSD2007-0022 INGENIO 2010 of the Spanish Ministry of Science and Innovation; the MICINN projects TIN2011-27652-C03-01 and TIN2009-13839-C03-01; and the Valencian Prometeo project 2008/051.Alfonso Espinosa, B.; Botti Navarro, VJ.; Garrido Tejero, A.; Giret Boggino, AS. (2014). A MAS-based infrastructure for negotiation and its application to a water-right market. Information Systems Frontiers. 16(2):183-199. https://doi.org/10.1007/s10796-013-9443-8S183199162Alberola, J.M., Such, J.M., Espinosa, A., Botti, V., García-Fornes, A. (2008). Magentix: a multiagent platform integrated in linux. In EUMAS (pp. 1–10).Alfonso, B., Vivancos, E., Botti, V., García-Fornes, A. (2011). Integrating jason in a multi-agent platform with support for interaction protocols. In Proceedings of the compilation of the co-located workshops on AGERE!’11, SPLASH ’11 workshop (pp. 221–226). New York: ACM.Andreu, J., Capilla, J., Sanchis, E. (1996). AQUATOOL, a generalized decision-support system for water-resources planning and operational management. Journal of Hydrology, 177(3–4), 269–291.Bellifemine, F., Caire, G., Greenwood, D. (2007). Developing multi-agent systems with JADE. Wiley.Bordini, R.H., Hübner, J.F., Wooldridge, M. (2007). Programming multi-agent systems in agent speak usign Jason. Wiley.Botti, V., Garrido, A., Gimeno, J.A., Giret, A., Noriega, P. (2011). The role of MAS as a decision support tool in a water-rights market. In AAMAS 2011 workshops, LNAI 7068 (pp. 35–49). Springer.Braubach, L., Pokahr, A., Lamersdorf, W. (2005). Software agent-based applications, platforms and development kits In C.M.K.R. Unland (Ed.), Jadex: a BDI agent system combining middleware and reasoning (Vol. 9, pp. 143–168): Birkhäuser-Verlag.DeSanctis, G.B., & Gallupe, B. (1987). A foundation for the study of group decision support systems. Knowledge based systems, 33(5), 589–609.Eckersley, P. (2003). Virtual markets for virtual goods. Available at http://www.ipria.com/publications/wp/2003/IPRIAWP02.2003.pdf (Accessed April 2012).Fjermestad, J., & Hiltz, S. (2001). Group support systems: a descriptive evaluation of case and field studies. Journal of Management Information Systems, 17(3), 115–161.Fogués, R.L., Alberola, J.M., Such, J.M., Espinosa, A., García-Fornes, A. (2010). Towards dynamic agent interaction support in open multiagent systems. In Proceedings of the 13th international conference of the catalan association for artificial intelligence (Vol. 220, pp. 89–98). IOS Press.Foundation for Intelligent Physical Agents. (2001). FIPA interaction protocol library specification XC00025E. FIPA Consortium.Garrido, A., Arangu, M., Onaindia, E. (2009). A constraint programming formulation for planning: from plan scheduling to plan generatio. Journal of Scheduling, 12(3), 227–256.Giret, A., Garrido, A., Gimeno, J.A., Botti, V., Noriega, P. (2011). A MAS decision support tool for water-right markets. In Proceedings of the tenth international conference on autonomous agents and multiagent systems (Demonstrations@AAMAS) (pp. 1305–1306).Gomez-Limon, J., & Martinez, Y. (2006). Multi-criteria modelling of irrigation water market at basin level: a Spanish case study. European Journal of Operational Research, 173, 313–336.Janjua, N.K., Hussain, F.K., Hussain, O.K. (2013). Semantic information and knowledge integration through argumentative reasoning to support intelligent decision making. Information Systems Frontiers, 15(2), 167–192.jen Hsu, J.Y., Lin, K.-J., Chang, T.-H., ju Ho, C., Huang, H.-S., rong Jih, W. (2006). Parameter learning of personalized trust models in broker-based distributed trust management. Information Systems Frontiers, 8(4), 321–333.Kersten, G., & Lai, H. (2007). European Journal of Operational Research, 180(2), 922–937.Lee, N., Bae, J.K., Koo, C. (2012). A case-based reasoning based multi-agent cognitive map inference mechanism: an application to sales opportunity assessment. Information Systems Frontiers, 14(3), 653–668.Luck, M., & AgentLink. (2005). Agent technology: computing as interaction: a roadmap for agent-based computing. Compiled, written and edited by Michael Luck et al. AgentLink, Southampton.Ma, J., & Orgun, M.A. (2008). Formalizing theories of trust for authentication protocols. Information Systems Frontiers, 10(1), 19–32.Pokahr, A., Braubach, L., Walczak, A., Lamersdorf, W. (2007). Developing multi-agent systems with JADE. Jadex-Engineering Goal-Oriented Agents (pp. 254258). Wiley.Ramos, C., Cordeiro, M., Praça, I., Vale, Z. (2005). Intelligent agents for negotiation and game-based decision support in electricity market. Engineering Intelligent Systems for Electrical Engineering and Communications, 13(2), 147–154.Sierra, C., Botti, V., Ossowski, S. (2011). Agreement computing. KI - Künstliche Intelligenz, 25(1), 57–61.Thobani, M. (1997). Formal water markets: why, when and how to introduce tradable water rights. The World Bank Research Observer, 12(2), 161–179

Adaptive Intelligent Tutoring System for learning Computer Theory

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned

Multi-agent evolutionary systems for the generation of complex virtual worlds

Modern films, games and virtual reality applications are dependent on convincing computer graphics. Highly complex models are a requirement for the successful delivery of many scenes and environments. While workflows such as rendering, compositing and animation have been streamlined to accommodate increasing demands, modelling complex models is still a laborious task. This paper introduces the computational benefits of an Interactive Genetic Algorithm (IGA) to computer graphics modelling while compensating the effects of user fatigue, a common issue with Interactive Evolutionary Computation. An intelligent agent is used in conjunction with an IGA that offers the potential to reduce the effects of user fatigue by learning from the choices made by the human designer and directing the search accordingly. This workflow accelerates the layout and distribution of basic elements to form complex models. It captures the designer's intent through interaction, and encourages playful discovery

An agent system to support student teams working online

Online learning is now a reality, with distributed learning and blended learning becoming more widely used in Higher Education. Novel ways in which undergraduate and postgraduate learning material can be presented are being developed, and methods for helping students to learn online are needed, especially if we require them to collaborate with each other on learning activities. Agents to provide a supporting role for students have evolved from Artificial Intelligence research, and their strength lies in their ease of operation over networks as well as their ability to act in response to stimuli. In this paper an application of a software agent is described, aimed at supporting students working on team projects in the online learning environment. Online teamwork is problematical for a number of reasons, such as getting acquainted with team members, finding out about other team members’ abilities, agreeing who should do which tasks, communications between team members and keeping up to date with progress that has been made on the project. Software agents have the ability to monitor progress and to offer advice by operating in the background, acting autonomously when the need arises. An agent prototype has been developed in Prolog to perform a limited set of functions to support students. Team projects have a planning, doing and completing stage, all of which require them to have some sort of agent support. This agent at present supports part of the planning stage, by prompting the students to input their likes, dislikes and abilities for a selection of task areas defined for the project. The agent then allocates the various tasks to the students according to predetermined rules. The results of a trial carried out using teams working on projects, on campus, indicate that students like the idea of using this agent to help with allocating tasks. They also agreed that agent support of this type would probably be helpful to both students working on team projects with face to face contact, as well as for teams working solely online. Work is ongoing to add more functionality to the agent and to evaluate the agent more widely

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code

The current trend in next-generation exascale systems goes towards integrating a wide range of specialized (co-)processors into traditional supercomputers. However, the integration of different specialized devices increases the degree of heterogeneity and the complexity in programming such type of systems. Due to the efficiency of heterogeneous systems in terms of Watt and FLOPS per surface unit, opening the access of heterogeneous platforms to a wider range of users is an important problem to be tackled. In order to bridge the gap between heterogeneous systems and programmers, in this paper we propose a machine learning-based approach to learn heuristics for defining transformation strategies of a program transformation system. Our approach proposes a novel combination of reinforcement learning and classification methods to efficiently tackle the problems inherent to this type of systems. Preliminary results demonstrate the suitability of the approach for easing the programmability of heterogeneous systems.Comment: Part of the Program Transformation for Programmability in Heterogeneous Architectures (PROHA) workshop, Barcelona, Spain, 12th March 2016, 9 pages, LaTe

Design and Development of an Intelligent Tutoring System for C# Language

Learning programming is thought to be troublesome. One doable reason why students don’t do well in programming is expounded to the very fact that traditional way of learning within the lecture hall adds more stress on students in understanding the Material rather than applying the Material to a true application. For a few students, this teaching model might not catch their interest. As a result, they'll not offer their best effort to grasp the Material given. Seeing however the information is applied to real issues will increase student interest in learning. As a consequence, this may increase their effort to be taught. In the current paper, we try to help students learn C# programming language using Intelligent Tutoring System. This ITS was developed using ITSB authoring tool to be able to help the student learn programming efficiently and make the learning procedure very pleasing. A knowledge base using ITSB authoring tool style was used to represent the student's work and to give customized feedback and support to students

ADO-Tutor: Intelligent Tutoring System for leaning ADO.NET

This paper describes an Intelligent Tutoring System for helping users with ADO.NET called ADO-Tutor. The Intelligent Tutoring System was designed and developed using (ITSB) authoring tool for building intelligent educational systems. The user learns through the intelligent tutoring system ADO.NET, the technology used by Microsoft.NET to connect to databases. The material includes lessons, examples, and questions. Through the feedback provided by the intelligent tutoring system, the user's understanding of the material is assessed, and accordingly can be guided to different difficulty level of exercises and/or the lessons. The Intelligent Tutoring System was evaluated by a group of users and the results were more than satisfactory in terms of the quality of the material and the design of the system

An evaluation of scaffolding for virtual interactive tutorials

Scaffolding refers to a temporary support framework used during construction. Applied to teaching and learning it describes measures to support a learner to become confident and self-reliant in a subject. In a Web environment scaffolding features need to replace the instructor. We discuss our approach to Web-based scaffolding based on the cognitive apprenticeship and activity theories. We suggest a set of four scaffold types that have made our scaffolding-supported virtual interactive tutorial successful. We present a novel evaluation approach for virtual tutorials that is embedded into an iterative, evolutionary instructional design