Formal models of agents
Subtitle: ESPRIT Project ModelAge final workshop selected papers
By: John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.).
Contributors: Meyer, John-Jules Ch.; Schobbens, Pierre-Yves, 1961-
Series: Lecture notes in computer science -- 1760. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 1760.; Lecture notes in computer science
Publisher: Springer
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 251
Subjects: Intelligent agents (Computer software); Formal methods (Computer science)
Description: 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.
Notes: Includes bibliographical references and index.
Table of contents: title: Formal models of agents : an introduction / John-Jules Ch. Meyer and Pierre-Yves Schobbens; title: A model of BDI-agent in game-theoretic framework / Stanisław Ambroszkiewicz and Jan Komar; title: Dynamic belief hierarchies / John Bell and Zhisheng Huang; title: Modelling internal dynamic behaviour of BDI agents / Frances Brazier ... [et al.]; title: Towards an agent-oriented framework for specification of information systems / Stefan Conrad, Gunter Saake, Can Türker; title: The impossibility of modelling cooperation in PD-game / Rosaria Conte, Cristiano Castelfranchi and Roberto Pedone; title: Designing multi-agent systems around an extensible communication abstraction / Enrico Denti and Andrea Omicini; title: Social interactions of autonomous agents : private and global views on communication / Frank Dignum; title: Towards a proof-theoretic foundation for actor specification and verification / Carlos H.C. Duarte; title: Nondeterministic actions with typical effects : reasoning about scenarios / Barbara Dunin-Kȩplicz and Anna Radzikowska; title: Agents' dynamic mental attitudes / Bruno Errico; title: Diagnostic agents for distributed systems / Peter Fröhlich ... [et al.]; title: Preferential action semantics (preliminary report) / John-Jules Ch. Meyer and Patrick Doherty; title: Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) / Henry Prakken; title: The role of diagnosis and decision theory in normative reasoning / Leendert W.N. van der Torre ... [et al.]; title: Contextual deontic logic / Leendert W.N. van der Torre ... [et al.].