{"title":"Tools for analyzing intelligent agent systems","authors":"T. Bosse, D. Lam, K. S. Barber","doi":"10.3233/WIA-2008-0145","DOIUrl":"https://doi.org/10.3233/WIA-2008-0145","url":null,"abstract":"When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system behavior is a challenging task. To aid the developer in such tasks, this paper presents an approach that combines two software engineering tools - the Tracer Tool and the TTL Checker, which together record agent activities as execution traces and verify that the traces satisfy specified properties. The objective of the combined tool is to aid the user in redesigning, debugging, and maintaining the agent system. The Tracer Tool ensures that the user's comprehension of the system behavior is accurate with respect to the execution traces and provides explanations of anomalous behavior, which can be detected as a failed behavioral property by the TTL Checker. The integrated approach has been applied to an agent-based system designed to coordinate unmanned aerial vehicles.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130393496","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
P. Návrat, M. Kovacik, Anna Bou Ezzeddine, Viera Rozinajová
{"title":"Web search engine working as a bee hive","authors":"P. Návrat, M. Kovacik, Anna Bou Ezzeddine, Viera Rozinajová","doi":"10.3233/WIA-2008-0150","DOIUrl":"https://doi.org/10.3233/WIA-2008-0150","url":null,"abstract":"A new approach to web search that is based on a bee hive metaphor is presented. We proposed a modified model of a bee hive. Our model comprises of a dance floor, an auditorium, and a dispatch room. We have shown that the model is a true model of a bee hive in the sense it simulates several kinds of its typical behaviour. However, more importantly it is a simple model that describes some processes taking place in web search. Our model incorporates also several kinds of uncertainty. Experiments show that uncertainty increases robustness of the search and makes it actually more efficient.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122902555","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A general framework for parallel BDI agents in dynamic environments","authors":"Huiliang Zhang, Shell-Ying Huang","doi":"10.3233/WIA-2008-0144","DOIUrl":"https://doi.org/10.3233/WIA-2008-0144","url":null,"abstract":"In this paper, a general framework for the parallel BDI model suitable for dynamic environments is proposed. It is a parallel agent architecture that supports the following agent abilities at architecture level: (1) the ability to monitor the environment at all times and respond to emergencies timely; (2) the ability to reconsider and re-schedule goals, intentions and actions in reaction to unexpected or new information; (3) the ability to perform multiple actions at once; (4) the ability to perceive, deliberate and act simultaneously; (5) the ability to prioritize the deliberations and intention executions. We define the functions and the operations of the processing units in the agent and how these units interact, cooperate and synchronize with each other. With the advances in semiconductor technology which allow multiple processing units to be implemented on the same silicon chip, a parallel BDI agent will be an effective way to enable it to perform in a dynamically changing environment when the arrival rate of events is high. We illustrate the working of a parallel agent under the general framework with an agent simulating the behaviour of a vessel captain navigating in sea. Then the performance of a parallel agent is evaluated against several versions of sequential agents. The issue of how much parallelism and how to configure a parallel agent based on the general framework are studied by experiments with different configurations of the parallel agent.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116473174","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Using multi-agent platform for pure decentralised business workflows","authors":"Li Guo, D. Robertson, Y. Chen-Burger","doi":"10.3233/WIA-2008-0142","DOIUrl":"https://doi.org/10.3233/WIA-2008-0142","url":null,"abstract":"This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS specification. Our work demonstrates that a multi-agent interaction protocol (Lightweight Coordination Calculus) can be derived from a BPEL4WS specification to enable pure decentralised business workflows. The key difference between our work and other existing multi-agent based systems is that our approach proposes a pure distributed architecture (no centralised controller/coordinator) for deploying workflow systems in an open environment (internat). Moreover, with our approach, existing workflow developing methodologies and business process models can be adopted in as much as possible for multi-agent system development. Some problems we encountered such as mapping problem between the used business process modelling and multi-agent interaction protocol description languages are addressed.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130435313","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Computational Intelligence techniques for Web personalization","authors":"G. Castellano, A. Fanelli, M. Torsello","doi":"10.3233/WIA-2008-0140","DOIUrl":"https://doi.org/10.3233/WIA-2008-0140","url":null,"abstract":"Computational Intelligence (CI) paradigms reveal to be potential tools to face under the Web uncertainty. In particular, CI techniques may be properly exploited to handle Web usage data and develop Web-based applications tailored on users preferences. The main rationale behind this success is the synergy resulting from CI components, such as fuzzy logic, neural networks and genetic algorithms. In fact, rather than being competitive, each of these computing paradigms provides complementary reasoning and searching methods that allow the use of domain knowledge and empirical data to solve complex problems. This paper focuses on the major Computational Intelligent combinations applied in the context of Web personalization, by providing different examples of intelligent systems which have been designed to provide Web users with the information they search, without expecting them to ask for it explicitly. In particular, this paper emphasizes the suitability of hybrid schemes deriving from the profitable combination of different CI methodologies for the development of effective Web personalization systems.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126193365","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Monitoring the status of a research community through a Knowledge Map","authors":"P. Velardi, A. Cucchiarelli, Fulvio D'Antonio","doi":"10.3233/WIA-2008-0141","DOIUrl":"https://doi.org/10.3233/WIA-2008-0141","url":null,"abstract":"The NoE (Network of Excellence) INTEROP is an instrument for strengthening the excellence of European research in interoperability of enterprise applications, by bringing together the complementary competences required to develop interoperability in a more global and innovative way. One of the main objectives of INTEROP was to build a so-called “Knowledge Map” (KMap) of partner competences, a competency management system used to perform a periodic diagnostic of the extent of the research collaboration and coordination among the NoE members. The aim was to monitor the status of research in the field of interoperability through a web-based platform that allows the user to retrieve information according to his/her actual need in a specific situation. In the KMap, the information is semantically indexed and retrieved through a domain ontology, which was semi-automatically created using a novel methodology, based on interleaved machine learning and collaborative validation phases. This paper describes the architecture of the KMap and provides a qualitative and quantitative evaluation of the advantages of a semantically indexed knowledge base as a means to improve information accessibility and network analysis.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127559384","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies","authors":"P. Klinov, Julia M. Taylor, L. Mazlack","doi":"10.3233/WIA-2008-0134","DOIUrl":"https://doi.org/10.3233/WIA-2008-0134","url":null,"abstract":"This paper explores delegation decisions predicated on models of trust and autonomy among agents. In socially rich environments, trust and autonomy of artificial agents are key attributes for rational delegation decisions. Social agents are affected by many social attributes such as benevolence, social exchanges, power, and norms. We present cognitively inspired working models of trust and autonomy for delegation among agents that accounts for these social attributes. These models are validated in a simulation of a group of agents who delegate tasks in order to locate the most socially well-suited individuals for performing that task. We define autonomy in such an objective manner that agents who have the highest autonomy with respect to a task will generally be the most socially well suited. Benevolence, social reciprocation, and norms most directly contribute to autonomy and proportionally to social suitability. Derived social power directly contributes to social suitability, whereas independently assigned social power ranking overrides the suitability. We show that trust and autonomy in an agent group changes under various social settings.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127874054","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ioannis V. Papaioannou, I. Roussaki, M. Anagnostou
{"title":"Neural networks against genetic algorithms for negotiating agent behaviour prediction","authors":"Ioannis V. Papaioannou, I. Roussaki, M. Anagnostou","doi":"10.3233/WIA-2008-0138","DOIUrl":"https://doi.org/10.3233/WIA-2008-0138","url":null,"abstract":"The design and evaluation of agents handling automated negotiations on behalf of their human or corporate owners is a quite challenging research field. This paper proposes to enhance such agents with learning techniques, in order to achieve more profitable results for the parties they represent. The proposed learning techniques are based on MLP or RBF neural networks (NNs) and are quite lightweight. Alternatively, the agents use Genetic Algorithms (GAs) to predict the behaviour of their opponents. All designed approaches aim to reduce the cases of unsuccessful negotiations and maximize the client's utility. The designed NN- and GA-assisted negotiation strategies have been compared and empirically evaluated via numerous experiments. \u0000 \u0000This work has in part been supported by the project “Amigo - Ambient intelligence for the networked home environment”. The Amigo project is funded by the European Commission as an integrated project (IP) in the Sixth Framework Programme under the contract number IST 004182. For more information you may refer to www.amigo-project.org.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124811244","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Symbolic negotiation: Partial deduction for linear logic with coalition formation","authors":"Peep Küngas, M. Matskin","doi":"10.3233/WIA-2008-0133","DOIUrl":"https://doi.org/10.3233/WIA-2008-0133","url":null,"abstract":"The deregulation of the electricity industry in many countries has created a number of marketplaces in which producers and consumers can operate in order to more effectively manage and meet their energy needs. To this end, this paper develops a new model for electricity retail where end-use customers choose their supplier from competing electricity retailers. The model is based on simultaneous reverse combinatorial auctions, designed as a second-price sealed-bid multi-item auction with supply function bidding. This model prevents strategic bidding and allows the auctioneer to maximise its pay-off. Furthermore, we develop optimal single-item and multi-item algorithms for winner determination in such auctions that are significantly less complex than those currently available in the literature.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115938892","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Delegations guided by trust and autonomy","authors":"V. Zadorozhny, M. Yudelson, Peter Brusilovsky","doi":"10.3233/WIA-2008-0136","DOIUrl":"https://doi.org/10.3233/WIA-2008-0136","url":null,"abstract":"Adaptive Web systems utilize user models (or group models) to represent essential information about an individual user (or a group) so that these systems can adapt their behavior to the goals, tasks, interests, and other features of individual users or groups of users. Meanwhile, proper performance assessment has become a critical issue for the efficient deployment of adaptive Web systems that implement complex user model inferences. This paper presents one of the first efforts to develop a framework for evaluating the performance of user modeling servers (UMS). We conduct a performance-driven analysis of the UMS conceptual model, extracting a comprehensive set of parameters in order to build a practical UMS Performance Evaluation Framework (UMS/PEF). We also apply the proposed UMS/PEF framework for comparing performances between different UMS. Experimental results have demonstrated high utility of the proposed UMS/PEF framework. \u0000 \u0000This work was partially supported by NSF CRCD/EI Award 0426021 and NSF CAREER Award 0447083.","PeriodicalId":263450,"journal":{"name":"Web Intell. Agent Syst.","volume":"201 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122456862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}