Certain kinds of natural-language p

Certain kinds of natural-language processing can be done with logic programming. In particular, natural-language interfaces to computer software systems,
such as intelligent databases and other intelligent knowledge-based systems, can
be conveniently done with logic programming. For describing language syntax,
forms of logic programming have been found to be equivalent to context-free
grammars. Proof procedures in logic programming systems have been found to
be equivalent to certain parsing strategies. In fact, backward-chaining resolution can be used directly to parse sentences whose structures are described by
context-free grammars. It has also been discovered that some kinds of semantics
of natural languages can be made clear by modeling the languages with logic
programming. In particular, research in logic-based semantics networks has
shown that sets of sentences in natural languages can be expressed in clausal
form (Deliyanni and Kowalski, 1979). Kowalski (1979) also discusses logicbased semantic networks.

Kết quả (Việt) 1:

Một số loại ngôn ngữ tự nhiên chế biến có thể được thực hiện với lập trình logic. Đặc biệt, ngôn ngữ tự nhiên giao diện cho các hệ thống phần mềm máy tính,chẳng hạn như cơ sở dữ liệu thông minh và các hệ thống dựa trên kiến thức thông minh, có thểthuận tiện được thực hiện với lập trình logic. Để mô tả cú pháp ngôn ngữ,hình thức lập trình logic đã được tìm thấy là tương đương với bối cảnh miễn phígrammars. Các thủ tục bằng chứng trong các hệ thống lập trình logic đã được tìm thấyđược tương đương với một số chiến lược phân tích cú pháp. Trong thực tế, độ phân giải ngược loạt có thể được sử dụng trực tiếp để phân tích cú pháp câu có cấu trúc được mô tả bởibối cảnh miễn phí grammars. Nó đã cũng được phát hiện rằng một số loại ngữ nghĩangôn ngữ tự nhiên có thể được thực hiện rõ ràng bởi mô hình hóa các ngôn ngữ với logiclập trình. Cụ thể hơn, các nghiên cứu trong mạng lưới dựa trên logic-ngữ nghĩa cóHiển thị bộ câu trong ngôn ngữ tự nhiên có thể được bày tỏ trong clausalhình thức (Deliyanni và Kowalski, 1979). Kowalski (1979) cũng thảo luận về logicbased ngữ nghĩa mạng.

Kết quả (Việt) 2:

Một số loại chế biến ngôn ngữ tự nhiên có thể được thực hiện với lập trình logic. Đặc biệt, giao diện ngôn ngữ tự nhiên để hệ thống phần mềm máy tính,
chẳng hạn như cơ sở dữ liệu thông minh và hệ thống dựa trên tri thức thông minh khác, có thể
được thuận tiện thực hiện với lập trình logic. Để mô tả cú pháp ngôn ngữ,
hình thức lập trình logic đã được tìm thấy là tương đương với cảnh Việt
ngữ pháp. Thủ tục chứng minh trong hệ thống lập trình logic đã được tìm thấy
là tương đương với các chiến lược phân tích cú pháp nhất định. Trong thực tế, độ phân giải ngược xâu chuỗi có thể được sử dụng trực tiếp để phân tích câu có cấu trúc được mô tả bằng
văn phạm tiếng cảnh Việt. Nó cũng đã được phát hiện ra rằng một số loại ngữ nghĩa
của ngôn ngữ tự nhiên có thể được thực hiện rõ ràng bằng cách mô phỏng tiếng với logic
lập trình. Cụ thể, nghiên cứu trong các mạng ngữ nghĩa logic dựa trên đã
chỉ ra rằng bộ câu trong ngôn ngữ tự nhiên có thể được thể hiện trong clausal
dạng (Deliyanni và Kowalski, 1979). Kowalski (1979) cũng thảo luận về logicbased mạng ngữ nghĩa.