VProlog
This Wednesday on VProg Advanced, we’ll host a special session by Péter Szeredi, a prominent figure in declarative programming and Prolog in Hungary, a professor from my department, BME VIK SZIT. Prolog, short for “Programming in Logic,” emerged in the 1970s for tasks like natural language processing and automated theorem proving. It remains a popular logic programming language even today.
Prolog is an example of Good Old Fashioned AI (GOFAI), a symbolic and rule-based system. In contrast to currently popular approaches, such as machine learning and neural networks like ChatGPT, which struggle with reasoning, Prolog excels at this task. Future AI technologies may combine these approaches into a hybrid system, called a “neuro-symbolic AI”, with Prolog’s reasoning power with ChatGPT’s natural language capabilities.
Links
- Slides and further materials: https://cs.bme.hu/~szeredi/vprog
Coordinates
- Time: 2024 March 6, Wednesday, 14:15 - 17:00
- Place: BME Building I, Room IB134 (Inside the SZIT department on the 1st floor.)
Updates
We will have a total of 4 sessions!
- Session 1: 2024 March 6, Wednesday, 14:15 - 17:00
- Session 2: 2024 March 13, Wednesday, 14:15 - 17:00
- Session 3: 2024 March 20, Wednesday, 14:15 - 17:00
- Session 4: 2024 March 27, Wednesday, 14:15 - 17:00