https://github.com/tuprolog/2p-kt-presentation
https://github.com/tuprolog/2p-kt-presentation
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/tuprolog/2p-kt-presentation
- Owner: tuProlog
- Created: 2021-04-01T09:54:29.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2023-12-15T20:30:07.000Z (over 2 years ago)
- Last Synced: 2025-01-18T09:30:35.096Z (over 1 year ago)
- Language: TeX
- Size: 3.55 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# 2P-Kt: A Kotlin Multi-Platform ecosystem for symbolic AI
by [Giovanni Ciatto](mailto:giovanni.ciatto@unibo.it) and [Lorenzo Rizzato](mailto:lorenzo.rizzato@studio.unibo.it)
## Abstract
Computational logic and _logic programming_ (LP) play a central role in AI.
While their impact on _symbolic_ AI is well established, emergent AI techniques leverage on logic to make data-driven AI more predictable or understandable.
Thus, the need for solid, interoperable, general-purpose _logic-based technologies_ (LBT) is more compelling than ever.
Most LBT are either built on top or as extensions of the Prolog language.
Even when this is not the case, _monolithic_ solutions are built around different inference procedures, unification mechanisms, or knowledge representation techniques.
However, LBT should be neither constructed as Prolog-centred monoliths nor tailored to a specific semantics or language.
To maximise their AI-related impact, LBT should welcome the manifold contributions coming from the LP playground, supporting the general-purposes exploitation of as many mechanisms as possible.
Accordingly, we present 2P-Kt, a reboot of the tuProlog project offering a general, extensible, and interoperable _ecosystem_ for LP and symbolic AI.
## Useful links
- tuProlog homepage:
- 2P-Kt project on GitHub:
- Recording of the talk (requires Unibo credentials, ask for a copy via a private email otherwise):
1. Part 1: https://web.microsoftstream.com/video/f53478b2-d628-4ce5-ac8e-f59c4d5ed14a (roughly, slides 1-182)
2. Part 2: https://web.microsoftstream.com/video/500573d3-b472-4ce4-acb0-bbcfa2c3d625 (roughly, slides 182-334)
3. Part 3: https://web.microsoftstream.com/video/a8b0b81b-95c8-4377-9c5d-c46776c83fea (roughly, slides 334-425)