PowerLoom® is an expressive logic-based knowledge representation system. It provides a language and environment for constructing intelligent applications. PowerLoom uses a fully expressive, logic-based representation language (a variant of KIF), and it uses a natural-deduction-style backward and forward chainer as its inference engine. The inference engine is not a complete first-order theorem prover, but it can handle complex rules, negation, equality reasoning, subsumption, and restricted forms of higher order reasoning. PowerLoom has a classifier that is able to classify descriptions expressed in full first order predicate calculus [See paper]. PowerLoom uses modules as a structuring device for knowledge bases, and ultra-lightweight worlds to support hypothetical reasoning.
PowerLoom is being developed at the Intelligent Systems Division of USC's Information Sciences Institute (ISI).
