Research on propositional dynamic logic and its extensions for artificial intelligence research on cutting-edge issues in social experiments on artificial intelligence Research on crimial imputation for crime involving artificial intelligence Research on legal regulation of artificial intelligence Key technologies and practical applications of artificial intelligence Civilizational challenges and responses of artificial intelligence Computational thinking and fundamental of artificial intelligence Milestones in discovery and invention: artificial intelligence 并列题名：Computational thinking and fundamental of artificial intelligence Deep learning and practical application of artificial intelligence