Pengujian kekonsistenan penambahan basis ilmu pengetahuan sistem pakar - Gene H. M. Kaspantow, 1964- (1990)