研究已在全世界興起。

1980年，德魯·麥狄蒙（Drew McDermott）和喬恩·多伊爾（Jon Doyle）提出非單調(diào)邏輯，以及后期的機(jī)器人系統(tǒng)。

1980年，卡耐基梅隆大學(xué)為DEC公司開(kāi)發(fā)了一個(gè)名為XCON的專(zhuān)家系統(tǒng)，每年為公司節(jié)省四千萬(wàn)美元，取得巨大成功。