In Section 5 we show the inadequacy

In Section 5 we show the inadequacy of disjunctive logic programs in representing certain kinds of information and introduce two new unary operators K (meaning known) and M (meaning may be believed). The extension of disjunctive logic programs by these operators (called epistemic logic programs) is used to overcome this inadequacy.

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

Trong phần 5, chúng tôi hiển thị thiếu chương trình logic ly phản trong đại diện cho một số loại thông tin và giới thiệu hai mới unary nhà điều hành K (có nghĩa là gọi) và M (có nghĩa là có thể được tin tưởng). Phần mở rộng của logic ly phản chương trình bởi các nhà khai thác (gọi là chương trình epistemic logic) được sử dụng để khắc phục Thiếu này.

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

Trong phần 5, chúng tôi cho thấy sự bất cập của chương trình logic rời rạc trong việc đại diện một số loại thông tin và giới thiệu hai nhà khai thác unary mới K (có nghĩa là biết) và M (có nghĩa là có thể được tin tưởng). Việc mở rộng các chương trình logic ly tiếp bởi các nhà khai thác (gọi tắt là chương trình logic của tri thức) được sử dụng để khắc phục những bất cập này.