Towards an argumentative approach for repair of hybrid logics models
Abstract
We propose an argumentation approach for hybrid logics model update. Argumentation theory is used to assist the process of updating the model. We view a Hybrid Kripke model as a description of the world that we are interested in. The update on this Kripke model occurs when the system has to accommodate some newly desired properties or norm constraints. When the model fails to verify a property, a defeasible logic program is used to analyze the current state. Depending on the status of the arguments, the system can warrant four primitive operations on the model: updating state variables, adding a new transition, removing a transition, or adding a new state. A running scenario is presented showing the verification of an unmanned aerial vehicle, by interleaving reasoning in Defeasible Logic Programming and the Hybrid Logic Model Checker.
Full citation
"Towards an argumentative approach for repair of hybrid logics models", A. Goron and A. Groza and S. A. Gomez and I. A. Letia, Argumentation in Multi-Agent Systems (Argmas '14), Paris, France, 5-9 May 2014.