An order-sorted logic for knowledge representation systems

DOI10.1016/0004-3702(92)90055-3zbMath0768.68196MaRDI QIDQ1193487

S. Singh

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)90055-3

zbMATH Keywords

model-theoretic semantics; inference systems; sorted logic; assertional information; clausal knowledge base; deduction calculus; knowledge representation language \(L_{\text{LILOG}}\); logic-based reasoning; natural language understanding project for German; order-sorted predicate logic; taxonomic information; taxonomic reasoning

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

An order-sorted logic for knowledge representation systems, Completing sort hierarchies

Uses Software

• PROTOS-L

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Investigations in many-sorted quantor logic
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• A more expressive formulation of many sorted logic
• Unification theory
• Reasoning and revision in hybrid representation systems
• An order-sorted logic for knowledge representation systems
• Computational aspects of an order-sorted logic with term declarations
• Automated deduction by theory resolution
• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• A theory of restricted quantification I
• Login: a logic programming language with built-in inheritance
• An Efficient Unification Algorithm
• A Machine-Oriented Logic Based on the Resolution Principle
• Calculi of constructive logic with subordinate variables
• Logic of many-sorted theories