Schobbens / Meyer | Formal Models of Agents | Buch | 978-3-540-67027-8 | sack.de

Buch, Englisch, 260 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 411 g

Reihe: Lecture Notes in Artificial Intelligence

Schobbens / Meyer

Formal Models of Agents

ESPRIT Project ModelAge Final Report Selected Papers
1999
ISBN: 978-3-540-67027-8
Verlag: Springer Berlin Heidelberg

ESPRIT Project ModelAge Final Report Selected Papers

Buch, Englisch, 260 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 411 g

Reihe: Lecture Notes in Artificial Intelligence

ISBN: 978-3-540-67027-8
Verlag: Springer Berlin Heidelberg


This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of Psychology of the Italian CNR (IP-CNR), Division of Arti cial Intelligence, Cognitive Modeling and Inter- tion. The organisation chair was held by Amedeo Cesta. The workshop, and indeed the ModelAge project as a whole, aimed to bring together a number of researchers stemming from di erent disciplines to discuss formal models of agency from di erent perspectives. These disciplines included arti cial intel- gence, software engineering, applied logic, databases, and organisation theory. The e ld of intelligent agents has become an important research area within these disciplines, and in the workshop as in the present volume the concept of agency is thus considered from a multi-disciplinaryperspective. In the introductory chapter of this volume more can be found on the area of intelligent agents as well as on the topic of formal models of these. We f- thermore provide some key references, so that the reader can better appreciate the position of the present volume within the literature on agent technology.

Schobbens / Meyer Formal Models of Agents jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.