Кадровая политика

Основные стадии консультационного процесса

News image

Руководители предприятий различных форм собственности обращаются к консультанту, как правило, с типичными вопросами и заказ...

Ошибки руководителей

News image

Система управления и управленческая структура в России до сих пор находятся в плену прошлых стереотипов, и очень часто дире...

Что же предлагали первые консультанты, которые появились в 20-х годах?

News image

Принято считать, что консультанты по управлению первой волны - это бывшие предприниматели, руководители, управленцы, до...

Авторизация



Синтаксис логики предикатов

Кадровая политика - Система менеджмента знаний

синтаксис логики предикатов

Язык логики предикатов задается синтакисом. Для представления знаний базисные синтаксические категории языка изображаются такими символами, которые несут достаточно четкую информацию и дают довольно ясную картину об области рассуждений (экспертизы).

Логика предикатов, называемая также логикой первого порядка, допускает четыре типа выражений.

 Константы. Они служат именами индивидуумов (в отличие от имен совокупностей): объектов, людей или событий. Константы представляются символами вроде Жак_2 (добавление 2 к слову Жак указывает на вполне определенного человека среди людей с таким именем), Книга_22, Посылка_8.

 Переменные. Обозначают имена совокупностей, таких как человек, книга, посылка, событие. Символ Книга_22 представляет вполне определенный экземпляр, а символ книга указывает либо множество всех книг , либо понятие книги . Символами x,y,z представлены имена совокупностей (определенных множеств или понятий).

 Предикатные имена. Они задают правила соединения констанат и переменных, например правила грамматики, процедуры, математические операции. Для предикативных имен используются символы наподобие следующих: Фраза, Посылать, Писать, Плюс, Разделить. Предикатное имя иначе называется предикатной константой.

 Функциональные имена представляют такие же правила, как и предикаты. Чтобы не спутать с предикатными именами, функциональные имена пишут одними строчными буквами: фраза, посылать, писать, плюс, разделить. Их называют так же функциональными константами.

Символы, которые применяются для представления констант, переменных, предикатов и функций, не являются словами русского языка . Они суть символы некоторого представления - слова объектного языка (в нашем случае языка предикатов).

Представление должно исключать всякую двусмысленность языка. Поэтому имена индивидуумов содержат цифры, приписываемые к именам совокупностей. Жак_1 и Жак_2 представляют двух людей с одинаковыми именами. Эти представления суть конкретизации имени совокупности Жак . Предикат - это предикатное имя вместе с подходящим числом термов. Предикат называют так же предикатной формой.




Читайте:


Добавить комментарий


Защитный код
Обновить

Менеджмент знаний:

Стимулирование роста знаний посредством организационной куль

Как уже отмечалось, «жизнь» знаний внутри организации — это ядро проблематики управления знаниями. Именно поэтому вопросы организационной культуры, мотивации имеют дл...

Использование имеющихся знаний при принятии решений

Управление знаниями основывается на более ранних достижениях. Констатация того, что решения должны основываться на адекватных знаниях ситуации, вряд ли может пр...