Skip to main content
SpringerLink
Log in

Context and Action: A Unitary Vision Within a Logic-Based Multi-agent Environment

  • Conference paper
  • First Online:
Digitally Supported Innovation

Part of the book series: Lecture Notes in Information Systems and Organisation ((LNISO,volume 18))

Abstract

Interactive ICT products falling under the umbrella of the 3rd paradigm of the HCI are posing significant challenges to designers. Context—and the way in which it has to be conceptually and epistemologically addressed—is one of the issues central in the general debate around ubiquitous computing and phenomenologically situated interaction: context strays from being yet another non-technological aspect affecting the design to become a central component not separable from activities carried on by means of the interactive application. This paper addresses design issues related to this debate within the case-study of the exploration of a dynamically changing territory upon occurrence of some kind of catastrophic event (e.g. earthquake, fire, flooding), by proposing a logic-based multiagent-oriented framework allowing affordable and flexible planning capabilities, in which dynamic knowledge on environment and activity plans are seamlessly integrated.

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

References

  1. Weiser, M.: The computer for the 21st century. Sci. Am. 265(3), 94–104 (1991)

    Article  Google Scholar 

  2. Weiser, M.: Some computer science issues in ubiquitous computing. Commun. ACM 36(7), 75–84 (1993)

    Article  Google Scholar 

  3. Ark, W.S., Selker, T.: A look at human interaction with pervasive computers. IBM Syst. J. 38(4), 504–507 (1999)

    Article  Google Scholar 

  4. Dourish, P.: Where the Action Is: The Foundations of Embodied Interaction. MIT Press (2004)

    Google Scholar 

  5. Cheverst, K., Davies, N., Mitchell, K., Friday, A., Efstratiou, C.: Developing a context-aware electronic tourist guide: some issues and experiences. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, ACM, pp. 17—24 (2000)

    Google Scholar 

  6. Dey, A., Abowd, G., Salber, D.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Comput. Inter. 16(2), 97–166 (2001)

    Google Scholar 

  7. Dourish, P.: What we talk about when we talk about context. Pers. Ubiquit. Comput. 8(1), 19–30 (2004)

    Article  Google Scholar 

  8. Costantini, S., De Gasperis, G., Tarantino, L.: Disaster Response: A Multi-Agent Based Approach. ACM, CHItaly (2015)

    Google Scholar 

  9. Costantini, S., De Gasperis, G., Nazzicone, G.: Exploration of unknown territory via dali agents and asp modules. In: Distributed Computing and Artificial Intelligence, 12th International Conference, pp. 285—292. Springer (2015)

    Google Scholar 

  10. Bevar, V., Muccini, H., Costantini, S., Gasperis, G.D., Tocchio, A.: A multi-agent system for industrial fault detection and repair. In: Advances on Practical Applications of Agents and Multi-Agent Systems. Advances in Intelligent and Soft Computing, pp. 47–55. Springer, Berlin (2012). Paper and demo

    Google Scholar 

  11. Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a road map of current technologies and future trends. Comput. Intell. J. 23(1), 61–91 (2007)

    Article  Google Scholar 

  12. Costantini, S.: Answer set modules for logical agents. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A., (eds.) Datalog Reloaded: First International Workshop, Datalog 2010, vol. 6702 of LNCS. Springer (2011) Revised Selected Papers

    Google Scholar 

  13. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP/SLP’88), pp. 1070—1080. The MIT Press (1988)

    Google Scholar 

  14. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)

    Google Scholar 

  15. Truszczyński, M.: Logic programming for knowledge representation. In: Dahl, V., Niemelä, I. (eds.) Logic Programming, 23rd International Conference, ICLP 2007, pp. 76—88 (2007)

    Google Scholar 

  16. Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation. Elsevier (2007)

    Google Scholar 

  17. Web-references: Some ASP solvers Clasp: potassco.sourceforge.net; Cmodels: www.cs.utexas.edu/users/tag/cmodels; DLV: www.dbai.tuwien.ac.at/proj/dlv; Smodels: www.tcs.hut.fi/Software/smodels

  18. De Gasperis, G., Costantini, S., Nazzicone, G.: Dali multi agent systems framework. doi:10.5281/zenodo.11042. DALI GitHub Software Repository (July 2014) DALI: http://github.com/AAAI-DISIM-UnivAQ/DALI

  19. Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence, JELIA 2002. LNAI 2424, Springer-Verlag, Berlin (2002)

    Google Scholar 

  20. Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Logics in Artificial Intelligence, Proceedings of the 9th European Conference, Jelia 2004. LNAI 3229, Springer-Verlag, Berlin (2004)

    Google Scholar 

  21. Costantini, S.: The DALI agent-oriented logic programming language: Summary and references 2015 (2015)

    Google Scholar 

  22. Costantini, S., De Gasperis, G., Nazzicone, G.: Exploration of unknown territory via dali agents and asp modules. In: Distributed Computing and Artificial Intelligence, 12th International Conference, pp. 285–292. Springer (2015)

    Google Scholar 

  23. Rao, A.S., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pp. 473—484. Morgan Kaufmann (1991)

    Google Scholar 

  24. Rao, A.S.: Agentspeak(l): BDI agents speak out in a logical computable language. In: Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World. Number 1038 in Lecture Notes in Artificial Intelligence, Springer-Verlag (1996)

    Google Scholar 

  25. Hindriks, K.V., de Boer, F., van der Hoek, W., Meyer, J.C.: Agent programming in 3APL. Auton. Agents Multi-Agent Syst. 2(4) (1999)

    Google Scholar 

  26. Fisher, M.: Metatem: The story so far. In Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.) PROMAS. Volume 3862 of Lecture Notes in Computer Science, pp. 3–22. Springer (2005)

    Google Scholar 

  27. Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press/AAAI Press, Cambridge, MA, USA (2000)

    Google Scholar 

  28. Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proceedings ECAI-2004 (2004)

    Google Scholar 

  29. Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency: computational model and prototype implementation. In: Global Computing: IST/FET International Workshop, Revised Selected Papers. LNAI 3267, pp. 340–367. Springer-Verlag, Berlin (2005)

    Google Scholar 

  30. Costantini, S., Tocchio, A.: About declarative semantics of logic-based agent languages. In: Baldoni, M., Torroni, P. (eds.) Declarative Agent Languages and Technologies. LNAI 3229. Springer-Verlag, Berlin (2006)

    Google Scholar 

  31. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gen. Comput. 9, 365–385 (1991)

    Article  Google Scholar 

  32. Leone, N.: Logic programming and nonmonotonic reasoning: From theory to systems and applications. In Baral, C., Brewka, G., Schlipf, J., (eds.) Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007 (2007)

    Google Scholar 

  33. Calimeri, F., Ianni, G., Ricca, F.: The third open answer set programming competition. TPLP 14(1), 117–135 (2014)

    Google Scholar 

  34. Calimeri, F., Ianni, G., Krennwallner, T., Ricca, F.: The answer set programming competition. AI Mag. 33(4), 114–118 (2012)

    Google Scholar 

  35. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374–425 (2001)

    Article  Google Scholar 

  36. Gigerenzer, G., Selten, R.: Bounded Rationality, The Adaptive Toolbox. The MIT Press (2002)

    Google Scholar 

  37. Schwenk, A.J.: Which rectangular chessboards have a knight’s tour. Math. Mag. 325–332 (1991)

    Google Scholar 

  38. Delei, J.B.S., Wenming, D.: An ant colony optimization algorithm for knight’s tour problem on the chessboard with holes. In: IEEE, (ed.) First International Workshop on ETCS’09, vol. 1, pp. 292–296 (2009)

    Google Scholar 

  39. Calimeri, F., Zhou, N.F.: Knight tour with holes ASP encoding (2014). See http://www.mat.unical.it/aspcomp2013/files/links/benchmarks/encodings/aspcore-2/22-Knight-Tour-with-holes/encoding.asp

  40. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499–562 (2006)

    Article  Google Scholar 

  41. Barbini, F., D’Atri, A., Tarantino, L., Za, S.: A new generation DMS for supporting social sensemaking. In De Marco, M., Te’eni, D., Albano, V., Za, S. (eds.) Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pp. 105–112. Physica-Verlag HD (2012)

    Google Scholar 

  42. Careem, M.: Sahana: Overview of a disaster management system. In: International conference on information and automation (ICIA), Colombo, Sri Lanka, 2006, pp. 361–366 (2007)

    Google Scholar 

  43. Turoff, M.: The design of emergency response management information systems. J. Inf. Technol. Theory Appl. 5 1–35 (2004)

    Google Scholar 

  44. Many authors., U.: Ushaidi disaster management system software. http://www.ushahidi.com

  45. Alexander, D.: Principles of Emergency Planning and Management. Oxford University Press, New York (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (DISIM), Universitá degli Studi dell’Aquila, L’Aquila, Italy

    Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone & Laura Tarantino

Authors
  1. Stefania Costantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni De Gasperis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giulio Nazzicone
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Laura Tarantino
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Laura Tarantino .

Editor information

Editors and Affiliations

  1. Department of Management and Technology, Bocconi University, Milano, Italy

    Leonardo Caporarello

  2. Department of Economics, University of Messina, Messina, Italy

    Fabrizio Cesaroni

  3. School of Science, Aalto University, Espoo, Finland

    Raphael Giesecke

  4. Inst. of Sc. and Techn. of Cognition, Rome, Italy

    Michele Missikoff

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Costantini, S., De Gasperis, G., Nazzicone, G., Tarantino, L. (2016). Context and Action: A Unitary Vision Within a Logic-Based Multi-agent Environment. In: Caporarello, L., Cesaroni, F., Giesecke, R., Missikoff, M. (eds) Digitally Supported Innovation. Lecture Notes in Information Systems and Organisation, vol 18. Springer, Cham. https://doi.org/10.1007/978-3-319-40265-9_7

Download citation

Publish with us

Policies and ethics

Search

Navigation