عنوان

Agent-Based Defeasible Control in Dynamic Environments.

9401717419

9789401717410

b596624

Agent-Based Defeasible Control in Dynamic Environments.

[Book]

Dov M Gabbay

Dordrecht

Springer Netherlands

2010

(475 pages).

Handbook of defeasible reasoning and uncertainty management systems.

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.

Dov M Gabbay

Dov M Gabbay

John-Jules Ch Meyer

Philippe Smets

[Book]

Y