Многокритериальный показатель – численная или функциональная многомерная характеристика, которая позволяет многократно повысить качество прогнозов развития ситуаций неопределенности.
Методики построения многокритериальных показателей и составления качественных прогнозов в условиях неопределенности очень разнообразны и зависят от конкретной комбинации факторов неопределенности.
Направления построения многокритериальных показателей:
ü Традиционное;
ü разработка специальных процедур последовательного выявления предпочтений на поступающей информации;
ü выбор наилучшего (оптимального) варианта действий среди возможных вариантов;
ü уменьшение неопределенности и несравнимости путем использования полученной информации о маргинальных коэффициентах замещения каждого из критериев.
Маргинальные коэффициенты замещения критерия – это система правил, линейно упорядочивающих множество векторов, отображающих принимаемые критериями значения.
Родоначальником науки о логике является греческий философ Аристотель (384-322 г. до н.э.). Он, используя законы человеческого мышления, формализовал известные до него правила рассуждений. Лишь в конце XVII века немецкий математик Г. Лейбниц предложил математизировать формальные рассуждения Аристотеля, вводя символьное обозначение для основных понятий и используя особые правила, близкие к вычислениям. Лейбниц утверждал, что “мы употребляем знаки не только для того, чтобы передать наши мысли другим лицам, но и для того, чтобы облегчить сам процесс нашего мышления”.
Применение математики в логике определило новую науку – математическую логику. Математическое описание рассуждений позволило получить точные утверждения и эффективные процедуры в решении конкретных задач логики. Рассуждения в математической логике изучаются с точки зрения формы описания процесса, явления или события и формального преобразования этого описания. Такой процесс называют выводом заключения. Иногда математическое описание рассуждений называют логико-математическим моделированием.
Основными объектами при изучении математической логики являются формальный язык логики и правила вывода. Формальный язык необходим для символьного описания процессов, явлений или событий и логических связей между ними. Правила вывода необходимы для формирования процедуры рассуждения. Для обеспечения вывода вводится система аксиом, формализующая весь механизм вывода заключения.
Математическое описание логики следует воспринимать, как некую формальную систему, оперирующую с символами по определенным правилам, облегчающим интерпретацию в реальном мире.