Formal Models of Agents
ESPRIT Project ModelAge Final Workshop Selected Papers
Page
%P
96 Result(s)
within
John-Jules Ch. Meyer
-
Chapter and Conference Paper
Many-valued epistemic states. An application to a reflective architecture: Milord-II
Halpern and Moses' theory on epistemic states and minimizing knowledge is a formalism with which one can infer what is known and, more importantly, what is unknown by an agent. This formalism has been used up ...
-
Chapter and Conference Paper
A formal embedding of agentspeak(L) in 3APL
Agent-based computing in Artificial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. For several reasons it has been difficult to evaluate and compare...
-
Chapter and Conference Paper
Constructing translations between individual vocabularies in multi-agent systems
In multi-agent systems, different agents usually employ different languages to express their informational and motivational attitudes. During communication processes, the agents should therefore employ some tr...
-
Chapter and Conference Paper
Formal semantics for an abstract agent programming language
In this article we investigate agent-oriented programming both from a theoretical and a practical view. We propose an abstract agent programming language with a clear and formally defined semantics. The semant...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Agent Languages and Their Relationship to Other Programming Paradigms
One of the two panels held this year at ATAL was to address the topic of agent-oriented languages, and particularly their relationship with other (i.e. traditional) programming paradigms. What triggered this p...
-
Chapter and Conference Paper
Information-Passing and Belief Revisionin Multi-agent Systems
We define a programming language for multi-agent systems in which agents interact with a common environment and cooperate by exchanging their individual beliefs on the environment. In handling the information ...
-
Chapter and Conference Paper
Formal Models of Agents: An Introduction
Although in philosophical literature the notion of an agent as a cognitive subject has been around for a long time, in the last decade or so the area of ‘Intelligent Agents’ has also become a major area of res...
-
Chapter and Conference Paper
Preferential Action Semantics (Preliminary Report)
In this paper, we propose a new way of considering reasoning about action and change. Rather than placing a preferential structure onto the models of logical theories, we place such a structure directly on the...
-
Chapter and Conference Paper
Control Structures of Rule-Based Agent Languages
An important issue when defining a rule-based agent programming language is the design of interpreters for these programming languages. Since these languages are all based on some notion of rule, an interprete...
-
Chapter
An Integrated Modal Approach to Rational Agents
In this paper we give an overview of work we have done to provide a framework in which many aspects of rational agency are integrated. The various attitudes of a rational agent, viz. the informational as well ...
-
Article
Agent Programming in 3APL
An intriguing and relatively new metaphor in the programming community is that of an intelligent agent. The idea is to view programs as intelligent agents acting on our behalf. By using the metaphor of intelli...
-
Chapter
Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems
Recently on the borderline between computer science, software engineering and artificial intelligence the subject of intelligent agents has become in the limelight very much, cf. [WJ94]. Interestingly much work h...
-
Chapter and Conference Paper
Failure Semantics for the Exchange of Information in Multi-Agent Systems
In this paper, we present a semantic theory for the exchange of information in multi-agent systems. We define a concurrent programming language for systems of agents that maintain their own private stores of i...
-
Chapter and Conference Paper
A Modal Logic for Network Topologies
In this paper, we present a logical framework that combines modality with a first-order quantification mechanism. The logic differs from standard first-order modal logics in that quantification is not performe...
-
Book
-
Chapter
Introduction
A currently popular definition of artificial intelligence (AI) is: “the study of agents that exist in an environment and perceive and act”. Agents, often referred to as intelligent agents, are (hardware or softwa...
-
Chapter and Conference Paper
Agent Programming with Declarative Goals
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and ag...
-
Chapter and Conference Paper
A Truly Concurrent Model for Interacting Agents
We offer a new operational model of agents, which focuses on the interaction of agents with each other and with a dynamic environment. We abstract from the inner workings of agents by offering a definable mental ...
-
Chapter
The Dynamics of Default Reasoning
The formalisation of rational agents is a topic of continuing interest in Artificial Intelligence. Research on this subject has held the limelight ever since the pioneering work of Moore [1980; 1984] in which ...
