标签: gf

我对计算语言学和自然语言处理领域感兴趣。我读了很多关于语法框架（GF）的内容，它分为抽象语法和具体语法。我对 OWL、RDF 和 WordNet 也了解一点。我对这两种技术之间的差异感到困惑。

1. 我们可以使用 GF 而不是 OWL 作为语法构建器吗？
2. 我们可以使用 GF 来消除 Parser 吗？
3. GF 是否包含所有术语，因此我们不需要使用 WordNet？

我正在尝试为此语法编写具体的语法（来自Grammatical Framework: Programming with Multilingual Grammars 的第 6 章）：

abstract Arithm = {
  flags startcat = Prop ;
  cat
    Prop ;                        -- proposition
    Nat ;                         -- natural number
  fun
    Zero : Nat ;                  -- 0
    Succ : Nat -> Nat ;           -- the successor of x
    Even : Nat -> Prop ;          -- x is even
    And  : Prop -> Prop -> Prop ; -- A and B
}

整数、浮点数和字符串文字（Int、Float和String）有预定义的类别，它们可以用作函数的参数，但它们可能不是任何函数的值类型。 …

我检查了 GF 库中的“\xe2\x80\x99s”，如“我的朋友\xe2\x80\x99s house”，但我似乎找不到创建这种关系的正确方法。希望有人指导我解决这个问题。

我需要一些帮助来理解一些 GHC 堆配置文件。我正在为语法框架语言的现有编译器开发一种新的输出格式。

前

分析当前版本编译器的正常运行如下所示：

  13,347,660,488 bytes allocated in the heap
 213,062,924,208 bytes copied during GC
     740,585,528 bytes maximum residency (567 sample(s))
       4,844,112 bytes maximum slop
            1438 MiB total memory in use (0 MB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0     12312 colls,     0 par    1.321s   1.382s     0.0001s    0.0025s
  Gen  1       567 colls,     0 par   206.442s  208.534s     0.3678s    0.8388s

  INIT    time    0.001s  (  0.005s elapsed)
  MUT     time   68.757s  ( 68.986s elapsed)
  GC …