Goal: delete second paragraph in do

Goal: delete second paragraph in document
Looking at the operators an obvious one to resolve this goal is delete_paragraph which
has the precondition ‘cursor at start of paragraph’. We therefore have a new subgoal:
move_to_paragraph. The precondition is ‘cursor anywhere in document’ (which we can
meet) but we want the second paragraph so we must initially be in the first.
We set up a new subgoal, move_to_start, with precondition ‘cursor anywhere in document’
and result ‘cursor at start of document’. We can then apply move_to_paragraph
and
finally
delete_paragraph.
We assume some knowledge here (that the second paragraph is the paragraph after the
first one).

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

Mục tiêu: xóa thứ hai đoạn văn trong tài liệuNhìn vào các nhà khai thác một rõ ràng để giải quyết mục tiêu này là delete_paragraph màcó điều kiện tiên quyết 'con trỏ đầu đoạn'. Chúng tôi do đó có một subgoal mới:move_to_paragraph. Sự kiện là 'con trỏ bất cứ nơi nào trong tài liệu' (mà chúng tôi có thểgặp gỡ) nhưng chúng tôi muốn đoạn thứ hai vì vậy chúng ta phải ban đầu trong vòng.Chúng tôi thiết lập một subgoal mới, move_to_start, với điều kiện tiên quyết 'con trỏ bất cứ nơi nào trong tài liệu'và kết quả 'con trỏ đầu của tài liệu'. Chúng tôi có thể sau đó áp dụng move_to_paragraphvàfinallydelete_paragraph.Chúng tôi giả định một số kiến thức ở đây (đoạn thứ hai là đoạn sau khi cácVòng một).

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

Mục tiêu: xóa đoạn thứ hai trong tài liệu
Nhìn vào khai thác một trong những rõ ràng để giải quyết mục tiêu này là delete_paragraph mà
có các điều kiện tiên quyết 'con trỏ ở đầu đoạn'. Do đó chúng tôi có một subgoal mới:
move_to_paragraph. Các điều kiện tiên quyết là 'con trỏ bất cứ nơi nào trong tài liệu' (mà chúng tôi có thể
đáp ứng), nhưng chúng tôi muốn đoạn thứ hai vì vậy chúng tôi ban đầu phải nằm trong tiên fi.
Chúng tôi thiết lập một subgoal mới, move_to_start, với điều kiện tiên quyết 'con trỏ bất cứ nơi nào trong tài liệu
"và kết quả' con trỏ ở đầu của tài liệu. Sau đó chúng ta có thể áp dụng move_to_paragraph
và
fi nally
delete_paragraph.
Chúng tôi thừa nhận một số kiến thức ở đây (mà đoạn thứ hai là đoạn sau khi
fi đầu tiên một).