As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
Usually, default rules in the form of conditional statements are built on propositional logic, representing classes of individuals by propositional variables, as in “Birds fly, but penguins don't”. Only few approaches have addressed the problem of giving formal semantics to first-order conditionals that allow (nonmonotonic) inferences both for classes and for individuals. In this paper, we present a semantics for first-order conditionals that is based on ordinal conditional (or ranking) functions which are well-known in the area of propositional default reasoning and makes use of representative individuals to establish conditional relationships. We generalize the c-representation approach of [8] for inductive reasoning with first-order conditionals, and evaluate our approach via benchmark examples and a catalogue of general properties.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.