Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in BibTeX Format

@TECHREPORT{AICPub451:1993, AUTHOR={Myers, Karen}, TITLE={Hybrid Reasoning Using Universal Attachment}, ADDRESS={333 Ravenswood Ave., Menlo Park, CA 94025}, INSTITUTION={AI Center, SRI International}, MONTH={Mar}, NUMBER={524}, YEAR={1993}, KEYWORDS={Hybrid Reasoning, Universal Attachment}, ABSTRACT={Hybrid representation frameworks provide a powerful basis for constructing intelligent systems. Universal attachement is a domain-independent mechanism for integrating diverse representation and reasoning methods into hybrid frameworks that contain a subsystem based on deduction over logical formulas. Although based on the same principles as previous attachment methods, universal attachment provides a much broader range of connections between general-purpose deduction and specialized representation and reasoning techniques. This paper defines a formal inference rule of universal attachment and discusses the properties of soundness, completeness and correctness for this rule. The relationship between universal attachment and other integration techniques is explored. Finally, policies based on experimentation with an implemented universal attachment system are presented that lend guidance in exploiting the expanded representational and interential capabilities that hybrid systems provide.} }

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy