1 IntroductionIn this paper, we rev

1 Introduction
In this paper, we review recent work aimed at the application of logic programming to knowledge representation in artificial intelligence (AI). We consider various extensions of “pure Prolog” (definite logic programs) and show how each of the added features extends the representational power of the language.

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

1 giới thiệuTrong bài báo này, chúng tôi xem xét công việc gần đây nhằm vào các ứng dụng về lập trình logic để kiến thức đại diện trong trí tuệ nhân tạo (AI). Chúng tôi xem xét các mở rộng khác nhau của "tinh khiết Prolog" (các chương trình logic nhất định) và hiển thị như thế nào mỗi người trong số các tính năng bổ sung mở rộng sức mạnh representational của ngôn ngữ.

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

1 Giới thiệu
Trong bài báo này, chúng tôi xem xét công việc gần đây nhằm vào các ứng dụng của lập trình logic để biểu diễn tri thức trong trí tuệ nhân tạo (AI). Chúng tôi xem xét các phần mở rộng khác nhau của "tinh khiết Prolog" (chương trình logic nhất định) và hiển thị như thế nào mỗi tính năng bổ sung mở rộng sức mạnh biểu hiện của ngôn ngữ.