Inference system < Künstl. Intelligenz < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 20:07 So 02.10.2016 | | Autor: | kreis |
| Aufgabe 1 | What does it mean for an inference system to be
(a) (un-)sound?
(b) (in-)complete?
(c) (un-)decidable? |
| Aufgabe 2 | | Erklären Sie die Begriffe Vollständigkeit (completeness) und Korrektheit (soundness) eines Inferenzsystems IL für eine Logik L. |
Hallo,
habe diese beiden Fragen aber finde nicht wirklich viel dazu.
Ein Inferenzesystem ist eine Software, die durch Schlussfolgerung neue Aussagen aus einer bestehenden Wissensbasis ableitet.
Die Logik ist das Formale System mit der semantik zusammen.
Zu sound finde ich nur Sätze der mir nicht viel sagen wie:
An inference system A is complete with respect to another system B if A can reach every conclusion which is true in B. The dual to completeness is soundness.
kann mir das jemand erklären?
Danke für jegliche Hilfe!
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Di 04.10.2016 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
