3.1 đại diện cho kiến thức sử dụng chương trình kéo dài LogicTrong phần này, chúng tôi chứng minh các ứng dụng của chương trình kéo dài logic cho formalization của lý luận thông tin không đầy đủ. Thêm các ví dụ và các cuộc thảo luận về chủ đề này có thể được tìm thấy tại [GL91], [PAA91a], [KS90], [PAA],
đang được dịch, vui lòng đợi..
