Семантическая параметризация - Semantic parameterization

Семантическая параметризация представляет собой процесс концептуального моделирования для выражения описаний предметной области на естественном языке в логике предикатов первого порядка.^[1]^[2]^[3] Процесс приводит к формализации предложений естественного языка в Описание Логика ответить на кто, какая и где вопросы в модели цикла запросов (ICM), разработанной Колином Поттсом и его коллегами из Технологического института Джорджии.^[4] Процесс параметризации дополняет метод получения знаний и автоматической спецификации (KAOS),^[5] который формализует ответы на когда, Зачем и Как Вопросы ICM в Временная логика, чтобы завершить формализацию ICM. Артефакты, используемые в процессе параметризации, включают словарь, который выравнивает лексику предметной области с уникальными концепциями, различая синонимы и полисемы, а также несколько шаблонов естественного языка, которые помогают отображать общие описания предметной области в формальные спецификации.

Связь с другими теориями

Семантическая параметризация определяет метамодель, состоящую из восьми ролей, которые не зависят от предметной области и могут использоваться повторно. Семь из этих ролей соответствуют роли Джеффри Грубера. тематические отношения^[6] и кейсы у Чарльза Филлмора грамматика падежа:^[7]

Сопоставление метамоделей с рамками дела и тематическими отношениями
Мета-модель Бро	Роли в деле Филлмора	Тематические отношения
Предмет	Агентивный	Агент
Действие
Объект	Цель / факт.	Тема / Пациент
Цель	Дательный падеж	Цель
Источник	Источник	Источник
Инструмент	Инструментальная	Инструмент
Цель		Целенаправленный
Расположение	Местный	Расположение
	Комитативный	Аккомпанемент

Модель цикла запросов (ICM) была введена для сбора информации между инженерами и заинтересованными сторонами в разработке требований.^[4] ICM состоит из кто, какая, где, Зачем, Как и когда вопросы. Все, кроме когда вопросы, требующие Временная логика для представления таких явлений были согласованы с метамоделью в семантической параметризации с использованием Описание Логика (DL).

Сопоставление ролей DL с вопросами в модели цикла запросов
Роль DL в метамодели	Вопрос ICM
isSubjectOf.Activity	Кто выполняет действие?
isObjectOf.Activity	При чем выполняется действие?
isTargetOf.Activity	С кем совершается транзакция?
isPurposeOf.Activity	Почему выполняется действие?
isInstrumentOf.Activity	Как выполняется действие?
isLocationOf.Activity	Где выполняется действие?

Введение с примером

Процесс семантической параметризации основан на Описание Логика, где TBox состоит из слов в толковый словарь, включая существительные, глаголы и прилагательные, а ABox разделен на два набора утверждений: 1) те утверждения, которые происходят из слов в утверждении естественного языка, называемых заземлениеи 2) те утверждения, которые делает (человек) модельер, называемые метамодель. Рассмотрим следующий неструктурированный оператор естественного языка (UNLS) (см. Breaux et al.^[3] для расширенного обсуждения):

UNLS_1.0: Клиент_1,1 не должен делиться_2,2 код доступа_3,3 заказчика_1,1 с кем-то_4,4 кто не провайдер_5,4.

Разработчик модели сначала идентифицирует интенсиональные и экстенсиональные полисемы и синонимы, обозначаемые нижними индексами: первый нижний индекс однозначно относится к интенсиональному индексу, то есть один и тот же первый индекс в двух или более словах относится к одному и тому же понятию в TBox; второй нижний индекс однозначно относится к экстенсиональному индексу, то есть два одинаковых второго индекса в двух или более словах относятся к одному и тому же человеку в ABox. На этом этапе индексации слова в утверждении и понятиях в словаре выравниваются. Затем разработчик модели определяет концепции из словаря, чтобы составить метамодель. В следующей таблице показано полное выражение DL, полученное в результате применения семантической параметризации.

Заземление $г$ и метамодель $M$ получено из UNLS_1.0
Заземление ( $г$ )	Мета-модель ( $M$ )
$Покупатель(п 1) ⨅ Поделиться (п 2) ⨅ isAccessCodeOf (п 3, п 1) ⨅ Кто-то (п 4) ⨅ Провайдер (п 4)$	$Мероприятия(п 5) ⨅ hasSubject (п 5, п 1) ⨅ hasAction (п 5, п 2) ⨅ hasObject (п 5, п 3) ⨅ hasTarget (п 5, п 4) ⨅ isRefrainmentOf (п 5, п 1)$

использованная литература

^ Трэвис Д. Бро и Энни И. Антон (2004). Получение семантических моделей из политик конфиденциальности В архиве 2011-07-28 на Wayback Machine. Технический отчет по информатике Университета штата Северная Каролина TR-2004-36.
^ Трэвис Д. Бро и Энни И. Антон (2008). «Семантика правил майнинга для понимания соответствия законодательству» В архиве 2011-07-28 на Wayback Machine. Технический отчет по информатике Университета штата Северная Каролина TR-2005-31.
^ ^а ^б Т.Д. Бро, А.И. Антон, Дж. Дойл, «Семантическая параметризация: процесс моделирования описания предметной области» В архиве 2008-05-17 на Wayback Machine, Транзакции ACM по методологии программной инженерии, т. 18, нет. 2, статья 5, 2008 г.
^ ^а ^б К. Поттс, К. Такахаши, А.И. Антон, «Анализ требований на основе запросов», Программное обеспечение IEEE 11(2): 21–32, 1994.
^ А. Дарденн, А. ван Ламсверде и С. Фикас, «Целенаправленное получение требований», Наука компьютерного программирования т. 20, Северная Голландия, 1993 г., стр. 3-50.
^ Дж. Грубер, Лексические структуры в синтаксисе и семантике, Северная Голландия, Нью-Йорк, 1976.
^ К. Филлмор, «Дело в пользу дела», Универсалии лингвистической теории, Холт, Райнхарт и Уинстон, Нью-Йорк, 1968.

[1] Трэвис Д. Бро и Энни И. Антон (2004). Получение семантических моделей из политик конфиденциальности В архиве 2011-07-28 на Wayback Machine. Технический отчет по информатике Университета штата Северная Каролина TR-2004-36.

[2] Трэвис Д. Бро и Энни И. Антон (2008). «Семантика правил майнинга для понимания соответствия законодательству» В архиве 2011-07-28 на Wayback Machine. Технический отчет по информатике Университета штата Северная Каролина TR-2005-31.

[Breaux-3] а ^б Т.Д. Бро, А.И. Антон, Дж. Дойл, «Семантическая параметризация: процесс моделирования описания предметной области» В архиве 2008-05-17 на Wayback Machine, Транзакции ACM по методологии программной инженерии, т. 18, нет. 2, статья 5, 2008 г.

[Potts-4] а ^б К. Поттс, К. Такахаши, А.И. Антон, «Анализ требований на основе запросов», Программное обеспечение IEEE 11(2): 21–32, 1994.

[5] А. Дарденн, А. ван Ламсверде и С. Фикас, «Целенаправленное получение требований», Наука компьютерного программирования т. 20, Северная Голландия, 1993 г., стр. 3-50.

[6] Дж. Грубер, Лексические структуры в синтаксисе и семантике, Северная Голландия, Нью-Йорк, 1976.

[7] К. Филлмор, «Дело в пользу дела», Универсалии лингвистической теории, Холт, Райнхарт и Уинстон, Нью-Йорк, 1968.

[1]

[2]

[3]

[4]

[5]

[6]

[7]