Chapters in Books of Viviana Mascardi

The downloadable publications on this web site are presented to ensure timely dissemination of scholarly and technical work. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the owner of the copyright.

[2]	Error-Tolerant Agents (Computational Logic: LP and Beyond 2002)

[1]	LP & MASs: a Synergic Combination for Applications and Semantics (The LP Paradigm 1999)

Error-Tolerant Agents

with T. Eiter and V.S. Subrahmanian

Computational Logic: Logic Programming and Beyond - Essays in Honour of Robert A. Kowalski, Part I. A.C. Kakas and F. Sadri, editors, Springer-Verlag 2002, pages 586-625, LNAI 2407.

The use of agents in today's Internet world is expanding rapidly. Yet, agent developers proceed largely under the optimistic assumption that agents will be error-free. Errors may arise in agents for numerous reasons - agents may share a workspace with other agents or humans and updates made by these other entities may cause an agent to face a situation that it was not explicitly programmed to deal with. Likewise, errors in coding agents may lead to inconsistent situations where it is unclear how the agent should act. In this paper, we define an agent execution model that allows agents to continuing acting "reasonably" even when some errors of the above types occur. More importantly, in our framework, agents take "repair" actions automatically when confronted with such situations, but while taking such repair actions, they can often continue to engage in work and/or interactions with other agents that are unaffected by repairs.

The compressed postscript version of this paper is available through anonymous ftp at ftp.disi.unige.it, in /pub/person/MascardiV/Papers/LNAI2407.ps.gz

Bibtex Entry (LNAI2407 2002)

Logic Programming & Multi-Agent Systems: a Synergic Combination for Applications and Semantics

with M. Bozzano, G. Delzanno, M. Martelli and F. Zini

In The Logic Programming Paradigm: a 25-Year Perspective. K. R. Apt, V. W. Marek, M. Truszczynsky and D. S. Warren editors, pages 5-32, Springer-Verlag, 1999.

The paper presents an ongoing research project that uses Logic Programming, Linear Logic Programming, and their related techniques for executable specifications and rapid prototyping of Multi-Agent Systems. The MAS paradigm is an extremely rich one and we believe that Logic Programming will play a very effective role in this area, both as a tool for developing real applications and as a semantically well founded language for basing program analysis and proof of properties on.

The compressed postscript version of this paper is available through anonymous ftp at ftp.disi.unige.it, in /pub/person/MascardiV/Papers/LPparadigm.ps.gz

Bibtex Entry (LPparadigm 1999)

Back to Viviana's publications page

Please send suggestions and comments to:

Viviana Mascardi mascardi@disi.unige.it

Last Updated: February the 3rd, 2004