Case Adaptation with Modal Logic : The Modal Adaptation

In the CBR cycle, adaptation is the process that aims at filling the “gap” between the current situation and a previous situation retrieved from memory. In this paper, tools from modal logic are investigated to come up with a “modal” modeling of adaptation. The intuition is that adaptation dynamically extends an agent’s beliefs about the world so that it can envision possible worlds in which the target constraints are satisfied. Following this idea, the adaptation process is formulated as a model construction problem in the S4 modal logic.