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

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

News image

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

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

News image

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

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

News image

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

Авторизация



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

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

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

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

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

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

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

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

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

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

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




Читайте:


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


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

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

Инновации в области автоматизации

В оценке инноваций в области автоматизации действуют приблизительные и вероятностные методы. Известны такие афоризмы как : нельзя автоматизировать хаос , ...

Система менеджмента знаний (СМЗ)

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