|
|
Deduktionssysteme
ein Programm Softwaresystem, das aufbauend auf einer vorgegebenen Menge von Axiomen Schlüsse ziehen kann (z. B., um Beweise für mathematische Sätze zu entwickeln). Deduktionssysteme sind ein Anwendungsfeld der künstlichen Intelligenz.
<< vorheriger Begriff |
|
nächster Begriff>> |
|
|
|
Diese Seite bookmarken :
|
|
