Handbook of Defeasible Reasoning and Uncertainty Management Systems : Agent-Based Defeasible Control in Dynamic Environments 〈7〉

個数:

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Agent-Based Defeasible Control in Dynamic Environments 〈7〉

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Hardcover:ハードカバー版/ページ数 480 p.
  • 言語 ENG
  • 商品コード 9781402008344
  • DDC分類 004

基本説明

Contents: Modelling Frameworks and Generic Agent Models; Formal Analysis: General Approaches; Formal Analysis: Logics for Agents; Formal Analysis: Reasoning about Dynamics.

Full Description

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which took place in two stages from 1989- 1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of "Dynamics of Reasoning", where reasoning is viewed as a process, and "Reasoning about Dynamics", which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context extended with some work done by outstanding researchers outside the project on related issues. While the previous volume in this series had its focus on the dynamics of reasoning pro­ cesses, the present volume is more focused on "reasoning about dynamics', viz. how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. In particular we consider modelling frameworks and generic agent models for modelling these dynamic systems and formal approaches to these systems such as logics for agents and formal means to reason about agent­ based and compositional systems, and action & change more in general. We take this opportunity to mention that we have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package.

Contents

Preface. Part I: Introduction and Basic Concepts. Introduction; J.-J.Ch. Meyer, J. Treur. Basic Concepts; J.-J.Ch. Meyer, J. Treur. Part II: Modelling Frameworks and Generic Agent Models. Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control; F.M.T. Brazier, et al. Control Techniques for Complex Reasoning: The Case of Milord II; L. Godo, et al. Concurrent METATEM as a Coordination Language; A. Kellett, M. Fisher. Compositional Design and Reuse of a Generic Agent Model; F.M.T. Brazier, et al. Part IIIA: Formal Analysis: General Approaches. Semantic Formalisation of the Dynamic of Compositional Agent Systems; F.M.T. Brazier, et al. A Descriptive Dynamic Logic and its Application to Reflective Architectures; C. Sierra, et al. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic; J. Engelfriet, et al. Part IIIB: Formal Analysis: Logics for Agents. Formalising Abilities and Opportunities of Agents; B. van Linder, et al. Seeing is Believing (And so are Hearing and Jumping); B. van Linder, et al. Motivational Attitudes in the KARO Framework; J.-J.Ch. Meyer, et al. Modelling Social Agents: Towards Deliberate Communication; F. Dignum, B. van Linder. Part IIIC: Formal Analysis: Reasoning about Dynamics. Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages; W. Lukaszewicz, E. Madalinska-Bugai. Preferential Action Semantics; J.-J.Ch. Meyer, P. Doherty. Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments; C.M. Jonker, et al. Compositional Verification of a Multi-Agent System for One-to-Many Negotiation; F.M.T. Brazier, et al. Index.