Learn More
Rumor has it that, in semantics, AI is where the action is. We hear not only that computational (hereafter ‘procedural’) semantics offers an alternative to the classical semantics of truth, reference and modality’, but that it provides what its predecessor so notably lacked: clear implications for psychological models of the speaker/hearer. Procedural(More)
We introduce a new interpretation of the Dempster-Shafer theory using Kripke models. The interpretation maps different frames of discernment into directed graphs. The parallelism is useful as it allows one to use graph theory results for analyzing an evidential setup. The proposed interpretation also translates Dempster-Shafer evidence combination rule into(More)
  • 1