Исчисление предикатов. Элементы языка логического программирования.

Пролог — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.

Особую роль в интерпретаторе Пролога играют конкретные запросы к базам знаний, на которые система логического программирования генерирует ответы «истина» и «ложь».

1. Корреляция. Коэффициент корреляции, его интерпретация.

Корреляция (корреляционная зависимость) — статистическая взаимосвязь двух или нескольких случайных величин.

Корреляция показывает наличие линейной связи между случайными переменными, такая связь ещё называется вероятностной, статической. Мерой корр-ой связи явл-ся коэф-т корреляции. Чем ближе к +1, тем сильнее связь. Если направление изменения обоих переменных одинаковы то коэф-т корр-ии положителен. Если направление изменения переменных противоположны, то коэф-т корр-ии отрицателен. Если коэф-т корр-ии ближе к нулю то связь слабая, модель несущественна. Если коэф-т близок или близок то связь сильная, следовательно, модель адекватна.