Творошенко, І. С.Кучеренко, Є. І.Анопрієнко, Т. В.2019-10-212019-10-212016Кучеренко Є. І. Моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки / Є. І. Кучеренко, І. С. Творошенко, Т. В. Анопрієнко // Системи обробки інформації. – 2016. – № 2(139). – С. 76–82.http://openarchive.nure.ua/handle/document/9965Проаналізовано питання щодо моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки. Побудовано часову предикатну модель процесів грошової оцінки сільськогосподарських угідь. Запропоновано правила інтерпретації розробленої моделі із застосуванням інструментального засобу моделювання та аналізу взаємодіючих процесів на розширених інтегрованих часових мережах Петрі. Проведено оцінювання станів часової предикатної моделі.ukмодельнормативна грошова оцінкаскладний об’єктінтерпретаціямережа Петріоцінювання станівземельна ділянкаМоделювання та оцінювання станів складних об’єктів із застосуванням формальної логікиModeling and estimating the state of complex objects using formal logicModelyuvannya ta ocinyuvannya staniv skladnih ob’yektiv iz zastosuvannyam formalnoyi logikiArticle