Krypton

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 Krypton leíró logika mely az elsőrendű logikára épül és melyet Brachman és kollégái alkottak meg 1987-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. Ennek eredményeként a feldolgozás sebessége nagymértékben növekedett. Kezeli a különböző formátumú tudásbázisokat, támogatja az elsőrendű logikai leírást és a rezolúciót is.