Skip to main content
SpringerLink
Log in

Access-as-you-need: A Computational Logic Framework for Accessing Resources in Artificial Societies

  • Conference paper
  • First Online:
Book cover Engineering Societies in the Agents World III (ESAW 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2577))

Included in the following conference series:

Abstract

We investigate the application of abductive logic programming, an existing framework for knowledge representation and reasoning, for specifying the knowledge and behaviour of software agents that need to access resources in a global computing environment. The framework allows agents that need resources to join artificial societies where those resources are available. We show how to endow agents with the capability of becoming and ceasing to be members of societies, for different categories of artificial agent societies, and of requesting and being given or denied resources within societies. The strength of our formulation lies in combining the modelling and the computational properties of abductive logic programming for dealing with the issues arising in resource access within artificial agent societies.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Davidsson, Categories of artificial societies, [9].

    Google Scholar 

  2. P. Dell’Acqua and L.M. Pereira, Preferring and updating in abductive multi-agent systems. [9].

    Google Scholar 

  3. P. Dell’Acqua, F. Sadri, F. Toni, Combining Introspection and Communication with Rationality and Reactivity in Agents, Proc. JELIA’98, U. Furbach, L. Farinas del Cerro eds., Springer Verlag LNAI 1489, 17–32, 1998.

    Google Scholar 

  4. T.H. Fung, R.A. Kowalski, The iff procedure for abductive logic programming. Journal of Logic Programming 33(2):151–165, Elsevier.

    Google Scholar 

  5. A.C. Kakas, R.A. Kowalski, F. Toni, The role of abduction in logic programming. Handbook of Logic in AI and Logic Programming 5:235–324, OUP, 1998.

    MathSciNet  Google Scholar 

  6. R.A. Kowalski, F. Sadri, From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence, Baltzer Science Publishers, J. Dix, J. Lobo (Eds), volume 25(3,4):391–420, 1999.

    Google Scholar 

  7. A. Mamdani, J. Pitt, K. Stathis, Connected communities from the standpoint of multi-agent systems. New Generation Computing Journal, Special issue on New Challenges in Intelligent Systems, 17(4), T. Nishida (ed.), 1999.

    Google Scholar 

  8. A. Omicini, P. Petta, R. Tolksdorf (Eds.): Proc. ESAW’01, Springer Verlag LNAI 2203, 2001.

    Google Scholar 

  9. J.V. Pitt, A. Mamdani, and P. Charlton, The open agent society and its enemies: a position statement and research programme, [18], pp 67–87.

    Google Scholar 

  10. F. Sadri, F. Toni, Abduction with negation as failure for active and reactive rules. Proc. AI*IA 99, E. Lamma, P. Mello eds, Springer Verlag LNAI 1792, 49–60, 2000.

    Google Scholar 

  11. F. Sadri, F. Toni, P. Torroni, Logic Agents, Dialogue, Negotiation — an Abductive Approach, Proc. AISB, M. Schroeder, K. Stathis eds, 2001.

    Google Scholar 

  12. F. Sadri, F. Toni, P. Torroni, Dialogues for negotiation: agent varieties and dialogue sequences, Proc. ATAL’01, J. J. Maher ed., LNAI 2333, 405–421, 2001.

    Google Scholar 

  13. F. Sadri, F. Toni, P. Torroni, Resource reallocation via negotiation through abductive logic programming, Proc. JELIA 2002, to appear.

    Google Scholar 

  14. K. Stathis, Location-aware SOCS: The ‘Leaving San Vincenzo’’Scenario, SOCS Technical Report, IST32530/CITY/002/IN/PP/a2, 2002.

    Google Scholar 

  15. K. Stathis, A game-based architecture for developing interactive components in computational logic, J. of Functional and Logic Programming, 2000 (1), MIT Press.

    Google Scholar 

  16. K. Stathis and P. Purcell (Eds.): Special issue on LocalNets: Environments for Community-based Interactive Systems, Journal of Telematics and Informatics, Elsevier, 18(1), 2001.

    Google Scholar 

  17. K. Stathis, O. deBruijn, and S. Macedo, Living memory: agent-based information managment for connected local communities, Interacting with Computers, to appear. (Also available in: http://dx.doi.org/10.1016/S0953-5438(02)00014-0).

  18. F. Toni, Automated Information Management via Abductive Logic Agents,[18], pp 89–104.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2BZ, London, UK

    Francesca Toni

  2. Department of Computing, School of Informatics, City University London, Northampton Square, EC1V 0HB, London, UK

    Kostas Stathis

Authors
  1. Francesca Toni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kostas Stathis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Austrian Research Institute for Artificial Intelligence Intelligent Agents and New Media Group, Schottengasse 3, 1010, Vienna, Austria

    Paolo Petta

  2. AG Netzbasierte Informationssysteme, Freie Universität Berlin Institut für Informatik, Takustr. 9, 14195, Berlin, Germany

    Robert Tolksdorf

  3. Dipartimento di Scienze e Metodi dell’Ingegneria, Università di Modena e Reggio Emilia, Via Allegri 13, 42100, Reggio Emilia, Italy

    Franco Zambonelli

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Toni, F., Stathis, K. (2003). Access-as-you-need: A Computational Logic Framework for Accessing Resources in Artificial Societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds) Engineering Societies in the Agents World III. ESAW 2002. Lecture Notes in Computer Science(), vol 2577. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39173-8_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-39173-8_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-14009-2

  • Online ISBN: 978-3-540-39173-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation