Министерство высшего образования, науки и инноваций республики узбекистан министерство цифровых технологий

Бескванторная запись логических утверждений

• 
  Квантор общности можно явно не обозначать, если какая-то переменная встречается в левой и правой части импликации (эквиваленции) и не попала выше в область действия других кванторов 
  
• 
  Квантор существования можно не использовать, если переменная входит в атомарную формулу, которая является элементом множества «атомарное существование», и переменная не попала выше в область действия других кванторов
  

∀p1 ∀p2 ( (Point(p1) & Point(p2)) -> ∃l (Line(l) & Belonging(p1, l) &
Belonging (p2, l) ) ), где
Point (p) – p является геометрической точкой
Line (l) – l является прямой


Рисунок 6. Бескванторная запись логических утверждений


Требования к отчету. В отчете необходимо описать условия, пошаговое решение задачи. Отчет предоставить для проверки в электронном виде.


Контрольные вопросы:

1. 
   Теория множеств: основы и базовые операции над множествами.
   
2. 
   Синтаксис языка SCL.
   
3. 
   Кванторы логики предикатов первого порядка.
   
4. 
   Формализации утверждений на SCL.
   
5. 
   Бескванторная запись логических утверждений.
   

Лабораторная работа №4.

Изучение принципов работы с базами знаний

Цель 

Получить навыки формального представления в базе знаний высказываний на языках SCs и SCn.

Теоретические сведения 

Библиотека многократно используемых компонентов решателей задач является важнейшим фрагментом метасистемы IMS, обеспечивающим надежность проектируемых решателей и повышение скорости их разработки.

Библиотека включает:
– собственно множество компонентов решателей задач;
– средства спецификации компонентов решателей задач;
– средства поиска компонентов решателей задач на основе их спецификации.
Под многократно используемым компонентом OSTIS вообще понимается компонент некоторой ostis-системы, который может быть использован в другой ostis-системе. Для этого необходимо выполнение как минимум двух условий:
1) есть техническая возможность встроить компонент в дочернюю ostis- систему путем либо физического копирования, переноса и встраивания его в проектируемую систему, либо использования компонента, размещенного в исходной системе наподобие сервиса, т. е. без явного копирования и переноса компонента. Трудоемкость встраивания зависит в том числе от реализации компонента;
2) использование компонента в каких-либо ostis-системах, кроме метасистемы IMS, является целесообразным, т. е. компонентом не может быть частное решение, ориентированное на узкий круг задач. Стоит, однако, отметить, что в общем случае практически каждое решение может быть использовано в каких-либо других системах, круг которых определяется степенью общности и предметной зависимостью такого решения.
С формальной точки зрения каждый многократно используемый компонент OSTIS представляет собой структуру, которая содержит все те (и только те) sc-элементы, которые необходимы для функционирования компонента в дочерней ostis-системе и, соответственно, должны быть в нее скопированы при включении компонента в одну из таких систем. Конкретный состав данной структуры зависит от типа компонента и уточняется для каждого типа отдельно. По сути, данная структура представляет собой эталон (или образец), который копируется при включении соответствующего компонента в дочернюю систему.
Каждый многократно используемый компонент OSTIS может быть атомарным либо неатомарным, т.е . состоять из более простых самодостаточных компонентов.
В зависимости от типа компонента в его состав, т.е . в состав соответствующей структуры, могут дополнительно вводиться роли некоторых sc-элементов , если это необходимо . Например, в случае многократно используемого sc-агента сам sc-узел , обозначающий sc-агент, будет являться ключевым sc-элементом’ в рамках компонента.
В каждый момент времени в текущем состоянии sc-памяти каждый многократно используемый компонент может быть представлен полностью, т. е. в памяти явно присутствуют все sc-дуги принадлежности , соединяющие соответствующую компоненту структуру и все ее элементы, или представлен неявно, например, при помощи указания ключевых sc-элементов’ данного компонента или путем задания декомпозиции данного компонента на более частные .
Рассмотрим общую классификацию многократно используемых компонентов OSTIS в SCn-коде .