System Z(FO): Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases

Beierle, C; Falke, T; Kutsch, S; Kern-Isberner, G

Beierle, C (reprint author), Univ Hagen, Fac Math & Comp Sci, D-58084 Hagen, Germany.

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017; 90 ( ): 120

Abstract

A propositional conditional of the form (BSA), representing the default rule "If A, then usually B", goes beyond the limits of classical logic, and th......

Full Text Link