[go: up one dir, main page]

Skip to content
/ ure Public

Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

License

Notifications You must be signed in to change notification settings

opencog/ure

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Unified Rule Engine

opencog singnet
CircleCI CircleCI

The Unified Rule Engine, URE for short, is a term rewriting engine for OpenCog. It can be used to implement any logic. As of today it is used for PLN, the Pattern Miner and Relex2Logic.

The strengths of the URE are

  • Reads/writes knowledge directly from/to the AtomSpace.
  • It is generic, can be used to implement any logic, even higher order logics with some limitations.
  • Comes with a powerful control mechanism to speed up reasoning.

The weaknesses of the URE are:

IT IS NO LONGER MAINTAINED

The lead developer walked away. Some unit tests pass. It's slowly bit-rotting.

Building and Installing

Prerequisites

To build the URE you need to first build and install:

See Building-and-installing-the-AtomSpace for more information.

Building URE

Be sure to install the pre-requisites first! Perform the following steps at the shell prompt:

    cd ure
    mkdir build
    cd build
    cmake ..
    make -j

Libraries will be built into subdirectories within build, mirroring the structure of the source directory root.

Unit tests

To build and run the unit tests, from the ./build directory enter (after building opencog as above):

    make -j test

Tests can be run in parallel as well:

    make -j test ARGS=-j4

Install

After building, you must install the URE.

    sudo make install

Examples

Examples can be found in this repository under

URE examples

And

PLN examples

for PLN in particular.

More info

The primary documentation for the URE is here: