| Document Type
|
:
|
BL
|
| Record Number
|
:
|
776627
|
| Doc. No
|
:
|
b596624
|
| Main Entry
|
:
|
Dov M Gabbay
|
| Title & Author
|
:
|
Agent-Based Defeasible Control in Dynamic Environments.\ Dov M Gabbay
|
| Publication Statement
|
:
|
Dordrecht : Springer Netherlands, 2010
|
| Series Statement
|
:
|
Handbook of defeasible reasoning and uncertainty management systems.
|
| Page. NO
|
:
|
(475 pages).
|
| ISBN
|
:
|
9401717419
|
|
|
:
|
: 9789401717410
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| LC Classification
|
:
|
Q339.D686 2010
|
| Added Entry
|
:
|
Dov M Gabbay
|
|
|
:
|
John-Jules Ch Meyer
|
|
|
:
|
Philippe Smets
|