Förmågan att resonera kring handling och förändring har länge ansetts vara en nödvändig komponent för alla intelligenta system. Många förslag har tidigare lagts fram för att ta itu med detta problem. I detta dokument erbjuder vi ett nytt synsätt på trosförändring i samband med att man vidtar åtgärder som tar itu med några av bristerna i dessa strategier. I synnerhet bygger vår strategi på en välutvecklad handlingsteori i den situationskalkyl som utvidgats för att hantera tron. Dessutom hanterar vår berättelse inbäddad tro, introspektion, felaktig tro, och hanterar trosrevision och tro uppdateras tillsammans med iterated trosförändring.
De antaganden som görs här är desamma som de som görs i redogörelsen för trosförändring i situationskalkylen i REF.
Iterated belief change in the situation calculus
{'venue': 'Artif. Intell.', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}