SRI artificial intelligence center technical notes: an introduction to the COMTEX microfiche edition