Експертна система: Чарівний Маєток
У мальовничому куточку старовинного села розташувався маєток, відомий як «Чарівний Маєток». Протягом останніх тижнів мешканці околиць почали говорити про дивні події: у темні, холодні ночі коридори маєтку нібито наповнювалися незбагненними звуками, а гості і працівники розповідали про появу загадкової фігури, схожої на привида. Проте, уважний персонал знав всі секретні ходи маєтку та відзначав, що ці історії – лише легенди, які могли відволікати увагу від справжніх подій.
Одного зимового вечора, коли сніг повільно вкривав околиці, стався справжній злочин. З родинного сховища, яке зберігало безцінні коштовності, було вкрадено багато ювелірних виробів. Ретельний огляд місця злочину показав, що двері сховища були відчинені зсередини – немов би ніхто не хотів, щоб злам відразу викликав підозру.
Детективи зібрали таку інформацію:
Андрій – позаштатний охоронець маєтку. Він відповідав за безпеку, але його свідчення викликали сумніви, оскільки він не зміг чітко пояснити, де знаходився у момент злочину. Він бачив, як Костянтин підрізав кущі в час скоєння злочину, що може бути яким не яким, але алібі для нього.Олена – давня служниця, що працювала в маєтку понад 20 років. Вона знала всі таємні ходи і мала надійне алібі - її бачили у крамниці в час скоєння злочину, однак деякі дрібниці викликали підозру.
Костянтин – садівник маєтку, який часто переміщувався по всій території. Його присутність біля сховища була зафіксована на місці злочину, а на одязі виявлено плями від мастила, схожі на сліди зламу.
Павло – племінник власника маєтку, який останнім часом мав фінансові труднощі. За чутками, він шукав спосіб вирішити свої проблеми і мав мотив вкрасти коштовності. Павло стверджує, що бачив привида біля сховища. Тим часом, Павла ніхто не бачив.
За попередніми підказками детективне управління вирішило використати Prolog для реконструкції подій та аналізу доказів. Ваше завдання – створити базу знань, яка описує факти, пов’язані з місцезнаходженням підозрюваних, їх доступом до різних частин маєтку, наявними доказами та можливими мотивами.