عنوان

Agent-Based Defeasible Control in Dynamic Environments.

(Number (ISBN

9401717419

(Number (ISBN

9789401717410

Number

b596624

Title Proper

Agent-Based Defeasible Control in Dynamic Environments.

General Material Designation

[Book]

First Statement of Responsibility

Dov M Gabbay

Place of Publication, Distribution, etc.

Dordrecht

Name of Publisher, Distributor, etc.

Springer Netherlands

Date of Publication, Distribution, etc.

2010

Specific Material Designation and Extent of Item

(475 pages).

Series Title

Handbook of defeasible reasoning and uncertainty management systems.

Text of Note

PREFACE; PART I INTRODUCTION AND BASIC CONCEPTS; INTRODUCTION; BASIC CONCEPTS; PART II MODELLING FRAMEWORKS AND GENERIC AGENT MODELS; COMPOSITIONAL DESIGN OF MULTI-AGENT SYSTEMS: MODELLING DYNAMICS AND CONTROL; CONTROL TECHNIQUES FOR COMPLEX REASONING: THE CASE OF MILORD II; COORDINATING HETEROGENEOUS COMPONENTS USING EXECUTABLE TEMPORAL LOGIC; COMPOSIDONAL DESIGN AND REUSE OF A GENERIC AGENT MODEL; PART IIIA FORMAL ANALYSIS: GENERAL APPROACHES; SEMANTIC FORMALISATION OF EMERGING DYNAMICS OF COMPOSITIONAL AGENT SYSTEMS. DESCRIPTNE DYNAMIC LOGIC AND ITS APPLICATION TO REFLECTNE ARCHITECTURESCOMPOSITIONAL VERIFICATION OF MULTI-AGENT SYSTEMS IN TEMPORAL MULTI-EPISTEMIC LOGIC; PART IIIB FORMAL ANALYSIS: LOGICS FOR AGENTS; FORMALISING ABILITIES AND OPPORTUNITIES OF AGENTS; SEEING IS BELIEVING AND SO ARE HEARING AND JUMPING; MOTIVATIONAL ATTITUDES IN THE KARO FRAMEWORK; MODELLING SOCIAL AGENTS: TOWARDS DELIBERATE COMMUNICATION; PART IIIC FORMAL ANALYSIS: REASONING ABOUT DYNAMICS; REASONING ABOUT ACTION AND CHANGE USING DUKSTRA'S SEMANTICS FOR PROGRAMMING LANGUAGES. REASONING ABOUT ACTION AND CHANGE: ACTIONS WITH ABNORMAL EFFECTSPREFERENTIAL ACTION SEMANTICS; REUSE AND ABSTRACTION IN VERIFICATION: AGENTS ACTING IN DYNAMIC ENVIRONMENTS; COMPOSITIONAL VERIFICATION OF A MULTI-AGENT SYSTEM FOR ONE-TO-MANY NEGOTIATION; INDEX.

Logic, Symbolic and mathematical.

Class number

Book number

Dov M Gabbay

Dov M Gabbay

John-Jules Ch Meyer

Philippe Smets

Electronic name

[Book]

Y