Искусственный практический разум Модель метаразума Модальная логика

В основу машинной модальной многозначной пропозициональной логики возьмём аксиологическую логику, разработанную профессором А.А. Ивиным из Москвы.

Согласно аксиологической логики определим, что машинный язык позволяет логически описать внешний мир и пространство. Его можно употреблять, как для описания действительности, характеризуемое в терминах или , так также осуществить их оценку выступающую как стандарт, перспектива, план действий. Машинное описание и машинная оценка являются двумя полюсами, между которыми имеется множество переходов. Машинные экспрессивы близки к машинным описаниям. Машинные орективы сходны с машинными оценками. Машинные оректив это машинное высказывание, используемое для возбуждения машинных чувств, воли, побуждения к действию. Машинные описания представляют собой выражения машинных мыслей, машинные экспрессивы — выражения машинных чувств. Машинные описания и экспрессивы относятся к пассивным употреблением машинного языка и должно быть охарактеризовано в терминах истины и лжи. Машинные оценки и машинные орективы относятся к активному употреблению машинного языка и используются для оптимального и рационального поведения метаразума. Предлагается для машинной модальной многозначной пропозициональной логики представить истинностное значение машинной оценки как априорное оптимальное значение (наилучшее значение), а ложное значение машинной оценки как ошибочное значение (наихудшее значение) или пусто (0) по Канту. Следовательно, предлагается многозначная шкала модального оператора для машинной оценки от наихудшего значения (0) до наилучшего (оптимального) значения машинной оценки ( самого интенсивного по Канту), которую нужно проградуировать в терминах многозначной логики как агрегаты по Канту.

Можно в качестве шкал градуировки, как агрегаты по Канту, выбрать общепринятые шкалы.

Например, такие:

- шкала цены ( от 0 до 100 копеек);

- процентная шкала ( от 0 до 100 процентов).

Таким образом определим истинностное значение машинной оценки как оптимальное значение, а ложное значение машинной оценки как ошибочное значение ( пустое значение по Канту (0)) т.е. машинная оценка также как и машинное описание характеризуется в терминах или .

Машинные нормы представляют собой частный случай машинных оценок: некоторое дей­ствие обязательно, если и только если это действие является позитивно ценным и хорошо, что воздержание от данного действия влечет за собой наказание. Машинные обещания — частный, или вырожденный, случай машинных норм. Машинные декларации являются своего рода предписаниями, или нормами, касающиеся поведения метаразума. Имеются, таким образом, четыре основных употребления машинного языка: описание, экспрессив, оценка и оректив, а также целый ряд промежуточных его употреблений, в большей или меньшей степени тяготеющих к основным. Синтаксис и семантика машинной модальной многозначной пропозициональной логики позволяет осуществлять программирование на ПЛИС и ПАИС.