Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.
Jerry den HartogErik P. de VinkJ. W. de BakkerPublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- action descriptions
- probabilistic model
- semantic information
- bayesian networks
- action language
- probability measures
- formal semantics
- logic programming
- information theoretic
- probabilistic logic
- conditional probabilities
- belief networks
- action theories
- probabilistic knowledge
- distance measure
- uncertain data
- probabilistic reasoning
- distance metric
- similarity measure