A SUMO Walkabout: Expressing a Situation Calculus Problem in SUMO
I take an example inference problem that was the subject of an AI Journal article that was coded with the Situation Calculus and re-express it using SUMO. I also show the use of Vampire to do theorem proving with the resulting formalization.
I take an example inference problem that was the subject of an AI Journal article that was coded with the Situation Calculus and re-express it using SUMO. I also show the use of Vampire to do theorem proving with the resulting formalization.