Применение аппарата математической логики для моделирования распостранения лесного пожара

• Date: 2004
• Main Authors: Ходаков, В.Е., Граб, М.В.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2004
• Subjects: Модели и средства инженерии баз данных и знаний
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1682
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Применение аппарата математической логики для моделирования распостранения лесного пожара / В.Е. Ходаков, М.В. Граб// Проблеми програмування. — 2004. — N 2,3. — С. 296-305. — Бібліогр.: 13 назв. — рос.

У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для
 моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних
 просторових об’єктів різних сортів. Наведено підхід...