Data on Machine Learning - Artificial Intelligence Published by M. Thielscher and Colleagues

摘要

"McCarthy's Situation Calculus is arguably the oldest special-purpose knowledge representationnformalism, designed to axiomatize knowledge of actions and their effects. Four decades of research innthis area have led to a variety of alternative formalisms: While some approaches can be consideredninstances or extensions of the classical Situation Calculus. like Reiter's successor state axioms or thenFluent Calculus, there are also special planning languages like ADL and approaches based on a linearn(rather than branching) time structure like the Event Calculus," researchers in Sydney, Australia report.