The construction is similar to the

The construction is similar to the one used in Example 23.2.1 to obtain D~,j from Di,j. That is, it involves building time deadlines into the state and not allowing time to pass beyond those deadlines while they are still in force. We also add new constraints on non-time-passage actions to express the lower bound conditions.

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

Việc xây dựng là tương tự như một được sử dụng trong ví dụ 23.2.1 để có được D ~, j Di, j. Có nghĩa là, nó liên quan đến xây dựng thời hạn thời gian vào nhà nước và không cho phép thời gian để vượt qua vượt ra ngoài những thời hạn, trong khi họ vẫn đang lực lượng. Chúng tôi cũng có thêm những hạn chế mới về phòng không thời gian thông qua hành động để nhận các điều kiện ràng buộc thấp hơn.

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

Việc xây dựng tương tự như được sử dụng trong ví dụ 23.2.1 để có được D ~, j từ Di, j. Nghĩa là, nó liên quan đến việc xây dựng thời hạn thời gian vào nhà nước và không cho phép thời gian để vượt qua ngoài những hạn trong khi họ vẫn còn hiệu lực. Chúng tôi cũng có thêm những hạn chế mới về hành động không thời gian qua để thể hiện các điều kiện ràng buộc thấp hơn.