Експертно-навчальні системи оцінки знань, умінь, навичок на основі комп'ютерних технологій навчання

Анотація

Арістотель вважав, що логічні міркування піддаються формалізації, і побудував систему формальної логіки. В ХХ столітті як самостійна дисципліна сформувалася математична логіка, заснована на використанні математичних методів у формальній логіці. Отже, логічні міркування стають
доступними для комп'ютерного опрацювання. Такого роду дослідження відносяться до галузі "штучного інтелекту", зокрема розробка так званих "експертних систем". Експертна система – це “інтелектуальна” програма, в якій використовуються знання фахівців у конкретній предметній галузі і за допомогою якої можна робити логічні висновки на основі цих знань та розв’язувати творчі задачі.