Causes of Ineradicable Spurious Predictions in Qualitative Simulation

It was recently proved that a sound and complete qualitative simulator does not exist, that is, as long as the input-output vocabulary of the state-of-the-art QSIM algorithm is used, there will always be input models which cause any simulator with a coverage guarantee to make spurious predictions in...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of artificial intelligence research 2006-01, Vol.27, p.551-575
Hauptverfasser:	Yilmaz, O., Say, A. C. Cem
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Artificial intelligence Multiplication Simulation Simulators Sound
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!