Áp dụng lí thuyết logic của Hoare đối với câu mệnh lệnh

Abstract

Ngày nay, xử lý ngôn ngữ tự nhiên (NLP) và ngôn ngữ học máy tính đang phát triển nhanh chóng. Vì vậy, chúng đặt ra các vấn đề về mô hình ngữ nghĩa thích hợp cho các ngôn ngữ tự nhiên. Trong phạm vi bài viết, giới thiệu câu mệnh lệnh trong tư duy logic của Hoare. Tác giả đề xuất bổ sung và mô hình hóa những kết nối logic ảnh hưởng đến ngữ nghĩa của câu mệnh lệnh. Từ đó, sẽ hỗ trợ ngôn ngữ học tính toán bằng cách tạo ra mô hình ngữ nghĩa với những công thức nhằm xử lí câu mệnh lệnh một cách rõ ràng và chính xác hơn.