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

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

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

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

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

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

Ковариация

Важной характеристикой совместного распределения двух случайных величин является ковариация (или корреляционный момент). Ковариация является совместным центральным моментом второго порядка.^[6] Ковариация определяется как математическое ожидание произведения отклонений случайных величин^[7]:

,

где — математическое ожидание.