Семантикалық параметрлеу - Semantic parameterization

Семантикалық параметрлеу бұл доменнің табиғи тілдік сипаттамаларын бірінші ретті предикаттар логикасында өрнектеуге арналған тұжырымдамалық модельдеу процесі.[1][2][3] Процесс табиғи тілдегі сөйлемдерді формализациялауға мүмкіндік береді Сипаттама Логика жауап беру ДДСҰ, не және қайда Колин Поттс және Джорджия технологиялық институтындағы оның әріптестері әзірлеген сұрау-цикл моделіндегі (ICM) сұрақтар.[4] Параметрлеу процесі білім алу және автоматты сипаттама (KAOS) әдісін толықтырады,[5] жауаптарын рәсімдейді қашан, неге және Қалай ICM сұрақтары Уақытша логика, ICM формализациясын аяқтау үшін. Параметрлеу процесінде қолданылатын артефактілерге домендік лексиканы бір-бірінен ажырата отырып, ерекше түсініктермен сәйкестендіретін сөздік кіреді синонимдер және полисемалар, және доменнің жалпы сипаттамаларын формальды сипаттамаларға сәйкес келтіруге көмектесетін бірнеше табиғи тіл үлгілері.

Басқа теориялармен байланыс

Семантикалық параметрлеу доменге тәуелді емес және қайта пайдалануға болатын сегіз рөлден тұратын мета-модельді анықтайды. Осы рөлдердің жетеуі Джеффри Груберге сәйкес келеді тақырыптық қатынастар[6] және іс рөлдері Чарльз Филлморда іс грамматикасы:[7]

Метамодельдер мен тақырыптық байланыстарды бейнелеу
Breaux's Meta-моделіФиллмордың рөлдеріТақырыптық қатынастар
ТақырыпАгенттіАгент
Әрекет
НысанМақсатты / ФактивтіТақырып / Науқас
МақсатТүпнұсқаМақсат
ДереккөзДереккөзДереккөз
АспапАспаптықАспап
МақсатыМақсатты
Орналасқан жеріЖергіліктіОрналасқан жері
КомитативтіСүйемелдеу

Сұрау-цикл моделі (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] кеңейтілген талқылау үшін):

UNLS1.0
Тапсырыс беруші1,1 бөліспеуі керек2,2 кіру коды3,3 тапсырыс берушінің1,1 біреумен4,4 кім провайдер емес5,4.

Модельер алдымен интенсивті және экстенсивтік полисемалар мен синонимдерді анықтайды, оларды подпискалармен белгілейді: бірінші индекс интенсивті индекске ерекше сілтеме жасайды, яғни екі немесе одан да көп сөздегі бірдей бірінші индекс TBox-тағы бірдей ұғымды білдіреді; екінші индекс экстенсивтік индекске ерекше сілтеме жасайды, яғни екі немесе одан да көп сөздегі екі бірдей екінші индекс ABox-тағы бір жеке тұлғаға сілтеме жасайды. Бұл индекстеу қадамы сөздегі сөздерді және сөздіктегі ұғымдарды туралайды. Бұдан әрі модельер мета-модель құру үшін сөздіктен ұғымдарды анықтайды. Төмендегі кестеде мағыналық параметрлеуді қолдану нәтижесінде туындайтын толық DL өрнегі көрсетілген.

Жерге қосу G және метамодель М UNLS-тен алынған1.0
Жерге қосу (G)Мета-модель (М)
Тұтынушы (б1)

⨅ Бөлісу (б2)
⨅ isAccessCodeOf (б3, б1)
⨅ біреу (б4)
⨅ жеткізуші (б4)

Қызмет (б5)

⨅ hasSubject (б5, б1)
⨅ hasAction (б5, б2)
⨅ hasObject (б5, б3)
⨅ hasTarget (б5, б4)
R isRefrainmentOf (б5, б1)

Әдебиеттер тізімі

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