Druhý projekt na SZZS (Semanticke zaklady znalostnych systemov)
Celý projekt sa dá stiahnúť tu
Prvy projekt je tu
Vylepšená stránka predmetu
Začal som odznova preto, lebo v prvom projekte úlohu assertov hraje čas. Je veľmi dôležité si pamätať momentálny stav v danom čase, ktorý by sa stratil pri reaktívnom plánovaní. V tomto projekte nie je dôležitý čas, takže sa dá spraviť plán cez asserty.
Predikáty:
surovina(S)
mam(Surovina,Mnozstvo)
recept(R)
treba(Recept,Surovina,Mnozstvo)
vysledok(Recept,Surovina,Mnozstvo)
Pravidla:
spravim(R) <- recept(R), treba(R,S,M1), mam(S,M2), M1<=M2