1. Science
  2. Publications
  3. Information Processing Systems
  4. 2(139)'2016
  5. Modeling and state estimation of complex objects using formal logic

Modeling and state estimation of complex objects using formal logic

E.I. Kucherenko, I.S. Tvoroshenko, T.V. Anoprienko
Annotations languages:

Analyzed the questions of modeling and estimation of the state of complex objects using formal logic were considered. Was build a temporary predicate process model of monetary value of agricultural lands. Were proposed rules for the interpretation of the model developed using modeling tools and analysis of interacting processes in advanced integrated time Petri nets. The evaluation of a state of temporary predicate model was made.
Keywords: model, a complex object, interpretation, Petri net, the evaluation of states, land, regulatory monetary value