Assume a group of scientists builds a self learning artificial intelligence (AI) system, consisting of the following components:
- Some input data channels and sensors, allowing the system to learn new information.
- Some output data channels and actors, allowing the system to perform experiments.
- A database of "unquestionable" (dogmatic) truths, which may be nonempty initially, and can be extended by the system upon learning or deducing further "unquestionable" truths.
- A database of "falsifiable" (empirical) knowledge, which may be nonempty initially, and can be modified by the system upon learning or interpreting further empirical experiences.
- A program controlling the interaction between the different components, like deducing "unquestionable" truths as needed, interpreting the input data channels, using the output data channels and extending or modifying the respective databases.
Are there any a priori truths in the sense of Kant for such a system? How about:
- The unavoidable implications of the limitations of the sensors, actors and the data channels?
- The implicit assumptions embedded into the structure of the program controlling the system?
- The initial content of the database of "unquestionable" truths?
- The initial content of the database of "falsifiable" knowledge?
- The moral law inside the system?
- Any truth that can ever end up in the database of "unquestionable" truths?