Verification of confliction and unreachability in rule-based expert systems with model checking

It is important to find optimal solutions for structural errors in rule-based expert systems .Solutions to discovering such errors by using model checking techniques have already been proposed, but these solutions have problems such as state space explosion. In this paper, to overcome these problems...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	pira, Einollah, Miralvand, Mohammad Reza Zand, Soltani, Fakhteh
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Artificial Intelligence
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!