Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych. - Publication - Bridge of Knowledge

Search

Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych.

Abstract

W artykule omówiono założenia projektowe i architekturę edukacyjnego systemu informatycznego nadzorującego proces wnioskowania użytkownika podczas rozwiązywania zadań obliczeniowych. Opisywany jest system z bazą wiedzy, w których wiedza o zadaniach z elementarnej matematyki, fizyki lub chemii jest reprezentowana w postaci modeli obliczeniowych, stanowiących szczególny przypadek sieci semantycznych. Scharakteryzowano prototypowy system informatyczny Correct Way, którego głównymi zadaniami są: kontrola poprawności wnioskowania użytkownika systemu podczas rozwiązywania zadania obliczeniowego,automatyczne rozwiązywanie zadań obliczeniowych oraz generowanie wszystkich sposobów rozwiązania zadania obliczeniowego.

Cite as

Full text

full text is not available in portal

Keywords

Details

Category:
Conference activity
Type:
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Title of issue:
Inżynieria wiedzy i systemy ekspertowe. T.1 strony 38 - 45
Language:
Polish
Publication year:
2003
Bibliographic description:
Ratajczak T.: Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych. // Inżynieria wiedzy i systemy ekspertowe. T.1/ ed. Z. Bubnicki, A. Grzech. Wrocław: Ofic. Wydaw. P. Wroc., 2003, s.38-45
Verified by:
Gdańsk University of Technology

seen 48 times

Recommended for you

Meta Tags