From the perspective of knowledge r

From the perspective of knowledge representation, such extensions of traditional logic programming have the same status as other nonmonotonic formalisms and should be stud¬ied as such. This includes the investigation of the methodology of using these languages for representing various forms of nonmonotonic reasoning and for describing knowledge in specific domains; the mathematical investigation of properties of theories stated in these languages, done from the stand point of their semantics and not necessarily related to any particular computational mechanism; development of query answering systems; and investigation of the relationship between logic programming and other knowledge representation methods.

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

Từ quan điểm của kiến thức đại diện, các phần mở rộng của chương trình truyền thống logic có tình trạng tương tự như các formalisms nonmonotonic và nên là stud¬ied như vậy. Điều này bao gồm việc điều tra của các phương pháp của việc sử dụng những ngôn ngữ này đại diện cho các hình thức khác nhau của nonmonotonic lý luận và mô tả các kiến thức trong lĩnh vực cụ thể; Các điều tra toán học của các thuộc tính của lý thuyết đã nêu trong những ngôn ngữ này, được thực hiện từ điểm đứng của ngữ nghĩa của họ và không nhất thiết phải liên quan đến bất kỳ cơ chế tính toán cụ thể; phát triển hệ thống trả lời truy vấn; và điều tra các mối quan hệ giữa các lập trình logic và các phương pháp đại diện kiến thức khác.

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

Từ quan điểm của biểu diễn tri thức, mở rộng như vậy của lập trình logic truyền thống có tình trạng tương tự như formalisms nonmonotonic khác và cần được stud¬ied như vậy. Điều này bao gồm việc điều tra các phương pháp luận của việc sử dụng những ngôn ngữ để biểu diễn các hình thức khác nhau của lý luận nonmonotonic và để mô tả kiến ​​thức trong các lĩnh vực cụ thể; điều tra toán học của các thuộc tính của các lý thuyết được nêu trong các thứ tiếng, được thực hiện từ điểm đứng của ngữ nghĩa của họ và không nhất thiết phải liên quan đến bất kỳ cơ chế tính toán cụ thể; phát triển hệ thống trả lời tự động truy vấn; và điều tra các mối quan hệ giữa lập trình logic và phương pháp biểu diễn tri thức khác.