I denna uppsats, för att jämföra situationen kalkyl och händelsekalkyl vi formulerar både som logiska program och bevisa egenskaper hos dessa genom resonemang med deras kompletteringar förstärkt med induktion. Vi visar således att situationskalkylen och händelsekalkylen antyder varandra. Medan vår härledning av händelsen kalkyl från situationen kalkyl kräver användning av induktion, vår härledning av situationen kalkyl från händelsen kalkyl inte. Vi visar också att i vissa konkreta tillämpningar, såsom det saknade bilexemplet, kan slutsatser som verkar kräva att man använder induktion i situationskalkylen härledas utan induktion i händelsekalkylen. För att jämföra de två kalkylerna måste vi göra ett antal små ändringar på båda. Som en biprodukt av dessa ändringar kan den resulterande analysen användas för att resonera om både faktiska och hypotetiska förhållanden, inklusive kontrafaktiska sådana. Vi visar vidare hur kärnan axiom i båda kalkylerna kan utvidgas för att hantera domän- eller tillståndsbegränsningar och vissa typer av förgreningar. Vi illustrerar detta med exempel från lagstiftning och blockvärlden.
REF föreslår en version av händelsekalkylen med förgreningstid och situationer.
Reconciling the Event Calculus with the Situation Calculus
{'venue': 'Journal of Logic Programming', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}