Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych. - Publikacja - MOST Wiedzy

Wyszukiwarka

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

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

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 7 razy

Publikacje, które mogą cię zainteresować

Meta Tagi