scientific article; zbMATH DE number 1269577

MaRDI QIDQ4236376zbMATH OpenFDO

Authors James Delgrande

Publication date 14 September 1999

zbMATH Keywords

conditional logicdefault conditionalsmodal logicnonmonotonic reasoningsemanticssurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic in artificial intelligence (68T27)

Review text

In this interesting survey, conditional logic is presented as a framework for representing and reasoning with general statements of normality like ``parents take care of their children. The semantic approaches for such conditional logic, discussed in the paper, are: System of Spheres, the world-selection functions approach, and the accessibility relations semantics. Next, some formal systems that have been suggested in the literature as appropriate for representing default conditionals are surveyed. The author also discusses the question how nonmonotonic reasoning has been realised in conditional logics. For the entire collection see [Zbl 0908.90002].

Recommendations

• Conditional logics of normality: A modal approach
• scientific article; zbMATH DE number 1973866
• An approach to default reasoning based on a first-order conditional logic: Revised report
• On a rule-based interpretation of default conditionals
• A modal logic of defeasible reasoning

Cited in

(16)

• In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• On a rule-based interpretation of default conditionals
• Systems and Implementations for Solving Reasoning Problems in Conditional Logics
• Conditional deontic logic augmented with defeasible reasoning
• Defeasible logic with dynamic priorities
• scientific article; zbMATH DE number 5161842 (Why is no real title available?)
• In all, but finitely many, possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Conditional and preferential logics. Proof methods and theorem proving.
• scientific article; zbMATH DE number 1163923 (Why is no real title available?)
• Semantics for Pollock's defeasible reasoning
• Adaptively applying modus ponens in conditional logics of normality
• Annotated defeasible logic
• scientific article; zbMATH DE number 1852916 (Why is no real title available?)
• Defeasible conditionalization
• scientific article; zbMATH DE number 1405883 (Why is no real title available?)
• Conditionals, Information, and Inference

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236376)