Hybrid reasoning using universal attachment (Q1329365)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Hybrid reasoning using universal attachment |
scientific article; zbMATH DE number 599994
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid reasoning using universal attachment |
scientific article; zbMATH DE number 599994 |
Statements
Hybrid reasoning using universal attachment (English)
0 references
4 July 1994
0 references
The universal attachments introduced in this paper draw connections from expressions in a first-order language to programs and data structures that can be used to simplify those expressions. Universal attachment improves on previous attachment methods by providing a broader range of links between general-purpose deduction and specialized representation and reasoning techniques. Appropriate notions of soundness, completeness and correctness are examined. Policies for the effective use of hybrid systems are presented, along with experimental data that support the policies.
0 references
hybrid reasoning
0 references
data structures
0 references
reasoning techniques
0 references
hybrid systems
0 references
0 references
