Логическая модель

Cтраница 1

Логические модели этого типа базируются на алгебре логики. [1]

Логическая модель основана на системе исчисления предикатов первого порядка. [2]

Логическая модель применяется в основном в исследовательских системах, так как предъявляет очень высокие требования к качеству и полноте знаний предметной области. [3]

Логическая модель не позволяет анализировать смысл, поэтому в принципе отказывается это делать. Теория фреймов позволяет моделировать как форму ( синтаксис), так и смысл ( семантику) предложений. При анализе короткой группы простых предложений с четко определенными терминами задача анализа грамматики в значительной мере эквивалентна задаче анализа смысла предложения. Однако при нарастании числа предложений отчетливо видна разница: Джуди собирается подарить Мартину воздушного змея, однако зная, что у него уже есть такой, опасается, что придется отнести его обратно в магазин. [4]

Логическая модель представляет собой формальную систему - некоторое логическое исчисление. Все знания о предметной области описываются в виде формул этого исчисления или правил вывода. Описание в виде формул дает возможность представить декларативные знания, а правила вывода - процедурные знания. Рассмотрим в качестве примера знание: Когда температура в печи достигает 120 градусов и прошло менее 30 мин с момента включения печи, давление не может превосходить критическое. [5]

Логическая модель основана на системе исчисления предикатов первого порядка. [6]

Логическая модель применяется в основном в исследовательских системах, так как предъявляет очень высокие требования к качеству и полноте знаний предметной области. [7]

Логические модели отличаются простотой и наглядностью построения, а главное, минимумом исходной информации. [8]

Логические модели он подразделяет на модели, построенные по принципу исторической аналогии, и модели, в основе которых лежит построение сценария. Математические модели, согласно данной классификации, подразделяются на статистико-вероятностные, экономико-математические и функционально-иерархические. [9]

Логическая модель может быть беднее ( или грубее) динамической. Так, по списку веществ и механизму химической реакции ( как списку элементарных реакций) можно построить логическую модель, которая лишь качественно описывает из чего что получается ( логическая импликация), и поэтому, в частности, можно логически выявить продукты реакции. [10]

Уровни отображения модели. [11]

Логическая модель ERwin имеет несколько уровней отображения диаграммы: уровень сущностей, уровень атрибутов, уровень определений, уровень первичных ключей и уровень иконок. Переключиться на другие уровни отображения можно при помощи контекстного меню, которое появляется, если щелкнуть по любому месту диаграммы, не занятому объектами модели. В контекстном меню следут выбрать пункт Display Level и затем необходимый уровень отображения. ERwin позволяет связать с сущностью большую и малую иконки. При переключении на уровень иконок показывается большая иконка. Для отображения малой иконки следует выбрать в контекстном меню пункт Entity Display / Entity Icon. Малая иконка будет показана слева от имени сущности на всех уровнях отображения модели. В табл. 2.1.4 показаны уровни отображения модели. [12]

Логические модели реальных систем и процессов представляют собой описания типа если... [13]

Логические модели представления знаний отображают знания данной ПО в виде совокупности простых фактов, утверждений и суждений. Факты отображаются в виде базовых элементов некоторой формальной системы. Утверждения и суждения отображаются в виде формул, которые составляются из базовых элементов с использованием специальных синтаксических и семантических правил. [14]

Описанная логическая модель качества различных систем характеризует одну из существенных сторон исследуемого объекта, а именно его функционирование. [15]

Страницы: 1 2 3 4