Terminological Constraint Network Reasoning and its Application to Plan Recognition

Robert Anthony Weida
Terminological systems in the tradition of KL-ONE are widely used in AI to represent and reason with concept descriptions. They compute subsumption relations between concepts and automatically classify concepts into a taxonomy having well-founded semantics. Each concept in the taxonomy describes a set of possible instances which are a superset of those described by its descendants. One limitation of current systems is their inability to handle complex compositions of concepts, such as constraint networks where...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.