LOOM (ontology)

LOOM (ontology)

Loom or 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. The Loom project's goal is the development and fielding of advanced tools for knowledge representation and reasoning in Artificial Intelligence.

Loom is a language and environment for constructing intelligent applications. At its heart is a knowledge representation system that is used to provide deductive support for the declarative portion of the Loom language. Declarative knowledge in Loom consists of definitions, rules, facts, and default rules. 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.

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. 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. Loom can also be used as a deductive layer that overlays an ordinary CLOS (Common Lisp Object System) network. 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 has recently been succeeded by [http://www.isi.edu/isd/LOOM/PowerLoom/index.html PowerLoom]

External links

*http://www.isi.edu/isd/LOOM/


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Loom (video game) — LOOM redirects here. For the theatre company, see Light Opera of Manhattan. For the AI language, see LOOM (ontology). Loom Cover art Developer(s) …   Wikipedia

  • Ontology language — In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of… …   Wikipedia

  • Loom (disambiguation) — A loom is a device used to weave cloth. Loom can also refer to:* Loom, West Virginia * Loom (video game), a graphical adventure game. * LOOM (ontology) * Light Opera of Manhattan * A Wiring loom, also known as a cable harness, electrical cables… …   Wikipedia

  • Knowledge representation — is an area in artificial intelligence that is concerned with how to formally think , that is, how to use a symbol system to represent a domain of discourse that which can be talked about, along with functions that may or may not be within the… …   Wikipedia

  • Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on …   Wikipedia

  • Computer programming — Programming redirects here. For other uses, see Programming (disambiguation). Software development process Activities and steps …   Wikipedia

  • Information science — Not to be confused with Information theory. Contents 1 Introduction 2 A multitude of information sciences? 3 Definitions of information science 4 History …   Wikipedia

  • Medieval technology — Pumhart von Steyr, a 15th century supergun …   Wikipedia

  • Manufacturing engineering — is a field dealing with different manufacturing practices and the research and development of processes, machines and equipment. Contents 1 Overview 2 History 2.1 Modern developments 3 Education …   Wikipedia

  • ABox — Beschreibungslogiken (engl. description logics) sind eine Familie von Sprachen zur Wissensrepräsentation. Die meisten Beschreibungslogiken sind eine Untermenge der Prädikatenlogik erster Stufe, im Gegensatz zu dieser aber entscheidbar. Dies… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”