계산 의미론(computational semantics)은 인공지능과 전산 언어학의 하위 분야로, 자연어 표현에 대한 의미 표현의 자동 구축 및 조작에 초점을 맞춘다. 이 분야는 논리와 수학을 사용하여 언어적 의미를 기술하는 형식 의미론과 실용적 공학을 연결하여, 컴퓨터가 인간이 생성한 텍스트의 내용을 처리, 저장 및 추론할 수 있게 한다. 이 학문은 문장의 의미를 어떻게 표현할지, 구문과 단어로부터 그 표현을 어떻게 도출할지, 그리고 대규모 언어 모델에서 질의응답 엔진에 이르기까지 지능형 시스템에서 그러한 표현을 어떻게 사용할지와 같은 질문을 다룬다.
역사적으로 계산 의미론은 1970년대와 1980년대에 데이터베이스 질의 인터페이스와 같은 제한된 영역을 구문 분석하고 해석하려는 노력에서 emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged emerged