Bài toán được đề cập và nghiên cứu trong đề tài này là “dịch từ ngôn ngữ tự nhiên sang ngôn ngữ đặc tả” nhằm phục vụ đầu vào cho hệ giải toán thông minh.
Đầu vào của bài toán này là một đề bài toán ở dạng ngôn ngữ tự nhiên tiếng Việt (ngôn ngữ nguồn), quy trình xử lý làm sao để chuyển đề bài toán này sang dạng tiền đặc tả và sau đó là ngôn ngữ đặc tả (ngôn ngữ đích) cuối cùng là lưu kết quả này vào file Dacta.xml. Mô hình bài toán được biểu diễn như hình 4.1:
Hình 3.1: mô hình bài toán chuyển từ ngôn ngữ tự nhiên sang ngôn ngữ đặc tả
Đề bài toán
Bộ phận chuyển ngôn ngữ tiền
đặc tả. Phân loại giả thiết kết luận CSDL mẫu câu
Mẫu câu với đặc tả Bộ làm sau đặc tả Ngôn ngữ đặc tả mẫu câu với đặc tả Dacta.xm l
Bài toán này được ứng dụng làm đầu vào cho hệ giải toán tự động trong lĩnh vực toán học.
Trong khi các hệ giải toán thông minh có thể tự động giải một bài toán nhưng đầu vào của nó không được tự nhiên mà là một đề bài toán được đưa về dạng ngôn ngữ đặc tả quy định cho hệ giải đó và đề bài toán được đưa về dạng đặc tả thì được làm thủ công bằng tay, ví dụ như hệ giải toán thông minh giải một bài toán hình học phẳng của TS. Đỗ văn Nhơn mà ta đã khảo sát ở phần 2.
Vậy vấn đề mà bài toán đặt ra là làm sao giúp đầu vào của các hệ giải toán thông minh được tự nhiên hơn. Việc chuyển từ một đề bài toán từ ngôn ngữ tự nhiên sang dạng ngôn ngữ đặc tả của bài toán sẽ được làm một cách tự động.
Để làm được điều này ta phải dựa trên bộ từ điển có ngữ nghĩa được xây dựng ứng dụng trong lĩnh vực toán học và kết quả của hệ thống xử lý ngôn ngữ tự nhiên: tách từ, tách câu để đưa ra dạng mẫu câu theo từ loại.
Bài toán đặt ra yêu cầu như sau: - Input: đề một bài toán
- Output: ngôn ngữ đặc tả của bài toán
Để giải quyết yêu cầu của bài toán ta cần thực hiện các bước lớn sau:
Bước 1: Đọc file XML cơ sở dữ liệu mẫu câu (CSDL mẫu câu) cho trước lấy từng dạng mẫu câu đưa chúng về ngôn ngữ tiền đặc tả
Bước 2: chuyển đoạn văn từ ngôn ngữ tự nhiên sang ngôn ngữ đặc tả theo định nghĩa cho trước.
Bước 3: từ dạng tiền đặc tả đưa đoạn văn bản thành dạng đặc tả chi tiết → output.