Learn More
In ∀∃-rules, the conclusion may contain existen-tially quantified variables, which makes reasoning tasks (as deduction) non-decidable. These rules have the same logical form as TGD (tuple-generating dependencies) in databases and as conceptual graph rules. We extend known decidable cases by combining backward and forward chaining schemes, in association(More)
BACKGROUND Clinical management of neuropathic pain, which is pain arising as a consequence of a lesion or a disease affecting the somatosensory system, partly relies on the use of anticonvulsant drugs such as gabapentinoids. Therapeutic action of gabapentinoids such as gabapentin and pregabalin, which act by the inhibition of calcium currents through(More)
Conceptual Graphs Rules were proposed as an extension of Simple Conceptual Graphs (CGs) to represent knowledge of form " if A then B " , where A and B are simple CGs. Optimizations of the deduction calculus in this KR formalism include a Backward Chaining that unifies at the same time whole subgraphs of a rule, and a Forward Chaining that relies on(More)
Neuropathic pain arises as a consequence of a lesion or disease affecting the somatosensory system. It is generally chronic and challenging to treat. The recommended pharmacotherapy for neuropathic pain includes the use of some antidepressants, such as tricyclic antidepressants (TCAs) (amitriptyline…) or serotonin and noradrenaline re-uptake inhibitors(More)