A general approach for determining the validity of commonsense assertions using conditional logics

DOI10.1002/INT.4550050505MaRDI QIDQ3201782zbMATH OpenOpenAlexFDO

Authors Chris Groeneboer, James Delgrande

Publication date 1990

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.4550050505

zbMATH Keywords

normal conditional logicssemantic tableauxtheorem proving

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Conditional and preferential logics. Proof methods and theorem proving.
• Reasoning with conditional axioms
• scientific article; zbMATH DE number 549965
• An approach to human-level commonsense reasoning
• Theorem proving for conditional logics: CondLean and GOALDUCK

Cites work

• Counterfactuals and comparative possibility
• Generality in artificial intelligence
• scientific article; zbMATH DE number 3821130 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Proof methods for modal and intuitionistic logics
• The logic of conditional obligation. Comments by Harry Beatty

Cited in

(2)

• Theorem proving for conditional logics: CondLean and GOALDUCK
• Formalizing common sense: an operator-based approach to the Tibbles-Tib problem

This page was built for publication: A general approach for determining the validity of commonsense assertions using conditional logics

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