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

摘要

2011 MAR 14 - (VerticalNews.com) -- "McCarthy's Situation Calculus is arguablyrnthe oldest special-purpose knowledge representation formalism, designed to axiomatizernknowledge of actions and their effects. Four decades of research in this area have led to a varietyrnof alternative formalisms: While some approaches can be considered instances or extensions ofrnthe classical Situation Calculus. like Reiter's successor state axioms or the Fluent Calculus, therernare also special planning languages like ADL and approaches based on a linear (rather thanrnbranching) time structure like the Event Calculus," researchers in Sydney, Australia report.