Wyszukiwarka
Abstrakt
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.
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Tytuł wydania:
- Inżynieria wiedzy i systemy ekspertowe. T.1 strony 38 - 45
- Język:
- polski
- Rok wydania:
- 2003
- Opis bibliograficzny:
- 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
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 93 razy