This action specification has the f

This action specification has the form

action :- preconditions,
retract(affected_old_properties),
assert(new_properties).
In a nonrecursive action specification, the preconditions will not themselves contain other actions. Thus, in the example so far,


?- put_on(a,table).
yes

?- listing(on), listing(move).

on(b,c).
on(c,table).
on(a,table).

move(a,b,table).

yes

?- put_on(c,a).
no
The last goal fails since a block must have a clear top in order to be moved. Thus


?- put_on(b,table), put_on(c,a).
yes
is successful because b is moved off of c before c is moved to the top of a. Note well that action specifications do not change properties that are not affected by the action, because unaffected properties are not retracted. The task of capturing this desired behavior is called the frame problem.

Hasil (Bahasa Indonesia) 1:

Spesifikasi tindakan ini memiliki bentuk Aksi:-prasyarat, retract(affected_old_properties), assert(new_properties).Dalam nonrecursive spesifikasi tindakan, prekondisi akan tidak diri berisi tindakan lain. Jadi, dalam contoh sejauh ini, ?-put_on(a,table).Ya?-listing(on), listing(move).on(b,c).on(c,Table).on(a,Table).Move(a,b,Table).Ya?-put_on(c,a).TidakTujuan terakhir gagal karena blok harus jelas atas untuk dipindahkan. Dengan demikian ?-put_on(b,table), put_on(c,a).Yaini berhasil karena b pindah dari c sebelum c dipindahkan ke atas a. Catatan juga bahwa tindakan spesifikasi melakukan tidak mengubah properti yang tidak terpengaruh oleh tindakan, karena sifat tidak terpengaruh tidak ditarik kembali. Tugas menangkap ini perilaku yang diinginkan disebut masalah bingkai.

Hasil (Bahasa Indonesia) 2:

Spesifikasi tindakan ini memiliki bentuk

tindakan: - prasyarat,
menarik kembali (affected_old_properties),
menegaskan (new_properties).
Dalam spesifikasi aksi nonrecursive, prasyarat tidak akan sendiri berisi tindakan lainnya. Dengan demikian, dalam contoh sejauh ini,


-? Put_on (a, tabel).
ya

-? listing (di), daftar (bergerak).

pada (b, c).
pada (c, tabel).
(a, tabel).

bergerak (a, b, meja).

ya

-? put_on (c, a).
ada
Gol terakhir gagal karena blok harus memiliki top yang jelas untuk dipindahkan. Jadi


-? Put_on (b, meja), put_on (c, a).
ya
berhasil karena b dipindahkan off dari c sebelum c dipindahkan ke bagian atas. Perhatikan juga bahwa spesifikasi tindakan tidak mengubah sifat-sifat yang tidak terpengaruh oleh tindakan, karena sifat terpengaruh tidak ditarik. Tugas menangkap perilaku ini yang diinginkan disebut masalah bingkai.