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.
model, a complex object, interpretation, Petri net, the evaluation of states, land, regulatory monetary value
"Modeliuvannia ta otsiniuvannia staniv skladnykh obiektiv iz zastosuvanniam formalnoi lohiky" [Modeling and state estimation of complex objects using formal logic],
Information Processing Systems,