no code implementations • 1 Aug 2015 • Zenon Colaco, Mohan Sridharan
The architecture described in this paper couples the non-monotonic logical reasoning capabilities of a declarative language with probabilistic belief revision, enabling robots to represent and reason with qualitative and quantitative descriptions of knowledge and degrees of belief.