계산 의미론
Computational semantics| 의미론 | ||||||||
|---|---|---|---|---|---|---|---|---|
| ||||||||
| 컴퓨팅 | ||||||||
| ||||||||
계산적 의미론은 자연어 표현의 의미 표현으로 구성과 추론 과정을 자동화하는 방법을 연구하는 학문이다.[1] 그것은 결과적으로 자연 언어 처리와 계산 언어학에서 중요한 역할을 한다.
전통적인 관심 주제로는 의미 표현 구성, 의미 과소 지정, 아나포라 분해능,[2] 전제 투영, 정량화 범위 분해능이 있다. 채택된 방법은 일반적으로 공식 의미론이나 통계 의미론에서 도출한다. 계산적 의미론에는 어휘적 의미론(단어 감각의 모호함과 의미적 역할 라벨링), 담화적 의미론, 지식 표현 및 자동화된 추론(특히 자동화된 정리 증명)의 영역과 접촉하는 지점이 있다. 1999년부터 계산 의미론, SIGSEM에 대한 ACL 특별 이익집단이 있다.
참고 항목
추가 읽기
- Blackburn, P, Bos, J. (2005) 자연언어에 대한 표현과 추론 : 계산 의미론, CSLI 간행물의 첫 번째 과정. ISBN1-57586-496-7.
- 분트, H, 그리고 머스크린스, R.(1999), 컴퓨팅 의미, 1권, 클루워 출판, 도드레흐트. ISBN 1-4020-0290-4.
- 분트, H, Muskens, R, 그리고 Tijsse, E.(2001), 컴퓨팅 의미, 제2권, 클루워 출판, Dordrecht. ISBN 1-4020-0175-4.
- 코페스타케, A, 플리킹, D. P., 사그, I. A., & 폴라드, C. (2005) 최소 재귀 의미론. 소개. 언어와 계산에 관한 연구. 3:281–332.
- 아이크, J. 밴, 그리고 C. 언거(2010): 기능 프로그래밍을 통한 계산 의미론. 케임브리지 대학 출판부. ISBN 978-0-521-75760-7
- Wilks, Y, Charniak, E.(1976), Computing Semantics: 암스테르담 노스홀랜드의 인공지능과 자연언어 이해에 대한 소개 ISBN 0-444-11110-7
참조
외부 링크
- 컴퓨터언어학협회(ACL)의 SIGSEM에 관한 특별 이익단체
- IWCS - 계산 의미론에 관한 국제 워크숍(SIGSEM에 의해 종료됨)
- ICoS - 계산 의미론 추론(SIGSEM에 의해 엔드라인)
