A default is an expression of the f

A default is an expression of the form (p:jl , . . . , jklw) where p, jl , . . . , jk and
w are closed first-order sentences with p being called the prerequisite, jl, . . . , jk
the justifications and w the conclusion of the default.

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

Mặc định là một biểu hiện của mẫu (p:jl,..., jklw) nơi p, jl,..., jk và w đóng cửa câu thứ tự đầu tiên với p được gọi là điều kiện tiên quyết, jl,..., jk Các justifications và w kết thúc mặc định.

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

Một mặc định là một biểu hiện của hình thức (p:... Jl,, jklw) trong đó p, jl,. . . , Jk và
w được đóng lại câu lệnh đầu tiên với p được gọi là điều kiện tiên quyết, jl,. . . JK
các luận cứ và w kết luận của các mặc định.