prolog - 是否有带有非终结符参数的 BNF？

在使用 Prolog DCG 解析输入时，最好有一个伴随的语法 BNF。

例如:

BNF

<Sentence> ::= <Noun_phrase> <Verb_phrase>
<Noun_phrase> ::= <Determiner> <Noun>
<Verb_phrase> ::= <Verb> <Phrase>
<Determiner> ::= a
<Determiner> ::= the
<Noun> ::= cat
<Noun> ::= mouse
<Verb> ::= scares
<Verb> ::= hates

作为序言 DCG

sentence --> noun_phrase, verb_phrase.
verb_phrase --> verb, noun_phrase.
noun_phrase --> determiner, noun.
determiner --> [a].
determiner --> [the].
noun --> [cat].
noun --> [mouse].
verb --> [scares].
verb --> [hates].

然而 Prolog DCG 也可以有参数作为
在这个例子中 Number 为 singular 或 plural

sentence(Number) --> noun_phrase(Number), verb_phrase(Number).
verb_phrase(Number) --> verb(Number), noun_phrase(Number).
noun_phrase(Number) --> determiner(Number), noun(Number).
determiner(singular) --> [a].
determiner(singular) --> [the].
determiner(plural) --> [the].
noun(singular) --> [cat].
noun(plural) --> [cats].
noun(singular) --> [mouse].
noun(plural) --> [mice].
verb(singular) --> [scares].
verb(plural) --> [scare].
verb(singular) --> [hates].
verb(plural) --> [hate].

是否有标准或公认的 BNF 扩展包含非终结符的参数？

如果是这样，我需要一个链接。

我怀疑 ATN(增强转换网络)在球场上并且可能是唯一的标准答案，但我希望得到一些线性文本而不是某种形式的顶点/边图。

最佳答案

我认为 feature structures 的概念就是你要找的；您在示例中显示的参数共享是更通用的特征结构统一方法的特例。

我不知道 BNF 的特征结构扩展，但有合理接受的符号可以将它们添加到其他语法形式中。 NLTK(一个 Python 自然语言处理库)的文档有他们使用的符号的 an example here。以下是他们的一些规则，大致对应于您示例中的前几个产品:

S -> NP[CASE=nom, AGR=?a] VP[AGR=?a]
VP[AGR=?a] -> TV[OBJCASE=?c, AGR=?a] NP[CASE=?c]
NP[CASE=?c, AGR=?a] -> Det[CASE=?c, AGR=?a] N[CASE=?c, AGR=?a]

?x 是他们的逻辑变量符号。 NLTK 手册的整个章节都包含对特征结构的一般描述，并包括一些引用文献。

关于prolog - 是否有带有非终结符参数的 BNF？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/41575278/