Define loom
Thoroughly let down, Alec stole a last resentful look at the keep looming over the gorge, then hurried away after the others. Usually, she enjoyed getting lost in a throng of art aficionados, eavesdropping on the various off-the-cuff critiques, but just then, the crowd loomed like a threatening swarm.īeyond the agora, Achamian saw a cohort of birds wheeling above the great domes of the Temple Xothei, whose silhouette loomed above the tenements hedging the north end of the market. The shadow that had loomed behind him resolved itself into the unmistakable form of van Effen, whose right hand curved round and held the aerosol can an inch or two from the. Loom has recently been succeeded by PowerLoom. In this mode, users can obtain many of the benefits of using Loom without impacting the function or performance of their CLOS-based applications. Loom can also be used as a deductive layer that overlays an ordinary CLOS (Common Lisp Object System) network. The high degree of integration between Loom's declarative and procedural components permits programmers to utilize logic programming, production rule, and object-oriented programming paradigms in a single application. The Loom system implements a logic-based pattern matcher that drives a production rule facility and a pattern-directed method dispatching facility that supports the definition of object-oriented methods. A deductive engine called a classifier utilizes forward chaining, semantic unification, and object-oriented truth maintenance technologies in order to compile the declarative knowledge into a network designed to efficiently support on-line deductive query processing. Declarative knowledge in Loom consists of definitions, rules, facts, and default rules. At its heart is a knowledge representation and reasoning system that combines a Frame based language with an automatic classifier engine. Loom is a language and environment for constructing intelligent applications.
#Define loom code
Specifically to enable code to be generated from provably valid domain models. The Loom project's goal is the development and fielding of advanced tools for knowledge representation and reasoning in Artificial Intelligence.
This is a very powerful and fairly unusual capability in that it is capable of doing analysis at the ontology level, the level of declarations rather than at the implementation level as most inference engines do. The classifier can also detect inconsistencies in the model declaration. For example, the classifier can discover new classes or change the subclass/superclass relations in the model. The classifier can analyze Loom models (known as ontologies) and deduce various things about the model. This formal semantics enables a type of theorem prover engine called a classifier. As with KL-ONE, Loom has a formal semantics that maps declarations in Loom to statements in set theory and First Order Logic. Loom is a Frame based language in the tradition of KL-ONE.
The research was primarily sponsored by the Defense Advanced Research Projects Agency (DARPA). The leader of the Loom project and primary architect for Loom was Robert MacGregor. Loom is a knowledge representation language developed by researchers in the Artificial Intelligence research group at the University of Southern California's Information Sciences Institute.