Top

Published in:

2021 | OriginalPaper | Chapter

Contextual Defeasible Reasoning Framework for Heterogeneous Systems

Authors : Salwa Muhammad Akhtar, Hafiz Mahfooz Ul Haque

Published in: Context-Aware Systems and Applications, and Nature of Computation and Communication

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

This paper presents a contextual defeasible reasoning based multi-agent formalism to model heterogeneous systems using the notion of a multi-context system. This framework relies on the semantic knowledge sources which allow us to model context-aware non-monotonic reasoning agents to infer the desired goals using the extracted rules from the ontologies and handles inconsistencies using conflicting contextual information. We illustrate the validity and correctness of the proposed formalism using a simple case study of a smart healthcare system with the prototypal implementation of the system.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Formal Verification of Multi-agent Plans for Vehicle Platooning

next chapter Abnormality Bone Detection in X-Ray Images Using Convolutional Neural Network

Al-Anbaki, N.S., Obeid, N., Sabri, K.E.: A defeasible logic-based framework for contextualizing deployed applications. Work 10(9) (2019)

Antoniou, G.: A nonmonotonic rule system using ontologies. In: RuleML, vol. 60 (2002)

Antoniou, G., Bikakis, A., Karamolegou, A., Papachristodoulou, N.: A context-aware meeting alert using semantic web and rule technology-preliminary report. In: Semantic Web Technology for Ubiquitous and Mobile Applications (SWUMA 2006), vol. 23 (2006)

Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. Int. J. Ad Hoc Ubiquitous Comput. 2(4), 263–277 (2007)CrossRef

Benslimane, D., Arara, A., Falquet, G., Maamar, Z., Thiran, P., Gargouri, F.: Contextual ontologies. In: Yakhno, T., Neuhold, E.J. (eds.) ADVIS 2006. LNCS, vol. 4243, pp. 168–176. Springer, Heidelberg (2006). https://doi.org/10.1007/11890393_18CrossRef

Bikakis, A., Antoniou, G.: Defeasible contextual reasoning with arguments in ambient intelligence. IEEE Trans. Knowl. Data Eng. 22(11), 1492–1506 (2010)CrossRef

Borgida, A., Serafini, L.: Distributed description logics: directed domain correspondences in federated information sources. In: Meersman, R., Tari, Z. (eds.) OTM 2002. LNCS, vol. 2519, pp. 36–53. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-36124-3_3CrossRef

Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, vol. 7, pp. 385–390. AAAI Press (2007)

Dey, A.K.: Understanding and using context. Pers. Ubiquit. Comput. 5(1), 4–7 (2001). https://doi.org/10.1007/s007790170019CrossRef

10.

Eiter, T., Fink, M., Schüller, P., Weinzierl, A.: Towards diagnosing inconsistency in nonmonotonic multi-context systems. Logic-Based Interpretation, p. 9 (2009)

11.

Eiter, T., Fink, M., Schüller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233–274 (2014)MathSciNetCrossRef

12.

Esposito, A., Tarricone, L., Zappatore, M., Catarinucci, L., Colella, R.: A framework for context-aware home-health monitoring. Int. J. Auton. Adapt. Commun. Syst. 3(1), 75–91 (2010)CrossRef

13.

Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 620–634. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30475-3_43CrossRef

14.

Gruber, T.R., et al.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)CrossRef

15.

Haque, H.M.U., Khan, S.U.: A context-aware reasoning framework for heterogeneous systems. In: 2018 International Conference on Advancements in Computational Sciences (ICACS), pp. 1–9. IEEE (2018)

16.

Haque, H.M.U., Khan, S.U., Hussain, I.: Semantic knowledge transformation for context-aware heterogeneous formalisms. Int. J. Adv. Comput. Sci. Appl. (IJACSA) 10(12), 664–670 (2019)

17.

Mahfooz Ul Haque, H., Rakib, A., Uddin, I.: Modelling and reasoning about context-aware agents over heterogeneous knowledge sources. In: Cong Vinh, P., Tuan Anh, L., Loan, N.T.T., Vongdoiwang Siricharoen, W. (eds.) ICCASA 2016. LNICST, vol. 193, pp. 1–11. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-56357-2_1CrossRef

18.

Hong, M.W., Cho, D.J.: Ontology context model for context-aware learning service in ubiquitous learning environments. Int. J. Comput. 2(3), 172–178 (2008)MathSciNet

19.

Moawad, A., Bikakis, A., Caire, P., Nain, G., Le Traon, Y.: R-core: a rule-based contextual reasoning platform for AmI. In: Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium Hosted at the 8th International Symposium on Rules (RuleML2013) (2013)

20.

Noy, N.F., McGuinness, D.L., et al.: Ontology development 101: A guide to creating your first ontology (2001)

21.

Rakib, A., Haque, H.M.U.: A logic for context-aware non-monotonic reasoning agents. In: Gelbukh, A., Espinoza, F.C., Galicia-Haro, S.N. (eds.) MICAI 2014, Part I. LNCS (LNAI), vol. 8856, pp. 453–471. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-13647-9_41CrossRef

22.

Rakib, A., Ul Haque, H.M., 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, Cham (2014). https://doi.org/10.1007/978-3-319-05939-6_1CrossRef

23.

Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Cole Publishing Co., Pacific Grove (2000)

24.

Sun, D., Toh, K.C., Yuan, Y., Zhao, X.Y.: SDPNAL+: a Matlab software for semidefinite programming with bound constraints (version 1.0). Optim. Methods Softw. 35(1), 87–115 (2020)MathSciNetCrossRef

25.

Uddin, I., Rakib, A., Haque, H.M.U., Vinh, P.C.: Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources. Mob. Netw. Appl. 23(1), 13–26 (2018). https://doi.org/10.1007/s11036-017-0899-5CrossRef

Title: Contextual Defeasible Reasoning Framework for Heterogeneous Systems
Authors: Salwa Muhammad Akhtar
Hafiz Mahfooz Ul Haque
Publisher: Springer International Publishing
Book: Context-Aware Systems and Applications, and Nature of Computation and Communication
Print ISBN: 978-3-030-67100-6

Electronic ISBN: 978-3-030-67101-3

Copyright Year: 2021
DOI: https://doi.org/10.1007/978-3-030-67101-3_2

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner