Cтраница 1
К-системы входят в класс ДС с положит, энтропией. В нем уже встречаются системы, к-рые не перемешивают, и даже неэргодич. [1]
К-система, все слова которой разрешимы - истинны или ложны - называется полной. К-множество полно, если оно представимо в полной К-системе. [2]
К-система полна, если Е U Е совпадает со множеством всех слов в алфавите К-системы. Напомним, что К-множество полно, если оно представимо в полной К-системе. [3]
К-системы, представляющей арифметическое множество, сопряженное с данной формулой. [4]
К-системы, ускорения точки А в обеих системах отсчета будут одинаковы. [5]
К-систему - утверждение R R, как легко показать, неразрешимо. Следовательно, объект R, введенный этим определением, не является множеством. [6]
К-системе, если все его выводы являются Л - выводами или оно вообще не имеет вывода. [7]
Для любой К-системы 91 и любого конечного, множества X s А система 9 ( ( Х) конечна. [8]
В К-системе отсчета имеются однородные электрическое Е и магнитное В поля одного направления. [9]
Итак, К-системы, сохраняя достоинства канонических исчислений, особенно - возможность представления полной операции обобщения, позволяют, вместе с тем, повысить интеллект продукционной системы благодаря отношению исключения. Это отношение дает возможность из всех формально верных выводов выделить уместные в конкретной ситуации. Все это приближает К-системы к - неформальной природе мышления и делает их чрезвычайно удобными с точки зрения развития и модификации машинного знания. [10]
Используемый в К-системе язык К выгодно отличается от своего близкого родственника Пролога исключительной простотой - достаточно сказать, что в языке К содержится всего несколько основных конструкций ( константа, переменная, образец, оператор, правило), а сравнительно подробное описание синтаксиса К-языка занимает две страницы текста. Несмотря на это, однако, К-язык предоставляет программистам современные механизмы логического вывода и режима возвратов. Все это в сочетании с аппаратом исключений из правил превращает К-систему в мощный инструмент для разработки систем искусственного интеллекта, доступный в отличие от Пролога, широкому кругу программистов. [11]
Таким образом, построенная К-система представляет дополнение множества Е, которое не является рекурсивно перечислимым. [12]
Часы движутся в К-системе отсчета прямолинейно и равномерно со скоростью V. [13]
Соответствующая система программирования - К-система - представляет собой диалоговую систему, аналогичную системам типа Пролог, и отличается наличием встроенного механизма исключений из правил. Версия 1.10 К-системы вместе с демонстрационными и учебными примерами занимает на дискете около 100 Кбайт. [14]
В силу теоремы 7.4 К-системы достаточно выразительны и в них могут быть представлены сложные, в том числе не алгоритмические процедуры. Однако на практике бывает удобно выполнять сложные преобразования последовательным применением более простых, что связано с реальными ограничениями на память системы, а также с особенностями самого человека, разрабатывающего продукции К-системы. [15]