Abstract
We develop a logical model for resource-bounded context-aware multi-agent systems which handles inconsistent context information using non-monotonic reasoning. We extend the temporal logic CTL * with belief and communication modalities, and the resulting logic \(\mathcal{L}_{DROCS}\) allows us to describe a set of rule-based non-monotonic context-aware agents with bounds on computational (time and space) and communication resources. We use OWL 2 RL ontologies and Semantic Web Rule Language (SWRL) for context-modelling and rules that enables the construction of a formal system. We provide an axiomatization of the logic and prove it is sound and complete. We illustrate the use of the logical model on a simple example.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Verifying time and communication costs of rule-based reasoners. In: Peled, D.A., Wooldridge, M.J. (eds.) MoChArt 2008. LNCS, vol. 5348, pp. 1–14. Springer, Heidelberg (2009)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)
Baader, F., McGuinness, D.L., Nardi, D. (eds.): P.F.P.S.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. International Journal of Ad Hoc and Ubiquitous Computing 2(4), 263–277 (2007)
Bikakis, A., Antoniou, G., Hasapis, P.: Strategies for contextual reasoning with conflicts in ambient intelligence. Knowledge and Information Systems 27(1), 45–84 (2011)
Byun, H.E., Chevers, K.: Utilizing context history to provide dynamic adaptations. Applied Artificial Intelligence 18(6), 533–548 (2004)
Daniele, L., Costa, P.D., Pires, L.F.: Towards a rule-based approach for context-aware applications. In: Pras, A., van Sinderen, M. (eds.) EUNICE 2007. LNCS, vol. 4606, pp. 33–43. Springer, Heidelberg (2007)
Dey, A., Abwowd, G.: Towards a better understanding of context and context-awareness. Technical Report GIT-GVU-99-22, Georgia Institute of Technology
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Logic 12(2), 1–11 (2011)
Ejigu, D., Scuturici, M., Brunie, L.: An ontology-based approach to context modeling and reasoning in pervasive computing. In: PerCom Workshops 2007, pp. 14–19 (2007)
Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 230–234. Springer, Heidelberg (2003)
Esposito, A., Tarricone, L., Zappatore, M., Catarinucci, L., Colella, R., DiBari, A.: A framework for context-aware home-health monitoring. In: Sandnes, F.E., Zhang, Y., Rong, C., Yang, L.T., Ma, J. (eds.) UIC 2008. LNCS, vol. 5061, pp. 119–130. Springer, Heidelberg (2008)
Gómez, S.A., Chesñevar, C.I., Simari, G.R.: Inconsistent ontology handling by translating description logics into defeasible logic programming. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 11(35), 11–22 (2007)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: WWW 2003, pp. 48–57. ACM Press (2003)
Horridge, M., Bechhofer, S.: The OWL API: A java API for working with OWL 2 Ontologies. In: 6th OWL Experienced and Directions Workshop (OWLED) (October 2009)
Levy, A.Y., Rousset, M.C.: Combining horn rules and description logics in CARIN. Artif. Intell. 104(1-2), 165–209 (1998)
Motik, B., Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles, W3C Recommendation. (October 2009), http://www.w3.org/TR/owl2-profiles/
Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3, 41–60 (2005)
Pollock, J.L.: Defeasible reasoning. Cognitive Science 11(4), 481–518 (1987)
Protégé: The Protégé ontology editor and knowledge-base framework (Version 4.1) (July 2011), http://protege.stanford.edu/
Rakib, A., Haque, H.M.U., Faruqui, R.U.: A temporal description logic for resource-bounded rule-based context-aware agents. In: Vinh, P.C., Alagar, V., Vassev, E., Khare, A. (eds.) ICCASA 2013. LNICST, vol. 128, pp. 3–14. Springer, Heidelberg (2014)
Reynolds, M.: An axiomatization of full computation tree logic. J. Symb. Log. 66(3), 1011–1057 (2001)
Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 68–78. AAAI Press (2006)
Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: Proceedings of the First Workshop on Mobile Computing Systems and Applications, pp. 85–90. IEEE Computer Society, Washington, DC (1994)
Schmidt, A., Beigl, M., Gellersen, H.W.: There is more to context than location. Computers and Graphics 23, 893–901 (1998)
Viterbo, F.J., da G. Malcher, M., Endler, M.: Supporting the development of context-aware agent-based systems for mobile networks. In: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 1872–1873. ACM (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Rakib, A., Haque, H.M.U. (2014). A Logic for Context-Aware Non-monotonic Reasoning Agents. In: Gelbukh, A., Espinoza, F.C., Galicia-Haro, S.N. (eds) Human-Inspired Computing and Its Applications. MICAI 2014. Lecture Notes in Computer Science(), vol 8856. Springer, Cham. https://doi.org/10.1007/978-3-319-13647-9_41
Download citation
DOI: https://doi.org/10.1007/978-3-319-13647-9_41
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13646-2
Online ISBN: 978-3-319-13647-9
eBook Packages: Computer ScienceComputer Science (R0)