Defaults as Generalized Quantifiers

DOI10.1093/LOGCOM/5.4.473MaRDI QIDQ4847379zbMATH OpenOpenAlexFDO

Authors K. Schlechta

Publication date 6 June 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/5.4.473

zbMATH Keywords

automatic query-answering systemsdefault logicdefaultsgeneralized quantifierIBM LILAC projectnonmonotonic reasoningsufficiently large subsettourist information

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1269576
• General default logic
• General Default Logic
• scientific article; zbMATH DE number 994065
• scientific article; zbMATH DE number 140378

Cited in

(20)

• On first-order conditional logics
• A general scheme for formalizing defaults using the predicate \(ab(I,S)\)
• Defaults in update semantics
• A modal logic for subjective default reasoning
• Default consequence relations from topology and measure theory
• In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Sequent calculi for `generally'
• Knowledge means `all', belief means `most'
• A modal logic of knowledge, belief, and estimation
• Making the right exceptions
• scientific article; zbMATH DE number 994065 (Why is no real title available?)
• SIZE AND LOGIC
• In all, but finitely many, possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Roadmap for preferential logics
• New techniques and completeness results for preferential structures
• Knowledge means ‘all’, belief means ‘most’
• Probabilistic Modeling of Default Reasoning
• On the Structure of Natural Deduction Derivations for “Generally”
• Evaluating the effect of semi-normality on the expressiveness of defaults
• Conditional entailment: bridging two approaches to default reasoning.

This page was built for publication: Defaults as Generalized Quantifiers

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