It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre hav...It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.展开更多
This paper outlines the necessity of the knowledge representation for the geometrical shapes （KRGS）. We advocate that KRGS for being powerful must contain at least three major components, namely （1） fu...This paper outlines the necessity of the knowledge representation for the geometrical shapes （KRGS）. We advocate that KRGS for being powerful must contain at least three major components, namely （1） fuzzy logic scheme; （2） the machine learning technique; and （3） an integrated algebraic and logical reasoning. After arguing the need for using fuzzy expressions in spatial reasoning, then inducing the spatial graph generalized and maximal common part of the expressions is discussed. Finally, the integration of approximate references into spatial reasoning using absolute measurements is outlined. The integration here means that the satisfiability of a fuzzy spatial expression is conducted by both logical and algebraic reasoning.展开更多
文摘It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.
文摘This paper outlines the necessity of the knowledge representation for the geometrical shapes （KRGS）. We advocate that KRGS for being powerful must contain at least three major components, namely （1） fuzzy logic scheme; （2） the machine learning technique; and （3） an integrated algebraic and logical reasoning. After arguing the need for using fuzzy expressions in spatial reasoning, then inducing the spatial graph generalized and maximal common part of the expressions is discussed. Finally, the integration of approximate references into spatial reasoning using absolute measurements is outlined. The integration here means that the satisfiability of a fuzzy spatial expression is conducted by both logical and algebraic reasoning.
