Reasoning under conflicts in smart environment

Hela Sfar (1, 2, 3) , Badran Raddaoui (1, 2, 3) , Amel Bouzeghoub (4, 1, 2, 3)

1 TSP - INF - Département Informatique
2 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 CNRS - Centre National de la Recherche Scientifique
4 ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing

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

Mots clés: Smart environment; Conflict detection and resolution; Argumentation theory

Domaines: Intelligence artificielle [cs.AI]

Hela Sfar, Badran Raddaoui, Amel Bouzeghoub. Reasoning under conflicts in smart environment. ICONIP 2017 : 24th International Conference on Neural Information Processing, Nov 2017, Guangzhou, China. pp.924 - 934, ⟨10.1007/978-3-319-70090-8_94⟩. ⟨hal-01687125⟩