Autor Alena Lukasová

Reprezentace znalostí prostředky formální logiky dnes představuje nezbytný teoretický základ umělé inteligence, ale i některých filozofických discilplín. V knize jsou vysvětleny pojmy od syntaxe, sémantiky, přes formalizaci až k tvorbě a odvozování ze…