libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

meyer john-jules c. (curatore); schobbens pierre-yves (curatore) - formal models of agents
Zoom

Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €
NICEPRICE
52,23 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 01/2000
Edizione: 1





Trama

This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997.The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making.




Sommario

Formal Models of Agents: An Introduction.- A Model of BDI-Agent in Game-Theoretic Framework.- Dynamic Belief Hierarchies.- Modelling Internal Dynamic Behaviour of BDI Agents.- Towards an Agent-Oriented Framework for Specification of Information Systems.- The Impossibility of Modelling Cooperation in PD-Game.- Designing Multi-agent Systems around an Extensible Communication Abstraction.- Social Interactions of Autonomous Agents: Private and Global Views on Communication.- Towards a Proof-Theoretic Foundation for Actor Specification and Verification.- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios.- Agents’ Dynamic Mental Attitudes.- Diagnostic Agents for Distributed Systems.- Preferential Action Semantics (Preliminary Report).- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report).- The Role of Diagnosis and Decision Theory in Normative Reasoning.- Contextual Deontic Logic.










Altre Informazioni

ISBN:

9783540670278

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:VIII, 260 p.
Pagine Arabe: 260
Pagine Romane: viii


Dicono di noi