Hybrid reasoning using universal attachment (Q1329365)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid reasoning using universal attachment |
scientific article |
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
