登入選單
返回Google圖書搜尋
註釋Abstract: "This paper introduces a novel approach to similarity-based inductive reasoning. Induction is defined as inference in a nonmonotonic logic; this approach contrasts with the classical approach that consists of adding formulae to a theory in order to deduce other formulae. We point out problems arising in this setting and show how they are solved within our framework. Given a set of formulae [Delta], we define the set [Gamma] of inductive generalizations of [Delta], and derive several of its properties."