This paper presents a novel model, called ToMABD, that endows autonomous agents with Theory of Mind capabilities. ToMABD agents are able to simulate the perspective of the world that their peers have and reason from t...
详细信息
This paper presents a novel model, called ToMABD, that endows autonomous agents with Theory of Mind capabilities. ToMABD agents are able to simulate the perspective of the world that their peers have and reason from their perspective. Furthermore, ToMABD agents can reason from the perspective of others down to an arbitrary level of recursion, using Theory of Mind of n(th) order. By combining the previous capability with abductive reasoning, ToMABD agents can infer the beliefs that others were relying upon to select their actions, hence putting them in a more informed position when it comes to their own decision-making. We have tested the ToMABD model in the challenging domain of Hanabi, a game characterised by cooperation and imperfect information. Our results show that the abilities granted by the ToMABD model boost the performance of the team along a variety of metrics, including final score, efficiency of communication, and uncertainty reduction.
Theory of Mind capabilities, i.e. the capacity to adopt and reason from the perspective of others. By combining the Theory of Mind of TomAbd agents with abductive reasoning, agents can infer explanations for the behav...
详细信息
ISBN:
(纸本)9798400704864
Theory of Mind capabilities, i.e. the capacity to adopt and reason from the perspective of others. By combining the Theory of Mind of TomAbd agents with abductive reasoning, agents can infer explanations for the behaviour of others, which they can incorporate into their own decision-making. We have implemented the TomAbd agent model and successfully tested its performance in the cooperative board game Hanabi.
Demonstrating reliability of cognitive multi-agent systems is of key importance. There has been an extensive amount of work on logics for verifying cognitive agents but it has remained mostly theoretical. Cognitive ag...
详细信息
ISBN:
(纸本)9789897584848
Demonstrating reliability of cognitive multi-agent systems is of key importance. There has been an extensive amount of work on logics for verifying cognitive agents but it has remained mostly theoretical. Cognitive agent-oriented programming languages provide the tools for compact representation of complex decision making mechanisms, which offers an opportunity for applying a theorem proving approach. We base our work on the belief that theorem proving can add to the currently available approaches for providing assurance for cognitive multi-agent systems. However, a practical approach using theorem proving is missing. We explore the use of proof assistants to make verifying cognitive multi-agent systems more practical.
This paper describes the features of a scripting language proposed to support the practical implementation of agents and multi-agent systems using an agent-oriented programming approach. agents are programmed in terms...
详细信息
ISBN:
(纸本)9781450360661
This paper describes the features of a scripting language proposed to support the practical implementation of agents and multi-agent systems using an agent-oriented programming approach. agents are programmed in terms of procedures to be executed when interesting events occur, and the language provides specific constructs to describe managed events and related procedures. Among possible events, those related to communication are supported by specific constructs because of their relevance for the implementation of multi-agent systems. The proposed language is characterised by a strongly expressive syntax largely inspired by modern scripting languages to promote readability and to make agent programs similar to pseudocodes. Such a feature ensures that the programmer can use the language to describe the reactions of agents to events at a high level of abstraction, with all the advantages that it brings in terms of software quality.
agent-oriented programming (AOP) represents a novel programming paradigm that adopts concepts and technologies of multi-agent system to implement software. It has gained great attentions of researchers and practitione...
详细信息
agent-oriented programming (AOP) represents a novel programming paradigm that adopts concepts and technologies of multi-agent system to implement software. It has gained great attentions of researchers and practitioners from both artificial intelligence field and software engineering field. Dozens of AOP languages have been proposed in the past two decades. However the acceptance and adoption of AOP in software engineering community remain limited and the current practices of applying AOP do not convince such paradigm has extensively exploited its technical advantages and potentials. The experiences and practices of programming language researches in software engineering field can give us some inspirations to get out of the dilemma. The paper aims at providing a survey of AOP from software engineering perspectives, including its research history and the state-of-the-art of researches on agent-oriented programming concepts and models, languages, CASE tools and running manners. We investigate how current AOP studies satisfy design principles of programming language like simplicity, regularity, maintainability, expressiveness, reliability and efficiency, discuss several challenges of AOP researches and practices, and point out some directions for future studies.
Designing applications for current generation context aware mobile devices is a complex task. Programmers are required to have a deep knowledge of the underlying systems and APIs in order to complete an application. T...
详细信息
ISBN:
(纸本)9781538618295
Designing applications for current generation context aware mobile devices is a complex task. Programmers are required to have a deep knowledge of the underlying systems and APIs in order to complete an application. This paper presents a system that takes advantage of the high level of abstraction common to agent-oriented programming languages to reduce the difficulty in creating context-sensitive applications for Android devices.
An important feature of goal-orientedprogramming languages is that agents are able to easily pursue multiple goals concurrently. However, there is an issue when some concurrent goals may conflict with others. Pursuin...
详细信息
ISBN:
(纸本)9781450346399
An important feature of goal-orientedprogramming languages is that agents are able to easily pursue multiple goals concurrently. However, there is an issue when some concurrent goals may conflict with others. Pursuing conflicting goals concurrently can lead an agent to undesirable behavior, in which case pursuing them concurrently should be avoided. In this paper, we address some such problems ranging from how to specify conflicts among goals to handling conflicts at run-time when they are detected.
Reinforcement Learning - RL is an important agent problem that was not approached using the tools provided by agentorientedprogramming - AOP. agentSpeak(L) and its Jason implementation based on Java platform are rep...
详细信息
ISBN:
(纸本)9781479917808
Reinforcement Learning - RL is an important agent problem that was not approached using the tools provided by agentorientedprogramming - AOP. agentSpeak(L) and its Jason implementation based on Java platform are representing state-of-the-art approaches of AOP based on the Belief-Desire-Intention - BDI model. Temporal Difference Learning - TDL is a passive RL method that can be used by an agent to learn its utility function while it is acting according to a given policy in an uncertain and dynamic environment. In this paper we present an approach for modeling and implementation of TDL using the Jason AOP language. So, our paper is presenting a contribution towards narrowing the gap between RL and AOP, by endowing BDI agents with TDL skills.
agent-oriented programming (AOP) adopts concepts and technologies of multi-agent system to develop software. It has gained great attentions in both academic and industry, and dozens of AOP languages have been proposed...
详细信息
ISBN:
(纸本)9781467396189
agent-oriented programming (AOP) adopts concepts and technologies of multi-agent system to develop software. It has gained great attentions in both academic and industry, and dozens of AOP languages have been proposed in the past almost two decades. However the current acceptance and practices of AOP do not convince that such paradigm has extensively exploited the technical advantages and potentials of multi-agent system to deal with the engineering issues for programming complex software. In this paper, we survey the AOP researches from three aspects: programming concepts and models, programming constructs and languages, programming tools and environments, which are indispensable as a programming paradigm in software engineering. We also analyze the weaknesses of current AOP researches from software engineering viewpoint and discuss future work.
An increasing number of social computational systems consist of a great amount of autonomous entities and operate in highly dynamic and unpredictable environments. To construct such systems needs to seek high-level ab...
详细信息
An increasing number of social computational systems consist of a great amount of autonomous entities and operate in highly dynamic and unpredictable environments. To construct such systems needs to seek high-level abstrac- tion to manage the complexity of the systems and novel mechanism to support their characteristics, i.e., dynamism and flexibility. agent-oriented programming （AOP） is con- sidered as a potential paradigm for developing such systems by exhibiting a number of characteristics, such as autonomy, flexibility, social ability, etc. However, current researches on AOP mainly focus on the construction of multi-agent system （MAS） with theory and language facilities inspired from arti- ficial intelligence （AI） and distributed AI, seldom considering and integrating the proven principles and practices of pro- gramming and software engineering. Moreover, abstractions and mechanism based on AI are inadequate for developing dynamic and flexible MAS in open environment. This paper proposes a novel AOP approach, namely Oragent, for con- structing and implementing dynamic and flexible systems. From a software engineering perspective, Oragent integrates organizational concepts and mechanism into AOP language, and support the dynamism and flexibility with explicit prim- itives. The proposed approach consists of a programming model and a corresponding programming language. This paper presents the syntax and formal operational semanticsof Oragent language, and studies a case to demonstrate our approach.
暂无评论