Analogieschlüsse beim automatischen Beweisen
Seiten
- Titel leider nicht mehr lieferbar
- Artikel merken
Was macht den Menschen intelligenter als die Maschine? Grundlage für den Analogiebegriff ist eine einheitliche Darstellung der Aussagen in Klauselform und der dadurch festgelegte Konnektionsgraph. Diese Strukturen werden von Ähnlichkeitsfunktionen verglichen und so zum Berechnen des Analogiewertes zweier Aussagen verwendet. Diese Berechnung erfolgt in polynomieller Zeit.
| Zusatzinfo | 40 Abb. |
|---|---|
| Verlagsort | Hamburg |
| Sprache | deutsch |
| Maße | 150 x 210 mm |
| Gewicht | 240 g |
| Einbandart | gebunden |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Ähnlichkeitsfunktion • Algorithmen • Analogie • Automatisches Beweisen • Automatisches Beweisverfahren • Bewertungsfunktion • HC/Informatik, EDV/Informatik • Informatik • Klassifikation • Konnektions-Methode • Prädikatenlogik |
| ISBN-10 | 3-86064-006-2 / 3860640062 |
| ISBN-13 | 978-3-86064-006-7 / 9783860640067 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
