Skip to main content

Policy Conflict Resolution in IoT via Planning

  • Conference paper
  • First Online:
Advances in Artificial Intelligence (Canadian AI 2017)

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

Included in the following conference series:

Abstract

With the explosion of connected devices to automate tasks, manually governing interactions among such devices—and associated services—has become an impossible task. This is because devices have their own obligations and prohibitions in context, and humans are not equipped to maintain a bird’s-eye-view of the environment. Motivated by this observation, in this paper, we present an ontology-based policy framework which can efficiently detect policy conflicts and automatically resolve such using an AI planner.

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

Access this chapter

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 EPUB and 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

References

  1. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385–429 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  2. Fikes, R., Hayes, P., Horrocks, I.: OWL-QL: a language for deductive query answering on the semantic web. Web Semant.: Sci. Serv. Agents World Wide Web 2(1), 19–29 (2004)

    Article  Google Scholar 

  3. Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61–124 (2003)

    MATH  Google Scholar 

  4. Goynugur, E., de Mel, G., Sensoy, M., Talamadupula, K., Calo, S.: A knowledge driven policy framework for internet of things. In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence (2017)

    Google Scholar 

  5. Kagal, L., Finin, T., Joshi, A.: A policy language for a pervasive computing environment. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks, June 2003

    Google Scholar 

  6. Kortuem, G., Kawsar, F., Sundramoorthy, V., Fitton, D.: Smart objects as building blocks for the internet of things. IEEE Internet Comput. 14(1), 44–51 (2010)

    Article  Google Scholar 

  7. Lupu, E.C., Sloman, M.: Conflicts in policy-based distributed systems management. IEEE Trans. Softw. Eng. 25(6), 852–869 (1999)

    Article  Google Scholar 

  8. Quetzal-RDF: Quetzal (2016). https://github.com/Quetzal-RDF/quetzal. Accessed 02 Oct 2016

  9. Richter, S., Westphal, M.: The lama planner: guiding cost-based anytime planning with landmarks. J. Artif. Int. Res. 39(1), 127–177 (2010). http://dl.acm.org/citation.cfm?id=1946417.1946420

    MATH  Google Scholar 

  10. Sensoy, M., Norman, T., Vasconcelos, W., Sycara, K.: OWL-POLAR: a framework for semantic policy representation and reasoning. Web Semant.: Sci. Serv. Agents World Wide Web 12, 148–160 (2012)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Emre Göynügür .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Göynügür, E., Bernardini, S., de Mel, G., Talamadupula, K., Şensoy, M. (2017). Policy Conflict Resolution in IoT via Planning. In: Mouhoub, M., Langlais, P. (eds) Advances in Artificial Intelligence. Canadian AI 2017. Lecture Notes in Computer Science(), vol 10233. Springer, Cham. https://doi.org/10.1007/978-3-319-57351-9_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-57351-9_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-57350-2

  • Online ISBN: 978-3-319-57351-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics