Rövid szöveges bemutatás:
A logika főként a mesterséges intelligencia területén nyert teret és az ezzel kapcsolatos filozófiai kutatásokban, de számos más területen használták fel az itt elért eredményeket. Aki evvel a területtel akar foglalkozni komolyan, annak nagyon fontos a logika, a logikai és logikus gondolkodásmód. Keresni az ok és okozat közötti kapcsolatot a realitást a feladatok megoldásában. Tudnia kell gyakran absztraktabb szinten gondolkodni és néha teljesen más szemlélettel a megszokottól, mert gyakran az sokkal hatékonyabb eredményre vezethet, például ilyen a deklaratív gondolkodásmód, mely sok embernek rendkívül nehézkes. Számos logikai kifejezőnyelv létezik, melyek ezt a szemléletmódot követik, például az elsőrendű logika, ítéletlogika és társaik.