By the same authors

From the same journal

The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning

Research output: Contribution to journalArticle



Publication details

JournalElectron. Trans. Artif. Intell.
DatePublished - 1991
Issue number1-3
Number of pages38
Pages (from-to)161-198
Original languageUndefined/Unknown


Researchers in artificial intelligence have recently been taking great interest in hybrid representations, among them sorted logics---logics that link a traditional logical representation to a taxonomic (or sort) representation such as those prevalent in semantic networks. This paper introduces a general framework---the substitutional framework---for integrating logical deduction and sortal deduction to form a deductive system for sorted logic. This paper also presents results that provide the theoretical underpinnings of the framework. A distinguishing characteristic of a deductive system that is structured according to the substitutional framework is that the sort subsystem is invoked only when the logic subsystem performs unification, and thus sort information is used only in determining what substitutions to make for variables. Unlike every other known approach to sorted deduction, the substitutional framework provides for a systematic transformation of unsorted deductive systems ...

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations