This paper addresses the problem of reasoning under conflicts within rule-based systems. Nowadays, using logical rules to infer knowledge, express restrictions and so on has shown a great interest in several domains which makes rule-based systems very popular. However, since rules may originate from heterogeneous sources and change over time, methods are required to maintain rules consistency by detecting and resolving the conflicts. The method we put forward in this work refines a form of non-monotonic reasoning called argumentation with new definitions. Through implementing and evaluating the framework to a smart home test-bed, the proposed framework dynamically detects and flexibly resolves conflicts. The result proves the efficiency and viability of our proposal.
CITATION STYLE
Sfar, H., Raddaoui, B., & Bouzeghoub, A. (2017). Reasoning Under Conflicts in Smart Environment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10636 LNCS, pp. 924–934). Springer Verlag. https://doi.org/10.1007/978-3-319-70090-8_94
Mendeley helps you to discover research relevant for your work.