Classic

Rövid szöveges bemutatás: 
Az MI szakemberei sok leíró nyelvet alkottak, azért hogy a világot hatékonyan (gyorsan feldolgozható informáciokkal) reprezentálhassák. Ennek egyik terméke a CLASSIC leíró logika, melyet Borgida és kollégái alkottak meg 1989-ben. A nyelv, a legtöbbhez hasonlóan kulcsszavakkal rendelkezik, melyek itt angol szavakat jelentenek. Ezekkel a kulcsszavakkal minden probléma leírható, ám a feldolgozási idő a komplexitástól függően akár exponenciális is lehet. Vannak problémák amelyeket érdemesebb ebben a nyelvben reprezentálni mint például elsőrendű logikában.