Zastosowanie sztucznej inteligencji do tworzenia sformalizowanych wymagań oprogramowania

Zgłaszający: dr hab. inż. Michał Śmiałek
  • Status dostępności:Wolny
  • Słowa kluczowe:AI, LLM, ChatGPT, sztuczna inteligencja, wymagania oprogramowania, przetwarzanie języka naturalnego, NLP, języki formalne
  • Opis:

    Praca w ramach tego tematu dotyczy wytworzenia i zbadania rozwiązania opartego na dużych modelach językowych (LLM) lub innych metodach sztucznej inteligencji. Celem rozwiązania jest przekształcanie tekstów w języku naturalnym na teksty w sformalizowanym języku opisu wymagań oprogramowania. Przedmiotem pracy będzie w pierwszej kolejności analiza możliwości aktualnie istniejących rozwiązań w tym obszarze. W drugiej kolejności praca będzie obejmować stworzenie kompleksowego systemu, który ułatwia tworzenie precyzyjnych specyfikacji wymagań poprzez - na przykład - zautomatyzowaną translację ze swobodnego języka naturalnego i/lub interakcję z systemem sztucznej inteligencji.
    Wyniki pracy mogą wpisywać się w tematykę międzynarodowego projektu DoorCE (https://www.interreg-central.eu/projects/doorce/) i zostać wykorzystane jako element pakietu narzędzi do zarządzania otwartymi danymi. Student w ramach pracy może (choć nie musi) uczestniczyć w pracach międzynarodowego konsorcjum.

  • Typ pracy: inżynierski magisterski projekt indywidualny projekt zespołowy projekt przejściowy projekt zespołowy - IK recenzja
  • Kierunek: Automatyka i Robotyka Informatyka
  • Uwagi:
Powrót