Search
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 93 times