opencog/ure

Issues

• The hyperlink to the term unifier in the README leads nowhere.

  #128 opened a year ago by gl-yziquel
  1

• Forward chainer is not stable against library changes.

  #120 opened 3 years ago by linas
  3

• Unbalanced quotations

  #119 opened 3 years ago by linas
  0

• BackwardChainerUTest fails to build referencing Atomtable

  #118 opened 3 years ago by mjsduncan
  3

• Add python ure_logger bindings

  #86 opened 4 years ago by ngeiswei
  6

• Create an incremental unifier

  #18 opened 6 years ago by ngeiswei
  1

• Possible bug in AndBIT::expand()

  #94 opened 4 years ago by linas
  1

• Bogus always-false clauses

  #92 opened 4 years ago by linas
  1

• Support meta-rule in the URE

  #28 opened 8 years ago by ngeiswei
  11

• test_conditional_instantiation_1 triggers warnings in pattern engine

  #87 opened 4 years ago by linas
  6

• Fix replacement example inference tree expansion

  #80 opened 5 years ago by ngeiswei
  0

• Why not DualLink ?

  #30 opened 5 years ago by linas
  2

• Backward chainer takes super long in this case

  #67 opened 5 years ago by alexander-gabriel
  3

• add api to extract inference trace

  #48 opened 5 years ago by noskill
  4

• Using GlobNode in Backward Chainer

  #31 opened 5 years ago by stellarspot
  2

• Add feature to enable/disable collection of Inference trails(Fcstat) in URE

  #29 opened 5 years ago by amebel
  4

• Forward-chainer general discussion

  #26 opened 8 years ago by linas
  2

• URE Unable to detect user error

  #25 opened 5 years ago by vishnuu
  1

• Add GlobNode support to the unifier

  #17 opened 5 years ago by ngeiswei
  1

• Add BackwardChainerGetLink

  #56 opened 5 years ago by ngeiswei
  0

• URE compilation fails: warning: control reaches end of non-void function

  #53 opened 5 years ago by vsbogd
  1

• Rule::unify_source method execution takes about 30% of ForwardChainer execution time

  #54 opened 5 years ago by vsbogd
  6

• Have the backward chainer support URE rules without formula

  #22 opened 6 years ago by ngeiswei
  10

• forward chainer finds that Tweety is a green frog in examples/ure/frog

  #33 opened 5 years ago by astroseger
  2

• Remove focus set from URE?

  #39 opened 6 years ago by ngeiswei
  4

• URE performance

  #27 opened 8 years ago by linas
  11

• Support other fitness than maximizing confidence in URE

  #24 opened 7 years ago by ngeiswei
  0

• Merge the forward and backward chainer into a mixed chainer

  #23 opened 7 years ago by ngeiswei
  0

• Have the unifier supports deep types

  #21 opened 6 years ago by ngeiswei
  0

• Replace specialized/incomplete type intersection code in unifier by TypeSetLink

  #20 opened 6 years ago by ngeiswei
  1

• Memoize unification to speed up URE

  #19 opened 6 years ago by ngeiswei
  1

• Have the URE fully support formula premises wrapped in SetLink

  #16 opened 6 years ago by ngeiswei
  0

• cmake fails due to unify already existing

  #1 opened 5 years ago by StrangeTcy
  6