Artificial Intelligence in Theory and Practice