I detta dokument introducerar vi ett alternativt tillvägagångssätt till Temporal Response Set Programmering som bygger på en variation av Temporal Equilibrium Logic (TEL) för finita spår. Detta tillvägagångssätt gör att vi kan jämna ut uttrycksfullheten av TEL över oändliga spår med den beräkningskapacitet (incremental) Svarsuppsättning programmering (ASP). Vi hävdar också att finita spår är mer naturliga när man resonerar om handling och förändring. Som ett resultat, vår strategi är lätt att genomföra via multi-shot ASP-system och drar nytta av en utvidgning av ASP: s fullfjädrade inmatningsspråk med temporal operatörer. Detta inkluderar såväl framtida som tidigare operatörer vars kombination erbjuder ett rikt temporal modellering språk. För beräkning, identifierar vi klass av temporal logik program och bevisar att det utgör en normal form för vårt tillvägagångssätt. Slutligen skisserar vi två genomföranden, ett generiskt sådant och en förlängning av ASP-systemet klago. Under övervägande för publicering i teori och praktik av Logisk programmering (TPLP)
Det senaste arbetet handlar om förlängningar av ASP för att stödja temporal verksamhet i inmatningsspråket och multi-shot ASP för beräkning temporal modeller REF.
Temporal Answer Set Programming on Finite Traces
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}