výroková logika a predikátová logika prvního řádu

deskripční logiky

K alespoň rychlému přečtení:

• https://en.wikipedia.org/wiki/Description_logic
  

Schůzka v kanálu „General“-20231012_100512-Záznam schůzky.mp4