Cтраница 4
Для выражения ( 2) может быть применена функция вербального или речевого означивания Z ( r p) парадигмы PR ( r p) реалии г. Эта функция имеет критериальное значение для оценки степени и формы осуществления в 5R любой реалии и, следовательно, истинности ее. [46]
Назначение бэктрекинга состоит в обеспечении обхода дерева вывода со всеми возможными вариантами означивания переменных. Тем не менее иногда это существенно замедляет вычисления. Для компенсации подобных ограничений в Пролог были введены конструкции процедурного типа. Это так называемые нелогические примитивы, содержащие управляющую информацию относительно того, как должен выполняться поиск. [47]
Блок разрешения конфликтов ( или блок планирования) определяет, какое из означиваний будет выполняться. [48]
Каждая строка в этих таблицах соответствует означиванию и его однозначному расширению до истинностного означивания. [49]
В предыдущем параграфе мы определили означивание атомов языка и, затем, распространив означивание атомов на составные высказывания, определили истинностные означивания. При помощи этого метода мы можем установить, является ли высказывание тавтологией, противоречием, или оно выполнимо. Однако, чем больше составляющих содержит высказывание, тем более сложным становится этот метод. [50]
Представители - это конкретизированные типы, а экземпляры - объекты, созданные при означивании представителей в определенном контексте. Понятия могут иметь атрибуты и входить в определенные отношения с другими понятиями. Здесь имеется определенная аналогия со связями типа IS-A в семантических сетях. [51]
Когда терминальная вершина, соответствующая правилу Умножить, получает данный признак, она добавляет полученное означивание правила Умножить ( см.рис. 6.5 а) к конфликтному набору. [52]
Существование Е Е ( е) Е ( е) ] включает в состав своего означивания синонимичные субстанциональные реалии сущность, сущностное, существование, сущее, суть, существенное, и бытие, событие, обычай, обозначаемые Е1, и в акцидентальном случае существовать, существенно, быть, бытийное, событийное, бывает, бывае-мо, событийно, обычно, обыкновенно, обычное, осуществлять, сущностное, сущностно, существенно и другие. [53]