Handbook of Defeasible Reasoning and Uncertainty Management Systems
Volume 1 / 1998 to Volume 7 / 2002
Page
%P
21 Result(s)
within
Jan Treur
Mathematics
English
Artificial Intelligence
-
Chapter and Conference Paper
Formal Analysis of Meeting Protocols
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and make decisions. However, many me...
-
Chapter and Conference Paper
Simulation and Analysis of Shared Extended Mind
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation and exploitation of such patte...
-
Book Series
-
Book
-
Chapter
Introduction
One of the recognized problems in AI is the gap between applications and formal foundations. This book (as the previous one in the DRUMS Handbook series) does not present the final solution to this problem, bu...
-
Chapter
Compositional Design and Reuse of a Generic Agent Model
The term agent has become popular, and has been used for a wide variety of applications, ranging from simple batch jobs and simple email filters, to mobile applications, to intelligent assistants, and to large...
-
Chapter
Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments
Verification of agent systems is generally not an easy task. As agents may operate in a world that is constantly changing, and agent systems can consist of a number of interacting but independent agents, expre...
-
Chapter
Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control
The compositional multi-agent design method DESIRE (DEsign and Specification of Interacting REasoning components) supports the design of autonomous interacting agents. Both the intra-agent functionality (i.e., th...
-
Chapter
Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems
Multi-agent systems often are heterogeneous systems composed of different types of autonomous agents. Each of these agents may be based on a specific design specification, and may have its own semantics. Globa...
-
Chapter
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
When designing multi-agent systems, it is often difficult to guarantee that the specification of a system actually fulfils the needs, i.e., whether it satisfies the design requirements. Especially for critical...
-
Chapter
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
It is a recent trend in the literature on verification to study the use of compositionality and abstraction to structure the process of verification; for example, see [Abadi and Lamport, 1993; Dams et al., 1996; ...
-
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
Compositional Verification of Diagnostic Process Models
When designing complex knowledge-based systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfills the needs, i.e., whether it satisfies the design requir...
-
Chapter
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Many complex reasoning tasks have to deal with incomplete information. Reasoning systems trying to accomplish such a task contain basic knowledge that can be used to draw some conclusions about the domain, but...
-
Chapter
Meta-Level Selection Techniques for the Control of Default Reasoning
In a defeasible reasoning process often some type of non-determinism plays a role: there exist more than one extension (in terms of default logic), and the reasoning should come up with a construction of one o...
-
Chapter
A Formal Analysis of Pro-Activeness and Reactiveness in Cooperative Information Gathering
When designing multi-agent systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfils the needs, i.e., whether it satisfies the design requirements. Espec...
-
Chapter
Formal Semantics of Temporal Epistemic Reflection
Meta-level architectures often are used either to model dynamic control of the object level inferences, or to extend the inference relation of the object level. In [Treur, 1992] we introduced formal semantics ...
-
Chapter
Specification of Nonmonotonic Reasoning
Nonmonotonic reasoning systems address applications where an agent reasoning about the world wants to draw conclusions that are not logically entailed by its (incomplete) knowledge about the world. Under such ...
-
Chapter
Modelling Internal Dynamic Behaviour of BDI Agents
In the last five years multi-agent systems have been a major focus of research in AI. The concept of agents, in particular the role of agents as participants in multi-agent systems, has been subject to discuss...
