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.
Autorzy
Informacje dodatkowe
- Kategoria
- Aktywność konferencyjna
- Typ
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Język
- polski
- Rok wydania
- 2003
