Full Abstractness of a Metric Semantics for Action Refinement.

Jerry den Hartog Erik P. de Vink J. W. de Bakker

Published in: Fundam. Informaticae (1999)

Keyphrases

action descriptions
action language
metric space
formal semantics
speech acts
semantic information
human actions
fluent calculus
conceptual model
similarity metric
databases
action theories
action selection
durative actions
atomic actions
initial state
default reasoning
logic programming
distance measure
state space