А-сети
Cтраница 1
А-сети ( автоматные сети) - каждый переход такой СП должен иметь не более одной входной и одной выходной позиции. [1]
 |
Изображение в А-сети квантора всеобщности. [2] |
Представление в А-сети квантора всеобщности через квантор существования и отрицание приведено на рис. 3.13. Хотя данное представление логически верно, оно интуитивно не очевидно человеку ( особенно при вложенности нескольких кванторов), поэтому будем придерживаться другого представления квантора всеобщности. [3]
 |
Представление в сети гипотетического мира без использования. [4] |
Другим примером структур высших порядков является представление вопросительных предлогкенпй и фокуса. Примеры представления в А-сети вопросительных предложений будут приведены в гл. [5]
 |
Изображение в А-сети квантора всеобщности. [6] |
Другими словами, любой квантор всеобщности может быть представлен в виде импликации, у которой предпосылка определяет тип переменной, связываемой квантором всеобщности, а следствие выражает утверждение, входящее в область действия этого квантора всеобщности. На рис. 3.14 приведен пример представления в А-сети выражения ( ух Х) Р ( х) через импликацию. [7]
К-сеть ( конкретная сеть) содержит конкретные факты ( события или состояния), известные системе, представленные в формате А-сети. В К-сети наличие взаимосвязи между объектами говорит об обязательности ( а не о возможности, как в А-сети) существования данного отношения в моделируемом мире. В А-сети: вершины соответствуют понятиям реального мира, а в К-сети - конкретным объектам. [8]
К-сеть ( конкретная сеть) содержит конкретные факты ( события или состояния), известные системе, представленные в формате А-сети. В К-сети наличие взаимосвязи между объектами говорит об обязательности ( а не о возможности, как в А-сети) существования данного отношения в моделируемом мире. В А-сети: вершины соответствуют понятиям реального мира, а в К-сети - конкретным объектам. [9]
Вместо слова инцидентна употребляются также выражения проходит через, лежит на. Пусть множество линий N разбито на три класса так, что выполняются аксиомы: 1) две линии из различных классов инцидентны ровно одной общей точке из N, 2) каждая точка инцидентна ровно одной линии каждого класса. Аналогично, разбиением на k классов могут быть определены А-сети. Число ( мощность множества) линий в каждом классе одинаково и равно числу ( мощности множества) точек любой линии сети. Сети могут быть координатизированы с помощью К. Q - множество, мощность к-рого равна порядку сети N. Множество Q становится К. При различных взаимно однозначных соответствиях между Q и LI получаются различные, но изотопные К. [10]
Страницы: 1