A meta-logical semantics for features and fluents based on compositional operators over normal logic programs

Abstract

Features & Fluents is a logical framework proposed by Erik Sandewall for reasoning about action and change by means of a logical language called discrete fiuent logic (DFL). In this paper we extend the Sandewall's framework for dealing with continuous time and we introduce a knowledge representation language based on a Horn-like fragment of DFL which we called fiuent logic programming. A meta-logical semantics is described as the proof-theoretical counterpart of FLP in alternative to the Sandewall original encapsulated semantics. This semantics makes use of composition operators over general logic programs and can be also considered as an attempt of providing a basis for an effective implementation of a proof-system for a meaningful fragment of the Features & Fluents temporal logic.