Высказывание — законченное предложение, которое может быть либо истинным, либо ложным. Например, «лошади едят овес» — высказывание, которое истинно; «кит — рыба» — высказывание, которое ложно; «будьте внимательны» — не логическое высказывание, поскольку относительно его нельзя сказать, истинно оно или ложно. Отдельные высказывания будем обозначать прописными буквами латинского алфавита.
С помощью логических (пропозициональных) связок: «и», «или», «не», «если… то» и др.— из отдельных высказываний можно получать более сложные и наоборот; с помощью определенных правил из множества сложных высказываний можно получать простые, эквивалентные по значению истинности с исходными.
На основе этой информации требуется установить:
1. Можно ли сделать вывод о том, что в тех местах, где нет одновременно ни фитопланктона, ни зоопланктона, не стоит ожидать косяков сельди?
2. Следует ли из отчета, что фитопланктон встречается только в холодной воде?
3. Можно ли полагать, что там, где встречается зоопланктон, фитопланктон не может быть встречен?
4. Как изменятся ответы, если в отчет дополнительно внести фразу: «Где не было зоопланктона, там не было сельди»?
До того, как будут получены точные ответы на эти вопросы, мы предлагаем читателю самостоятельно ответить на них и убедиться, что даже в такой простой ситуации получение ответов сопряжено с некоторой затратой времени и умственным напряжением.
На этом элементарном примере мы попытаемся последовательно раскрыть технику построения прогнозирующего аппарата и осуществления собственно прогноза.
Для решения первой задачи необходимо исходное сообщение (текст) формализовать (эксплицировать), т. е. переложить на язык алгебры логики, а затем всю информацию отчета записать в виде единого ТИвысказывания.
На данном примере показано, что в развиваемом подходе процесс прогнозирования распадается на два этапа: создание прогнозирующей системы (этап «обучения») и осуществления собственно прогноза. Подход позволяет проводить до обучение системы каждый раз, как появляется новая информация, или если осуществляемый прогноз оказался неверным (см. ниже). Оба этапа распадаются на несколько шагов, как выделение списка учитываемых переменных, формализация исходных сведений, приведение формул к форме ТИ высказываний и т. п.
Загрузка...
