Reasoning in Multi-Granular Worlds
Abstract
The study of reasoning model draws its inspiration from the observation that reasoning is one of the main intelligent activities of human beings, and of the ways by which human thinking comes from one idea to a related idea.
Reasoning over a multi-granular world is a main ability in human problem solving. The uncertain reasoning model on an AND/OR graph (OR graph) is defined. In order for computers to reason over a multi-granular world, the homomorphism of quotient structures has to be guaranteed. We show that the efficiency of multi-granular reasoning depends on the satisfaction degree of the homomorphism principle to a great extent. The truth- and falsity-preserving principles of reasoning show ...
Get Quotient Space Based Problem Solving now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
