Процедура - логический вывод
Cтраница 1
Процедура логического вывода обычно представляет совокупность процедур обработки сети. [1]
В общем случае каждый шаг процедуры логического вывода на основе ПР состоит в нахождении двух дизъюнктов, один из которых содержит литеру, а другой - ее отрицание. На основании этого сравнения формируется новый дизъюнкт, называемый / езо / - вентой. Порождение новых дизъюнктов, или резольвент, является основой принципа резолюции. Пара литер, состоящая из некоторой литеры и отрицания этой литеры, называется контрарной, ими дополнительной, парой. Операция поиска и исключения контрарных, или дополнительных, пар литер называется операцией резолюции. [2]
Принцип ( метод, правило) резолюции ( ПР) широко применяют в процедурах логического вывода ( при автоматизированном поиске доказательства теорем, проверке правильности программ, планировании поведения роботов) и в диалоговых системах. В настоящее время предложены различные модификации и обобщения ПР. [3]
Для эффективного моделирования автоматизированной ИПС проводимых людьми процессов поиска информации по узкотематическим запросам необходимо моделировать в ИПС процедуры логического вывода. Возможность такого моделирования, как и все другие разумные свойства автоматизированных информационных систем, предопределяются характером и особенностями применяемых в них искусственных информационных языков. Чем совершеннее и богаче эти языки, чем в большей мере они формализованы, тем более совершенны умозаключительные способности соответствующих автоматизированных систем. [4]
Логико-лингвистическая модель позволяет формализовать декларативные знания о структуре и процессах функционирования организационно-ситуационного объекта и вырабатывать управляющие решения на основе процедур логического вывода, переработки ЗН, обучения и обобщения. Для этого используются МПЗ в виде ФР, СТ и предикатов. [5]
 |
Иерархия обобщений понятия ЛИЧНОСТЬ применительно к предметной области ВУЗ. [6] |
Абстракции агрегации и обобщения обеспечивают возможность структурированного описания предметной области без дублирования информации и возникновения противоречий и вместе с тем позволяют путем использования процедур логического вывода, основанных на правилах наследования признаков, произвести ее корректную переработку. [7]
 |
Пример работы с экспертной системой на ПЭВМ. [8] |
Основными компонентами программного обеспечения экспертной системы, отличающим ее от множества других программ типа систем СУБД, являются редактор правил, поддерживающий базу знаний задачи, и процедуры логического вывода, основанные на введенных правилах. [9]
Главное отличие ЭС и систем искусственного интеллекта от систем обработки данных состоит в том, что в них используется символьный, а не числовой способ представления данных, а в качестве методов обработки информации применяются процедуры логического вывода и эвристического поиска решений. [10]
На втором уровне в этом процессоре возникает процедура логического вывода. На третьем уровне необходима база знаний. Появление нового канала информации, который работает независимо от исходного, характеризует четвертый уровень. Кроме процедур, связанных с работой этого канала, появляются процедуры, увязывающие между собой результаты работы двух каналов, интегрирующие информацию, получаемую по каждому из них. На пятом уровне развитие получают разнообразные способы вывода на знаниях и данных. На этом уровне становятся важными модели индивидуального и группового поведения. На метауровнях возникают новые процедуры для манипулирования знаниями, которых не было на более низких уровнях понимания. [11]
Кроме фактов и правил существуют еще метазнания - знания о знаниях. Они необходимы для управления БЗ и для эффективной организации процедур логического вывода. [12]
Небезразлично, каким образом осуществить разбиение сети. Подсеть как элемент системы знаний должна обладать определенной целостностью и иметь собственные механизмы управления для осуществления элементарных процедур логического вывода. Ранее было введено понятие уровня сети и семантическая сеть была представлена в виде иерархической конструкции. [13]
Следует отметить, что объяснение имеет много общего с доказательством. В доказательстве ( как и в объяснении) можно выделить множество базисных предложений, на которых основывается доказательство, и процедуру логического вывода. Приведенное отличие объясняет причину, по которой в экспертных системах обычно имеют дело с объяснением и обоснованием, а не с доказательством. [14]
Что необходимо сделать инженеру для того, чтобы создать автоматизированную систему принятия решений. Эта задача довольно сложна: необходимо выделить основные псрамстры решаемой задачи, как-то сообщить их экспертной системе, задать набор правил над заданными переменными и, наконец, произвести процедуру логических выводов. Для решения этой группы задач на ПЭВМ разработан ряд экспертных систем. [15]
Страницы: 1 2