RESEARCH IN PROGRESS

AI Magazine 

For more detailed information about any of MITRE's projects please contact Joseph Katz (KATZQMITRE-Bedford) or Richard Brown CLINUS!BROWN@MITRE-Bedford) at the Bedford center or Peter 6onasso (BONASSOQMITRE) at the Washington center Subsequently, Rome Air Development Center took over support of the project and continues to fund part of our AI research effort. MITRE's current research is summarized below. The Bedford center is supported by 15 Symbolics Lisp machines netted to two Vax-780 file servers, while the Washington center is supported by both a classified and an unclassified facility, with 2 Lambdas and 2 Symbolics Lisp machines respectively netted to Vax-780 file servers. Both centers support creative groups of people who generate exciting new ideas. Planning MITRE Bedford AI Programs and Reasoning Research into planning and reasoning started with the development of the KNOBS system.