lts Unduh - lts Unduh kode sumber

lts

Kategori lainnya

1.0.0

Unduh

Sistem Transisi Berlabel

Penulis : Enrico Trombetta, Francesco Perrone

Dalam ilmu komputer teoretis, sistem transisi adalah konsep yang digunakan dalam studi komputasi. Ini digunakan untuk menggambarkan perilaku potensial sistem diskrit. Ini terdiri dari negara bagian dan transisi antar negara bagian, yang dapat diberi label dengan label yang dipilih dari suatu himpunan; label yang sama mungkin muncul pada lebih dari satu transisi. Jika kumpulan labelnya tunggal, sistem pada dasarnya tidak berlabel, dan definisi yang lebih sederhana dapat dilakukan dengan menghilangkan label.

Diambil dari Wikipedia.

Ini adalah skenario yang mulai saya kerjakan:

Masalahnya melibatkan dua agen, Hal dan Carla. Hal, penderita diabetes, kehilangan insulinnya secara tidak sengaja dan harus segera meminumnya agar tetap hidup. Dia tidak punya cukup waktu untuk membeli persediaan baru, tapi dia tahu Carla menyimpan sejumlah insulin di rumah, sangat dekat. Hal tidak memiliki izin untuk mengakses properti Carla, selain itu Hal mengetahui bahwa Carla juga menderita diabetes dan dia mungkin membahayakan nyawanya dengan mengambil persediaannya. Di sisi lain, Hal yakin Carla mungkin bisa membeli insulin di kemudian hari.

Diskusi singkat tentang skenario ini dapat ditemukan di notes/LTS_insulin.pdf (Sumber LaTex tersedia di bawah folder src ).

Sketsa implementasi disediakan di src/LTS.pl di Prolog (khususnya, kami memutuskan untuk mengadopsi SWI Prolog).

Untuk memanggil jalur, muat basis pengetahuan di penerjemah, muat status awal, dan jalankan jalur.

Misalnya:

?- [LTS].
initial_state ( InitialState ), path( InitialState , Path ) .
InitialState = . ..
Path = . ..
[And a bunch of alternative paths]
true .

?- initial_state(InitialState), export_tree("tree.csv", InitialState).
InitialState = . ..
true .