A three-valued approach to default logic

DOI10.1080/11663081.1996.10510876MaRDI QIDQ4881435zbMATH OpenOpenAlexFDO

Authors Anna Maria Radzikowska

Publication date 22 September 1996

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1996.10510876

zbMATH Keywords

knowledge representationthree-valued logicdefault logiccommonsense reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Many-valued logic (03B50) Logic in artificial intelligence (68T27)

Recommendations

• Default consequence relations as a logical framework for logic programs
• Relationships between Connectives in Three-Valued Logics
• A map of dependencies among three-valued logics
• An approach to default reasoning based on a first-order conditional logic: Revised report
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
• Logic programming with default, weak and strict negations
• scientific article; zbMATH DE number 1269576
• scientific article; zbMATH DE number 4049622
• scientific article; zbMATH DE number 487143

Cites work

• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 487143 (Why is no real title available?)
• scientific article; zbMATH DE number 1163566 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 194964 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A logic for default reasoning

Cited in

(7)

• Default consequence relations as a logical framework for logic programs
• Default rules in the logic of first-degree entailments
• scientific article; zbMATH DE number 487143 (Why is no real title available?)
• A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur
• Consistency defaults
• Counterpossibles and normal defaults in the filioque controversy
• Towards a classification of defaults logics

This page was built for publication: A three-valued approach to default logic

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