I detta dokument gör vi en detaljerad jämförelse av situationskalkylen och händelsekalkylen, två logikbaserade temporala resonemangsformalismer. Vi koncentrerar oss på skillnaderna mellan kalkylerna, med tanke på de likheter som tydligt framgår av den senaste litteraturen. Vi illustrerar Händelsekalkylens oförmåga att hantera kontrafaktiska resonemangsproblem och situationskalkylens oförmåga att hantera kontrafaktiska uttalanden i närvaro av handlingar med icke-deterministiska eekter. Vi presenterar en ny kalkyl som förlänger både situation och händelseanalys. I denna nya kalkyl har vi ett naturligt och tydligt samband mellan situationer och tidpunkter, som skiljer sig från dem som använts i tidigare jämförelser. Vi visar relationen mellan denna nya kalkyl och båda de ursprungliga kalkylerna. Vi jämför den ursprungliga kalkylen med hjälp av den nya kalkylen som ett analysverktyg.
I REF föreslås en formalism som utvidgar både händelsekalkylen och situationskalkylen.
On The Relation Between Situation Calculus And Event Calculus
{'venue': 'J. Log. Program.', 'journal': 'J. Log. Program.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}