Труды КНЦ вып.8 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2017(8))

Распространение ограничений Шаг Текущее ограничение Список ограничений Домены 1 1 1,2, 3, 4, 5, 6 ,S'\r 1 - {on}, VSwl —{zero} 2 3 2,3,4, 5 ,6 ,7 Swl - {on}, VSwl - {zero} 3 5 2, 4, 5, 6, 7, 8 ,S'\r3 - {on}, V3 - {zero} 4 9 2, 4, 6, 7, 8, 9 VI —{pos}, V3 - {zero} 5 6 2, 4, 6, 7, 8 B3 - {ok}, L3 - {dark}, V3 - {zero}, CB3 - {zero} 6 7 2, 4, 7, 8, 10 VSwl -{zero}, VB1 - {pos}, VI - {pos} 7 2 2, 4, 8, 10 B1 - {ok}, 1Л—{light}, VB1 - {pos}, Cl - {pos} 8 8 4, 8, 10, 11 VSwl -{zero}, VB1 —{zero}, V3 - {zero} 9 4 4, 10, 11 B1 - {ok}, LI— {dark}, VB1 - {zero}, C l- {zero} 10 11 10, 11 Cl - {zero}, C3 - {pos}, Cl - {pos} 11 10 10 CSw3 —{pos}, CB3 - {zero}, C3 - {pos} Заключение В работе предложен оригинальный подход к организации вывода на качественных моделях физических систем, позволяющий унифицировано ставить и решать различные задачи поиска значений неизвестных параметров по известным значениям других параметров. Параметры качественной модели физической системы можно разделить на следующие виды: входные воздействия на систему, управляющие воздействия, состояние функционирования системы. Дальнейший фокус исследований планируется сосредоточить на разработке специализированных эвристик для определения порядка рассмот­ рения С -систем в ходе вывода. Литература 1. Russel, S., & Norvig, P. Artificial Intelligence: A Modem Approach. 3nd ed. Pearson Education. -2010. -1152 p. 2. Rossi, F., van Beek, P. & Walsh, T. Constraint Programming. In F. van Harmelen, V. Lifschitz, B. Porter (Eds.), Foundations of Artificial Intelligence. Handbook of Knowledge Representation. -2008, vol.3. - P .181-211. 3. Ruttkay, Zs. Constraint satisfaction a survey, CWI Quarterly. -1998, vol.11. - P .163-214. 107