問題タブ [first-order-logic]

表現のために

ボストンからの便が到着しました。

イベント指向の一次論理表現を与える必要があります。

もしそうならthe flight arrived、私は言っただろう

到着しました(e) ^ received_thing(e,flight)

その中に命題句をどのように組み込むのfrom bostonですか？

Alloy の機能の同等性をどのように比較しますか? 何かのようなもの：

「場所」r と s について次の規則を考えてみましょう。

私は次のように実装しようとしました：

しかし、隣接を解決できないと言ってコンパイルしません。eval(adjacent($s,$r)) を試しましたが、rete が $s と $r の同じ組み合わせを永遠に訪問し続けるため、機能しません。

Location に隣接する () メソッドを実装しようとしましたが、どちらもコンパイルされません。

次のようないくつかの代替案を考えました。各場所に隣接する場所のリストを作成します。などしかし、どれも私にはぴったりではありませんでした。

これを実装する正しい方法はどのようになりますか?

簡単に言えば、私は EBNF 文法と構文木を持っていますが、それを一次論理で変換する手順があるかどうかはわかりません。

例えば：