TL;DRAbstract
Knowledge Engineering methods can be applied for analysis and control of various natural and technological systems having no precise mathematical models in the classical meaning, but still manageable by human experts having domain experience. In this paper we deal with finite, discrete, dynamic, logical systems. A logic-based formalism for modelling such systems is presented in brief. The approach is aimed at describing the behaviour of dynamic systems with use of state formulae and state transformation rules. A set of such rules, together with inference control mechanism, can model a finite, discrete system of arbitrary complexity. Some basic characteristics of such systems are defined, and a formal approach to verifying them is outlined. A more detailed presentation of the proposed formalism and most important proofs of the presented theorems can be found in [3].
Chat with Paper
AI Agents for this Paper
Knowledge Engineering methods can be applied for analysis and control of various natural and technological systems having no precise mathematical models in the classical meaning, but still manageable by human experts having domain experience. In this paper we deal with finite, discrete, dynamic, logical systems. A logic-based formalism for modelling such systems is presented in brief. The approach is aimed at describing the behaviour of dynamic systems with use of state formulae and state transformation rules. A set of such rules, together with inference control mechanism, can model a finite, discrete system of arbitrary complexity. Some basic characteristics of such systems are defined, and a formal approach to verifying them is outlined. A more detailed presentation of the proposed formalism and most important proofs of the presented theorems can be found in [3].
Keywords
Chat
Click to start Chat