Do przykładów silników automatycznego wnioskowania zalicza się , system wspomagający dowodzenie twierdzeń, generatory modeli i klasyfikatory.
W szerszym ujęciu mechanizmy reprezentacji wiedzy — obejmujące architektury sieci neuronowych, takie jak sieci konwolucyjne i transformery — można również uznać za rodzinę formalizmów reprezentacji wiedzy. Pytanie, który formalizm jest najbardziej odpowiedni dla systemów opartych na wiedzy od dawna jest przedmiotem debaty.
Zobacz też
zarządzanie wiedzą
Linki zewnętrzne What is a Knowledge Representation?, Randall Davis i inni Introduction to Knowledge Modeling , Pejman Makhfi Introduction to Description Logics course , Enrico Franconi DATR Lexical knowledge representation language Principles of Knowledge Representation and Reasoning Incorporated Description Logic in Practice: A CLASSIC Application The Rule Markup Initiative
Przypisy
Kategoria:Paradygmaty programowania Kategoria:Wywiad Kategoria:Metodologia nauki Kategoria:Zarządzanie wiedzą Kategoria:Reprezentacja wiedzy Kategoria:Automatyczne rozumowanie