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

Question

在使用 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

作为 Prolog 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 表示单数 或复数

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(增强转换网络)已经在大致范围内，并且可能是唯一的标准答案，但我希望得到线性文本而不是某种形式的顶点/边图。

Answer 1

我认为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 手册的整个章节包含对特征结构的一般描述，并包括一些文献引用。