Politechnika Śląska | BIP Blended Intensive Programme 2026

ORGANIZING INSTITUTION	Silesian University of Technology
COURSE NAME	A Journey into Knowledge and Reasoning
COURSE CODE (BIP NUMBER)	2024-1-PL01-KA131-HED-000205913-1
DATE, PLACE	physical mobility in Gliwice - in person 06.07.2026 - 10.07.2026 virtual component - online 25.05.2026 - 26.06.2026
FACULTY	Faculty of Automatic Control, Electronics and Computer Science Address: Akademicka 16, 44-100 Gliwice, Poland
PARTNER UNIVERSITIES	Silesian University of Technology University of Perugia University of Luxembourg University of Evora University of Angers
CONTACT TO COORDINATORS	Silesian University of Technology: Tomasz Jastrząb, PhD – tomasz.jastrzab@polsl.pl Karolina Nurzyńska, DSc, prof. SUT – karolina.nurzynska@polsl.pl University of Angers (France): Éric Monfroy, prof. – eric.monfroy@univ-angers.fr Vincent Barichard, DSc – vincent.barichard@univ-angers.fr University of Evora (Portugal): Salvador Abreu, prof. – spa@uevora.pt University of Luxembourg (Luxembourg): Pierre Talbot, PhD – pierre.talbot@uni.lu University of Perugia (Italy): Stefano Bistarelli, prof. – stefano.bistarelli@unipg.it Carlo Taticchi, PhD - carlo.taticchi@unipg.it Francesco Santini, Assoc. Prof. - francesco.santini@unipg.it
PROGRAMME	download
TRAINING	Interdisciplinary – MSc/PhD -Erasmus
COURSE INSTRUCTOR	Instructor managing the course: Tomasz Jastrząb tomasz.jastrzab@polsl.pl
LECTURES	Introduction to logic Introduction to set theory and lattice theory Programming with logic Constraint programming Transforming knowledge with rules Languages and automata
ASSIGNMENT	The program includes three main assignments: an individual poster presentation (20%) introduces participants and their research, professional, or personal interests, a group project (60%) is carried out and presented during the on-site workshop, focusing on a topic chosen by the participants, an individual project (20%) is completed after the on-site period as a slide presentation, either reviewing relevant modelling techniques or conducting preliminary modelling work. Together, these assignments develop both theoretical knowledge and practical skills in knowledge representation and reasoning.
AIM OF THE COURSE	Develop familiarity with fundamental approaches to knowledge representation methods and reasoning techniques including argumentation, logic, abstract interpretation, problem solving. Develop awareness of which methods may be suitable for different types of problems along with the potential benefits, challenges and limitations of each approach. Develop skills in application of these methods to real-world multidisciplinary problems. Develop skills in group working and communication. Help to create a culture of international and cross-discipline collaboration in the EU institutions.
BRIEF DESCRIPTION	This Blended Intensive Program (BIP) offers a comprehensive introduction to knowledge representation and reasoning techniques, with a focus on their application in understanding and analyzing the digital society, environmental and industrial contexts. The program is specifically tailored for Master and PhD students who aim to gain or deepen theoretical and practical skills in this field. It provides valuable insights and tools that will support their future professional and research projects as well as problem-solving capabilities across different domains.
REGISTRATION	application form
CONTACT @ SUT	Institutional Coordinator @InternationalMobilityOffice Ludwina Żukowska, PhD ludwina.zukowska@polsl.pl Department Coordinator - Faculty of Automatic Control, Electronics and Computer Science Joanna Żyła, PhD joanna.zyla@polsl.pl
Regulations for the organizer (SUT)	Regulamin BIP na Politechnice Śląskiej
PRE-REQUIREMENTS	1st study cycle studies finished
HOURS OF ONLINE LECTURES (per semester)	12 hours
WORKSHOP AT THE SUT FACULTY (per semester)	26 hours
CREDITS	3 credits (ECTS) = 90 work-hours
REQUIRED TECHNICAL APPLIANCES SOFTWARE	Contact: E-mail Education materials: Moodle Lessons: Zoom/Teams
ACCOMODATION	Hotels around SUT Short-term apartment rental around Gliwice

BIP - Podróż do świata wiedzy i projektu

Opis programu:

Ten intensywny program mieszany (BIP) oferuje kompleksowe wprowadzenie do technik reprezentacji wiedzy i wnioskowania, ze szczególnym uwzględnieniem ich zastosowania w zrozumieniu i analizie społeczeństwa cyfrowego, kontekstów środowiskowych i przemysłowych.

