Applying time-dependent algebraic systems for describing situations

摘要

Situation management requires means for describing various things, both situation states and developments. For this reason we turn to algebraic systems. We define time as a system, as well as systems that are time-dependent. We consider the application of the DST dialogue system as one possible way to reliably represent descriptions in the form of formulas.