Categorical general logic programs

Categorical general logic programs discussed in the previous section provide a powerful tool for knowledge representation in situations which warrant the use of the closed world assumption .

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

Categorical logic nói chung chương trình thảo luận trong phần trước cung cấp một công cụ mạnh mẽ cho kiến thức đại diện trong các tình huống mà đảm bảo việc sử dụng các giả định trên thế giới đóng cửa.

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

chương trình logic tổng quát phân loại được thảo luận trong phần trước cung cấp một công cụ mạnh mẽ để biểu diễn tri thức trong các tình huống đó bảo đảm việc sử dụng các giả định thế giới khép kín.