Set containment inference and syllogisms

DOI10.1016/0304-3975(86)90011-3zbMATH Open0662.68090OpenAlexW2010611126MaRDI QIDQ1114429FDOQ1114429

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

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

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)

Cites Work

• Rough sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• DAL -- a logic for data analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)