Интерпретация - множество
Cтраница 1
Интерпретация множества S, таким образом, полностью определена, хотя, по-видимому, мы достигли еще немногого. [1]
Интерпретацию множества дизъюнктов S не обязательно задавать над эрбрановским универсумом - интерпретация может не быть Я-интерпретацией. [2]
Допустим, У - интерпретация множества дизъюнктов над некоторым множеством функциональных и предикатных символов, a D - область интерпретации У. [3]
Таким способом мы готовим интерпретацию множества процедур Р над областью Н ( Р) подобно тому, как это описано в гл. Каждому атому, являющемуся антецедентом некоторой процедуры из Р, произвольным образом сопоставим истинностное значение t или /; единственное ограничение здесь, разумеется, состоит в том, что одинаковым атомам должно быть сопоставлено одно и то же истинностное значение. [4]
I множества S дизъюнктов - это интерпретация множества S, удовлетворяющая следующим четырем условиям. [5]
В период 1922 - 1930 гг. Лэпуорт1, Робинсон2, Инголд3 и другие химики английской школы с известным успехом использовали представление об индукционном эффекте для интерпретации множества непонятных фактов, касающихся замещения в ароматическом ряду. Поняв, что с помощью одного лишь индукционного эффекта полностью объяснить эти факты не удается, Робинсон чисто умозрительным путем ввел еще один фактор, который Инголд назвал мезомерией. [6]
 |
Атрибуты и множества значений. [7] |
Атрибутом называется отображение между множеством сущностей или связей и множеством значений. Атрибут обеспечивает интерпретацию множества значений в контексте множества сущностей или связей. Как показано на рис. 8.2.5, атрибут Дата рождения уточняет семантику использования множества значений ДАТА в контексте множества ПАЦИЕНТ. Атрибут может принимать то же имя, что и соответствующее множество значений. Атрибутное отображение представляется в ERD дугой, направленной от множества сущностей или связей ко множеству ( ам) значений. [8]
 |
Применение семиотического подхода к решению проблемы автоматизации интеллектуального труда.| Укрупненное представление методологии автоматизации интеллектуального труда. [9] |
Схематично методология представлена на рис. 8.7. При этом соответственно ИЛМ автоматизируемой предметной задачи есть нечто иное, как модель-конструкция или проект автоматизируемой процедуры, а ДЛМ есть модель-реализация или технологическая подготовка реализации этой же процедуры, ориентированная на конкретные программно-техническую среду и средства. Построение концептуальной модели предметной задачи позволяет выявить основу для интерпретации множества данных, используемых при ее решении, и обеспечивает смысловое единство для всех формально-языковых представлений этой задачи. [10]
Предположим, что существует конечное невыполнимое множество S основных примеров дизъюнктов в S. Следовательно, S опровергается в каждой интерпретации / множества S. Поэтому S опровергается в каждой интерпретации множества S; значит, S невыполнимо. [11]
Приведенное описание отношения л с помощью подмножества V множества S остается безнадежно туманным, пока мы не интерпретируем S как множество формул исчисления высказываний. При такой интерпретации становится видно, что fi должно интерпретироваться как отношение eq, a V как множество общезначимых формул. В итоге описание отношения fi с помощью V сводится к следующему: две формулы s и t эквивалентны тогда и только тогда, когда эквиваленция s - W - общезначимая формула. Подозрение, что такая интерпретация множества S лежала в основе программы построения рассматриваемой формальной системы, вполне обосновано. [12]
Определяется класс функций, называемых абстракциями, и приводятся их примеры. Для того чтобы найти доказательство дизъюнкта С из S, достаточно найти доказательство из Г и попытаться обратить функцию абстракции. Предлагается несколько стратегий доказательства теорем, основанных на этой идее. Приводится также метод употребления нескольких абстракций одновременно, что требует использования мультидизъюнк-тов, которые являются мультимножествами литер, и связанных с ними функций m - абстракции. Некоторые абстракции особенно интересны, поскольку они соответствуют отдельным интерпретациям множества дизъюнктов S. Применение абстракций дает возможность реализовать преимущества стратегий поддержки в произвольных полных резолюционных стратегиях. [13]
Страницы: 1