Program jest dostosowany do potrzeb studentów studiów magisterskich i doktoranckich, którzy chcą zdobyć lub pogłębić umiejętności teoretyczne i praktyczne w tej dziedzinie.

Program będzie składał się z 6 dwugodzinnych sesji online oraz tygodniowych warsztatów stacjonarnych na Politechnice Śląskiej (PS) w Polsce. Zajęcia będą prowadzone przez pracowników naukowych z Uniwersytetu w Perugii, Uniwersytetu w Luksemburgu, PS, Uniwersytetu w Evorze i Uniwersytetu w Angers. Program BIP obejmie warsztaty, prezentacje studentów i udział w projekcie grupowym, a także możliwości nawiązywania kontaktów towarzyskich/naukowych. Uczestnicy wybiorą projekt związany z własną dziedziną zainteresowań przy wsparciu kadry akademickiej.

Cele projektu:

Zapoznanie uczestników z podstawowymi podejściami do metod reprezentacji wiedzy i technik rozumowania, w tym argumentacji, logiki, interpretacji abstrakcyjnej i rozwiązywania problemów. Określenie ich korzyści, wyzwań i ograniczeń.
Rozwinięcie umiejętności stosowania tych metod w rzeczywistych problemach interdyscyplinarnych.
Rozwinięcie umiejętności pracy w grupie i komunikacji, a także wsparcie w tworzeniu kultury współpracy międzynarodowej i interdyscyplinarnej w instytucjach UE.

Efekty kształcenia:

Poznanie metod modelowania wiedzy w kontekście społecznym, przemysłowym i środowiskowym oraz rozwijanie umiejętności formalnego rozumowania w oparciu o te modele.
Dogłębne zapoznanie się z różnorodnymi podejściami do modelowania i reprezentacji wiedzy przy użyciu narzędzi rozumowania, takich jak argumentacja, logika formalna, programowanie z ograniczeniami, systemy przepisywania reguł i interpretacja abstrakcyjna.
Nauka stosowania przedstawionych technik do rzeczywistych problemów, z uwzględnieniem równowagi między jakością modelu a ograniczeniami czasowymi/zasobowymi.
Identyfikacja ograniczeń i słabych stron różnych podejść do modelowania i rozumowania.
Przekazywanie wyników odbiorcom technicznym i nietechnicznym.

Harmonogram:

1. Komponent wirtualny:

Komponent wirtualny obejmuje 6 dwugodzinnych wykładów online, które odbędą się w okresie od 25.05.2026 r. do 26.06.2026 r.

Szczegółowy harmonogram zostanie przekazany wybranym uczestnikom wraz z linkami do wirtualnych spotkań.

Wykłady obejmują następujące tematy:

Wprowadzenie do logiki
Wprowadzenie do teorii zbiorów i teorii krat
Programowanie z wykorzystaniem logiki
Programowanie z ograniczeniami
Przekształcanie wiedzy za pomocą reguł
Języki formalne i automaty

2. Część stacjonarna:

Część stacjonarna obejmuje działania, które odbędą się w okresie od 06.07.2026 r. do 10.07.2026 r. na Politechnice Śląskiej w Gliwicach.

Plan obejmuje następujące działania:

Poniedziałek - 06 lipiec:
9:00-11:00 Powitanie i przydzielenie zadań projektowych
12:00-14:00 Lunch
14:00-16:00 Wykład: Przegląd rozumowania opartego na wiedzy
16:00-18:00 Praca grupowa nad zadaniami projektowymi

Wtorek - 7 lipiec:
9:00-11:00 Wykład: Argumentacja
12:00-14:00 Lunch
14:00-17:00 Warsztaty: Wykrywanie błędów w debacie za pomocą argumentacji
17:00-18:00 Praca grupowa nad zadaniem projektowym

Środa - 8 lipiec:
9:00-11:00 Wykład: Wykorzystanie systemu przepisywania w biologii (gra w życie)
12:00-14:00 Lunch
14:00-17:00 Warsztaty: Modelowanie z wykorzystaniem programowania z ograniczeniami (logistyka)
17:00-18:00 Praca grupowa nad zadaniem projektowym

Czwartek - 9 lipiec:
9:00-11:00 Wykład: Weryfikacja sieci neuronowych z użyciem interpretacji abtrakcyjnej
12:00-14:00 Lunch
14:00-16:00 Warsztaty: Interpretacja abstrakcyjna w celu weryfikacji sieci neuronowych
16:00-18:00: Praca grupowa nad zadaniem projektowym

Piątek - 10 lipiec:
9:00-11:00 Prezentacja projektu i dyskusja
12:00-14:00 Lunch
14:00- Wycieczka do kopalni Guido