Jezik dejstva
U informatici, jezik dejstva je jezik za navođenje sistema stanja tranzicije, a najčešće se koristi za kreiranje formalnih modela efekata akcije na svetu.[1] Jezik dejstva se obično koristi u veštačkoj inteligenciji i domenu robotike, gde se opisuju kako akcije utiču na stanja sistema tokom vremena, i mogu se koristiti za automatizovano planiranje. Najpoznatiji jezik dejstva je PDDL.[2]
Jezici dejstva spadaju u dve klase: radne opise jezika i jezike dejstva upita. Primeri bivši uključuju STRIPS, PDDL, Jezik A (generalizaciju trake; propozicionalnog dela Pednault's ADL), jezik B (produžetak A dodavanje indirektnih efekata, praveći razliku statičkih i dinamičkih zakona) i jezik C (koji dodaje indirektne efekte takođe, i ne pretpostavlja da je sve tečno automatski "inercijalno"). Tu su akcioni upit jezika P, Q i R. Nekoliko različitih algoritama postoji za pretvaranje jezika dejstva, a posebno, jezik dejstva C, odgovori na postavljene programe.[3][4] Pošto savremeni odgovor-set rešavaju i koriste bulov SAT za algoritame da vrlo brzo utvrdie zadovoljivost, to znači da jezici dejstva uživaju u napretku koji je u domenu bulovog SAT-a.
Formalna definicija[uredi | uredi izvor]
Svi jezici dejstva dopunjuju definiciju sistema stanja tranzicije sa određenom F iz fluentsa, set V vrednosti koje fluents može preduzeti, kao i mapiranje funkcija S × F do V, gde je S skup stanja sistema stanja tranzicije .
Vidi još[uredi | uredi izvor]
Reference[uredi | uredi izvor]
- ^ Michael Gelfond, Vladimir Lifschitz (1998) "Action Languages", Linköping Electronic Articles in Computer and Information Science, vol 3, nr 16.
- ^ Drew McDermott, The Planning Domain Definition Language, Technical Report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control, Yale University, 1998.
- ^ Vladimir Lifschitz and Hudson Turner, (1998) "Representing Transition Systems by Logic Programs Arhivirano na sajtu Wayback Machine (25. avgust 2016)".
- ^ Martin Gebser, Torsten Grote and Torsten Schaub (2010). „Coala: a compiler from action languages to ASP”. CiteSeerX 10.1.1.185.4622
.
