Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL
Published on Jul 22, 20093200 Views
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of closeness and distance