A Logic-Based Calculus of Fluents

摘要: This report formally defines the class of all problems on {\em Reasoning about Actions and Change}, where accurate complete information actions, together with strict inertia in continuous time, change alternative results possibly concurrent independent actions are assumed properties. The intended model set for each member is defined terms a model-theoretic trajectory semantics. case designated, Features Fluents} framework, the~\KRACi family reasoning problems. A fix-point characterization subclass \KspRAdCi then given simulative algebraic semantics, show which difficulties when approaching full that method. non-simulative semantics presented as an Still made lattices operators those lattices. shown to be correct respect trajectory-semantics, applied \KRACi. Finally, adopting proof procedure, logic-based Calculus~of~Fluents} defined, via meta-theoretic extension Horn Clause Logic using non-ground representation object level variables. meta-interpreter consists clause procedure. calculus decidable, domain dependent; its executable logic program by SLD-resolution rule.