의미 매개변수화
Semantic parameterization의미 매개변수화는 도메인의 자연어 설명을 1차 술어 논리로 표현하기 위한 개념 모델링 과정이다.[1][2][3]이 과정은 코린 포츠와 조지아 공과대학교의 그의 동료들이 개발한 ICM(Inquiry-Cycle Model)에서 누가, 무엇을, 어디에 있는 질문에 답하기 위해 Description Logic에서 자연어 문장의 공식화를 산출한다.[4]매개변수화 프로세스는 시간적 논리학에서 ICM 질문에 대한 답을 공식화하는 KAOS(Knowledge Acquisition and automated Specification) 방식을 보완해 ICM 공식화를 완료한다.[5]매개변수화 과정에 사용된 공예품에는 도메인 어휘를 독특한 개념으로 정렬하는 사전과 동의어와 다의어를 구별하는 사전, 공통 도메인 설명을 형식적인 사양에 매핑하는 데 도움이 되는 몇 가지 자연어 패턴이 있다.
다른 이론과의 관계
의미 매개변수화는 도메인 독립적이고 재사용 가능한 8개의 역할로 구성된 메타 모델을 정의한다.이 중 7가지 역할은 찰스 필모어의 사례 문법에서 제프리 그루버의 주제 관계와[6] 사례 역할에 해당한다.[7]
| 브레오의 메타 모델 | 필모어의 사례 역할 | 주제 관계 |
|---|---|---|
| 제목 | 대리점 | 에이전트 |
| 액션 | ||
| 오브젝트 | 객관적/사실적 | 테마/환자 |
| 대상 | 데이티브 | 목표 |
| 출처 | 출처 | 출처 |
| 계기 | 기악기 | 계기 |
| 목적 | 자줏대 있는 | |
| 위치 | 로케티브 | 위치 |
| 코메틱 | 반주 |
요구사항 엔지니어링에서 엔지니어와 이해당사자 간의 도출을 촉진하기 위해 ICM(Inquisy-Cycle Model)이 도입되었다.[4]ICM은 누가, 무엇을, 어디서, 왜, 어떻게, 언제 질문하는 지로 구성된다.그러한 현상을 나타내기 위해 시간적 로직(Temporary Logic)이 필요한 질문을 제외한 모든 질문이 DL(Description Logic)을 사용한 의미론적 매개변수화에서 메타모델과 정렬되었다.
| 메타모델에서의 DL 역할 | ICM 질문 |
|---|---|
| isSubjectOf.활동 | 누가 그 액션을 수행하는가? |
| isObjectOf.활동 | 수행되는 동작은 무엇인가? |
| isTargetOf.활동 | 그 거래는 누구와 수행되는가? |
| IspropertyOf.활동 | 액션이 수행되는 이유는? |
| isInstrumentOf.활동 | 동작은 어떻게 수행되는가? |
| IsLocationOf.활동 | 동작은 어디에서 수행되는가? |
예제와 함께 소개
의미 매개변수화 과정은 서술논리에 기초하는데, 여기서 TBox는 명사, 동사, 형용사를 포함한 사전의 단어들로 구성되어 있고, ABox는 두 가지의 주장으로 나뉘어져 있다: 1) 자연어 서술의 단어들로부터 오는 주장, 즉 기초화라고 하는 주장, 2) ar의 주장이 그것이다.메타모델로 불리는 (인간)모델이 유추한 것이다.다음의 비정형 자연어 문(UNLS)을 고려하십시오(확장된 설명은 Breaux 등 참조).[3]
- UNLS1.0
- 고객은1,1 제공자가5,4 아닌 사람과4,4 고객의1,1 액세스 코드를3,3 공유해서는2,2 안 된다.
모델러는 첨자로 표시된 강도와 확장 다종 및 동의어를 먼저 식별한다. 첫 번째 첨자는 고유하게 강도 지수를 가리킨다. 즉, 두 개 이상의 단어로 된 동일한 첫 번째 지수는 TBox에서 동일한 개념을 가리킨다. 두 번째 첨자는 고유하게 확장 지수, 즉 두 번째 첨자는 확장 지수를 가리킨다.두 개 이상의 단어가 ABox에서 동일한 개인을 가리킨다.이 색인 단계는 문장의 단어와 사전의 개념을 정렬한다.다음으로, 모델러는 메타 모델을 구성하기 위해 사전에서 개념을 식별한다.다음 표는 의미 매개변수화 적용에서 비롯되는 완전한 DL 표현을 보여준다.
| 접지(G) | 메타모델(M) |
|---|---|
| 고객(p1) ∘공유(p2) ⨅ isAccessCodeOf(p3, p1) ⨅ 누군가(p4) ⨅ 제공자(p4) | 활동(p5) ⨅ hasSubject(p5, p1) ⨅ hasAction (p5, p2) ⨅ hasObject(p5, p3) ④ hasTarget (p5, p4) 〇 isRefremeOf (p5, p1) |
참조
- ^ 트래비스 D.브레오와 애니 1세안톤 (2004년).개인 정보 보호 정책에서 의미론 모델 도출 웨이백 머신에 보관된 2011-07-28노스캐롤라이나 주립대학 컴퓨터 과학 기술 보고서 TR-2004-36.
- ^ 트래비스 D.브레오와 애니 1세Anton(2008)."입법 준수를 이해하기 위한 Mining Rule Semantics" 2011-07-28 Wayback Machine에 보관.노스캐롤라이나 주립대학 컴퓨터 과학 기술 보고서 TR-2005-31.
- ^ a b T.D. Breaux, A.I. Anton, J. Doyle "Semantic parameterization: modeling domain description" 2008-05-17 Wayback Machine, ACM Transactions on Software Engineering Methodology, 제18호, 제2호, 2008조
- ^ a b C. 포츠, K.다카하시 씨, 그리고 A 씨.I. Anton, "질문 기반 요구사항 분석", IEEE 소프트웨어 11(2): 21–32, 1994.
- ^ A. Dardenne, A. van Lamsweerde, S.피카스, "Goal-Direction Requirements Acquisition", Science of Computer Programming 대 20, North Holland, 1993, 페이지 3-50.
- ^ J. Gruber, Lexical Structures in Synamic and Semantics, North Holland, New York, 1976년.
- ^ C. 필모어, "사례를 위한 사례" 1968년 뉴욕 홀트, 라인하트, 윈스턴, 홀트, 언어 이론의 유니버설스톨스.
