An order-sorted logic for knowledge representation systems

DOI10.1016/0004-3702(92)90055-3zbMath0768.68196OpenAlexW1964693872MaRDI 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 semanticsinference systemssorted logicassertional informationclausal knowledge basededuction calculusknowledge representation language \(L_{\text{LILOG}}\)logic-based reasoningnatural language understanding project for Germanorder-sorted predicate logictaxonomic informationtaxonomic reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Resolution for label-based formulas in hierarchical representation ⋮ A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION ⋮ On Skolemization in constrained logics ⋮ Unification in sort theories and its applications ⋮ An order-sorted resolution in theory and practice ⋮ An order-sorted logic for knowledge representation systems ⋮ Completing sort hierarchies ⋮ Tableau methods for a logic with term declarations ⋮ A hybrid reasoning system for terminologies and first-order clauses in knowledge bases ⋮ Fuzzy types: A framework for handling uncertainty about types of objects ⋮ Order-sorted logic programming with predicate hierarchy

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