Natural language syntax and first-order inference

DOI10.1016/0004-3702(92)90063-4MaRDI QIDQ1193491zbMATH OpenOpenAlexFDO

Authors David Allen McAllester, Robert L. Givan

Publication date 27 September 1992

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(92)90063-4

zbMATH Keywords

completenesssatisfiabilityMontague semanticsknowledge representation languageconcept languagesframe description languagesMontagovian syntaxpolynomial time procedure for automated inferencesyntax for first-order logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Artificial intelligence (68T99)

Recommendations

• Taxonomic syntax for first order inference
• scientific article; zbMATH DE number 3885879
• Order-Based Inference in Natural Logic
• Fragments of language
• A logic for natural language

Cites work

• scientific article; zbMATH DE number 4166926 (Why is no real title available?)
• scientific article; zbMATH DE number 3694633 (Why is no real title available?)
• scientific article; zbMATH DE number 140381 (Why is no real title available?)
• scientific article; zbMATH DE number 194550 (Why is no real title available?)
• A unification algorithm for typed -calculus
• An introduction to the PL/CV2 programming logic
• Attributive concept descriptions with complements
• Computational complexity of terminological reasoning in BACK
• Simplification by Cooperating Decision Procedures
• The Mathematics of Sentence Structure
• Universal grammar
• Variations on the Common Subexpression Problem

Cited in

(14)

• scientific article; zbMATH DE number 1439073 (Why is no real title available?)
• A system of relational syllogistic incorporating full Boolean reasoning
• The Hamiltonian syllogistic
• Tarskian set constraints
• Modal syllogistic
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• scientific article; zbMATH DE number 4166926 (Why is no real title available?)
• Logics for two fragments beyond the syllogistic boundary
• Natural logic and natural language inference
• A knowledge representation language for natural language processing, simulation and reasoning
• The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating English to FOL
• Order-Based Inference in Natural Logic
• Taxonomic syntax for first order inference
• Exploring the landscape of relational syllogistic logics

This page was built for publication: Natural language syntax and first-order inference

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