It became apparent, on the other ha

It became apparent, on the other hand, that in order to become satisfactory tools for knowledge representation, logic programming languages should be expanded to allow for better handling of incomplete information. Work in this direction was started by Minker [Min82], Loveland [Lov87] and others, who investigated the possibility of expanding logic programs by disjunctive information. In [GL90, PW89, Gel92b], extensions of logic pro¬gramming by classical (or strong) negation and epistemic operators were suggested. Unlike “traditional” nonmonotonic formalisms, these extensions are not based on the use of clas¬sical logical connectives, and do not include full first-order logic (not even its propositional part). Their fairly simple syntactic form may facilitate the adaptation of query-answering methods developed in the context of logic programming and deductive databases to more complicated forms of knowledge representation and reasoning. At the same time, these logic programming-based languages are rather expressive. In fact, they are more expressive than first-order logic. (See Section 10.)

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

Nó trở nên rõ ràng, mặt khác, rằng để trở thành công cụ thỏa đáng cho kiến thức đại diện, ngôn ngữ lập trình logic nên được mở rộng cho phép xử lý tốt hơn các thông tin không đầy đủ. Các công việc trong hướng này đã được bắt đầu bởi Minker [Min82], Loveland [Lov87] và những người khác, những người điều tra khả năng mở rộng chương trình logic của ly phản thông tin. [GL90, PW89, Gel92b], Tiện ích mở rộng của logic pro¬gramming phủ định cổ điển (hay mạnh) và nhà khai thác epistemic đã được đề xuất. Không giống như "truyền thống" nonmonotonic formalisms, các phần mở rộng không dựa trên việc sử dụng các clas¬sical hợp lý connectives, và không bao gồm đầy đủ đầu tiên, trật tự logic (thậm chí không propositional một phần của nó). Hình thức cú pháp khá đơn giản của họ có thể tạo điều kiện thích ứng trả lời các truy vấn các phương pháp phát triển trong bối cảnh của logic lập trình và suy luận cơ sở dữ liệu với phức tạp hơn các hình thức đại diện kiến thức và lý luận. Cùng lúc đó, các ngôn ngữ lập trình dựa trên logic là đúng hơn là diễn cảm. Trong thực tế, họ đang diễn cảm hơn so với đầu tiên thứ tự logic. (Xem mục 10).

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

Nó trở nên rõ ràng, mặt khác, rằng để trở thành công cụ thỏa đáng cho hiện kiến ​​thức, ngôn ngữ lập trình logic cần được mở rộng để cho phép xử lý tốt hơn các thông tin không đầy đủ. Làm việc theo hướng này đã được bắt đầu bởi Minker [Min82], Loveland [Lov87] và những người khác, những người đã nghiên cứu khả năng mở rộng các chương trình logic bằng thông tin rời rạc. Trong [GL90, PW89, Gel92b], phần mở rộng của logic pro¬gramming bởi nhà khai thác cổ điển (hoặc mạnh) phủ và tri thức đã được đề xuất. Không giống như "truyền thống" formalisms nonmonotonic, các phần mở rộng không dựa trên việc sử dụng các từ nối logic clas¬sical, và không bao gồm đầy đủ logic đầu tiên trật tự (thậm chí không một phần mệnh đề của nó). hình thức cú pháp khá đơn giản của họ có thể tạo điều kiện cho sự thích ứng của các phương pháp truy vấn trả lời được phát triển trong bối cảnh của chương trình logic và cơ sở dữ liệu suy diễn để hình thức phức tạp hơn của biểu diễn tri thức và lập luận. Đồng thời, các ngôn ngữ lập trình dựa trên lý khá biểu cảm. Trong thực tế, họ có nhiều biểu cảm hơn logic bậc nhất. (Xem Phần 10)