Agent-based Defeasible Control in Dynamic Environments

Meyer, J.J.Ch., and Treur, J. (volume eds.)

Series in Defeasible Reasoning and Uncertainty Management Systems

(D. Gabbay and Ph. Smets, series eds.), vol. 7. Kluwer Academic Publishers, 2002.

CONTENTS

Preface

Part I: Introduction and Basic Concepts

Introduction 3

J.-J. Ch. Meyer and J. Treur

Basic Concepts 9

J.-J.Ch. Meyer and J. Treur

Part II: Modelling Frameworks and Generic Agent Models

Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control 19

F. M. T. Brazier, C. M. Jonker and J. Treur

Control Techniques for Complex Reasoning: The Case of Milord II 65

L. Godo, J. Puyol-Gruart and C. Sierra

Concurrent METATEM as a Coordination Language 99

A. Kellett and M. Fisher

Compositional Design and Reuse of a Generic Agent Model 113

F. M. T. Brazier, C. M. Jonker and J. Treur

Part IIIA: Formal Analyis: General Approaches

Semantic Formalisation of the Dynamic of Compositional Agent Systems 167

F. M. T. Brazier, P. van Eck and J. Treur

A Descriptive Dynamic Logic and its Application to Reflective Architectures 197

C. Sierra, L. Godo, R. Lopez de Mantaras and M. Manzano

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic 221

J. Engelfriet, C.M. Jonker and J. Treur

Part IIIB: Formal Analysis: Logics for Agents

Formalising Abilities and Opportunities of Agents 253

B. van Linder, W. van der Hoek and J.-J.Ch. Meyer

Seeing is Believing (And so are Hearing and Jumping) 309

B. van Linder, W. van der Hoek and J.-J.Ch. Meyer

Motivational Attitudes in the KARO Framework 341

J.-J.Ch. Meyer, W. van der Hoek and B. van Linder

Modelling Social Agents: Towards Deliberate Communication 357

F. Dignum and B. van Linder

Part IIIC: Formal Analysis: Reasoning about Dynamics

Reasoning about Action and Change Using Dijkstra’s Semantics for Programming 383

Languages

W. £ukaszewicz and E. Madalinska-Bugaj

Reasoning about Action and Change: Actions with Abnormal Effects 399

W. £ukaszewicz and E. Madalinska-Bugaj

Preferential Action Semantics 411

J.-J.Ch. Meyer and P. Doherty

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments 427

C.M. Jonker, J. Treur and W. de Vries

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation 455

F.M.T. Brazier, F. Cornelissen, R. Gustavsson, C.M. Jonker,

O. Lindeberg. B. Polak and J. Treur

Index 476