一个简单的Prolog同义词匹配器( rubylog)

Question

我正在尝试rubylog，它是Ruby的Prolog。我的目标是在单词之间创建逻辑链接，以挖掘文档之间的联系，否则我可能不会注意到。我今天才开始，我用的是一个同义词检测器。奇怪的是，我似乎已经使同义词规则几乎是对称的和可传递的。

在这个例子中，我试着告诉Prolog‘数学’，‘数学’和‘数学’都是同义词：

require 'rubylog'
include Rubylog::DSL::Constants

Symbol.rubylog_functor :synonym
Symbol.rubylog_functor :synonym_of
X.synonym(Y).if X.synonym_of(Y)
X.synonym(Y).if Y.synonym_of(X)
X.synonym(Z).if X.synonym_of(Y).and Y.synonym_of(Z)   ###########

:math.synonym_of! :mathematics
:mathematics.synonym_of! :maths
puts "Synonyms for math: #{:math.synonym(X).to_a}"
puts "Synonyms for maths: #{:maths.synonym(X).to_a}"
puts "Synonyms for mathematics: #{:mathematics.synonym(X).to_a}"

令我惊讶的是，结果是

Synonyms for math: [:mathematics, :maths]
Synonyms for maths: [:mathematics]
Synonyms for mathematics: [:maths, :math]

我认为问题可能是标记为###########的行使用synonym_of而不是synonym，因此可能没有以递归方式描述规则。但是将该行更改为X.synonym(Z).if X.synonym_of(Y).and Y.synonym(Z)会产生非常奇怪的输出

Synonyms for math: [:mathematics, :maths, :math, :mathematics]
Synonyms for maths: [:mathematics]
Synonyms for mathematics: [:maths, :math, :mathematics]

非常好奇！你认为如何？

Answer 1

您正在为有向图上的传递闭包建模，然后您应该对传递属性使用递归规则，但要防止循环。

我建议的实际方法是显式地为同义词编写一个规则(对不起，我没有rubylog，我正在用SWI-Prolog进行测试)：

synonym(X, Z) :- synonyms(X, L), member(Z, L).

synonym_of(math, mathematics).
synonym_of(mathematics, maths).

synonyms(X, Ss) :- synonyms(X, [], Ss).

synonyms(X, Found, R) :-
    ( synonym_of(X, S) ; synonym_of(S, X) ),
    \+ member(S, Found),
    !, synonyms(S, [S|Found], R).
synonyms(_, Found, Found).