FO(.)

コンピュータサイエンスにおいて、FO(.)（別名FOドット）は、一階述語論理（FO）に基づく知識表現言語です。 ^{[1]これは、}型、集約（集合上のカウント、合計、最大化など）、算術、帰納的定義、部分関数、および内包オブジェクト でFOを拡張します。

FO(.) 知識ベースは、さまざまな汎用推論アルゴリズムへの入力として使用される単なる「情報の袋」であるため、それ自体では実行できません。FO(.) を使用する推論エンジンには、IDP-Z3、^[2] IDP ^{[3] [4]および FOLASP [5]}が含まれます。たとえば、IDP システムでは、モデルの生成、セットクエリへの回答、2 つの理論間の含意の確認、充足可能性の確認など、FO(.) 知識ベースに対するさまざまなタイプの推論が可能です。

FO(.) には 4 種類のステートメントがあります。

• 型、関数、述語の宣言、
• 公理、すなわち可能世界についての論理文、
• パラメータの解釈に基づいて、定義されたシンボルの一意の解釈を指定する定義。定義は帰納的に行うことができます。
• 列挙、つまり列挙によるシンボルの定義。

投票法では、投票するには国民は少なくとも 18 歳以上でなければならないと規定されています。さらに、投票法が規範的であると解釈される場合、18 歳を超えると投票が義務付けられます。これは、FO(.) で次のように表すことができます。

語彙V {
  age: () → ℤ // 関数宣言
  規範的、投票: () → 𝔹 // 述語宣言
}
理論T:V {
  age() < 18 ⇒ ¬vote(). // 公理: 18 歳未満の場合は投票できません。
  prescriptive() ⇒ (age() ≥ 18 ⇒ vote()). // 公理: 規範的である場合: 18歳以上であれば投票しなければならない
}

このコードでは、A →B はAからBへの関数を示し、は整数を示し、はブール値を示し、は否定を示し、 は物質条件を示します。述語 < および ≥ は組み込みで、通常の意味を持ちます。 ${\displaystyle \mathbb {Z} }$${\displaystyle \mathbb {B} }$¬⇒

このような知識ベースは自動的にインタラクティブ弁護士に変換することができます^[6]（ここを参照^[7]）

• 公式サイト