Set containment inference and syllogisms

DOI10.1016/0304-3975(86)90011-3MaRDI QIDQ1114429zbMATH OpenOpenAlexFDO

Authors Paolo Atzeni, D. Stott Parker

Publication date 1988

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(86)90011-3

zbMATH Keywords

negative informationbinary containment inferenceknowledge representation schemes

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Artificial intelligence (68T99)

Recommendations

• A generalized syllogistic inference system based on inclusion and exclusion relations
• Consistency checking reduced to satisfiability of concepts in terminological systems
• Taxonomic syntax for first order inference
• scientific article; zbMATH DE number 845928
• scientific article; zbMATH DE number 140381

Cites work

• scientific article; zbMATH DE number 3858396 (Why is no real title available?)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 3922023 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 3797703 (Why is no real title available?)
• DAL -- a logic for data analysis
• Rough sets

Cited in

(2)

• Arithmetizations of Syllogistic à la Leibniz
• Generalized quantifiers and modal logic

This page was built for publication: Set containment inference and syllogisms

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