推論：
人工知能には、古いロジックから、または証拠に基づいて新しいロジックを作成できるインテリジェントなコンピューターが必要です。 したがって、証拠と事実から結論を導き出すことは推論と呼ばれます 。
推論ルール:
推論ルールは、有効な引数を生成するためのテンプレートです。人工知能では推論ルールを適用して証明を導き出します。証明は、目的の目標につながる一連の結論です。
推論ルールでは、すべての接続語間の含意が重要な役割を果たします。以下に、推論ルールに関連するいくつかの用語を示します。
文字列分割Java
上記の項から、いくつかの複合ステートメントは互いに同等であり、真理値表を使用して証明できます。
したがって、上記の真理値表から、P → Q は ``Q → ``P と同等であり、Q→ P は ``P → ``Q と同等であることが証明できます。
推論ルールの種類:
1.設定モード：
Modus Ponens ルールは推論の最も重要なルールの 1 つであり、P および P → Q が真の場合、Q も真であると推論できると述べています。これは次のように表すことができます。
例：
ステートメント-1: 「眠いなら寝ます」 ==> P→ Q
ステートメント-2: 「眠いです」 ==> P
結論：「私は寝ます。」 ==> Q.
したがって、P→Qが真であり、Pが真であればQも真であると言えます。
真実証明テーブル:
2. 削除方法:
Modus Tollens ルールでは、P→Q が true であり、 ``Q'' が true の場合、````P'' も当てはまります。これは次のように表すことができます。
ステートメント-1: 「眠いなら寝ます」 ==> P→ Q
ステートメント-2: 「私はベッドには行きません。」==> ~Q
ステートメント-3: これは次のことを推測します。 眠くない ' => ~P
真実証明テーブル:
3. 仮説三段論法:
仮説三段論法ルールでは、P→R が真であれば、P→Q が真であり、Q→R も真であると規定されています。これは次のような表記で表すことができます。
例：
ステートメント-1: 私の家の鍵を持っていれば、私の家の鍵を開けることができます。 P→Q
ステートメント-2: 私の家の鍵を開けることができれば、私のお金を奪うことができます。 Q→R
結論： 私の家の鍵を持っているなら、私のお金を受け取ってもいいでしょう。 P→R
真理値表による証明:
4. 選言的三段論法:
選言三段論法ルールでは、P∨Q が true であり、⁄P が true の場合、Q も true になると規定されています。これは次のように表すことができます。
例：
Java文字列を逆にする
ステートメント-1: 今日は日曜日か月曜日です。 ==>P∨Q
ステートメント-2: 今日は日曜日ではありません。 ==> £P
結論： 今日は月曜日です。 ==> Q
真理値表による証明:
5. 追加:
加算ルールは一般的な推論ルールの 1 つで、P が true の場合、P∨Q が true になると述べています。
例：
声明： バニラアイスクリームがあります。 ==> P
ステートメント-2: チョコレートアイスクリームがあります。
結論： バニラアイスクリームかチョコレートアイスクリームがあります。 ==> (P∨Q)
真理値表による証明:
6. 簡略化:
簡略化ルールは次のように述べています。 P∧Q それは本当です、それでは QまたはP も真になります。これは次のように表すことができます。
真理値表による証明:
7. 解決策:
Resolution ルールでは、P∨Q および ⁄ P∧R が true の場合、Q∨R も true になると規定されています。 それは次のように表すことができます
真理値表による証明:
