Learn More
In ∀∃-rules, the conclusion may contain existentially quantified variables, which makes reasoning tasks (as deduction) non-decidable. These rules have the same logical form as TGD (tuplegenerating dependencies) in databases and as conceptual graph rules. We extend known decidable cases by combining backward and forward chaining schemes, in association with(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)
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 compiling(More)