Yixiang Chen Songmao Zhang (Eds.) Communications in Computer and Information Science 1657 Artificial Intelligence Logic and Applications The 2nd International Conference, AILA 2022 Shanghai, China, August 26–28, 2022 Proceedings Communications in Computer and Information Science 1657 EditorialBoardMembers JoaquimFilipe PolytechnicInstituteofSetúbal,Setúbal,Portugal AshishGhosh IndianStatisticalInstitute,Kolkata,India RaquelOliveiraPrates FederalUniversityofMinasGerais(UFMG),BeloHorizonte,Brazil LizhuZhou TsinghuaUniversity,Beijing,China Moreinformationaboutthisseriesathttps://link.springer.com/bookseries/7899 · Yixiang Chen Songmao Zhang (Eds.) Artificial Intelligence Logic and Applications The 2nd International Conference, AILA 2022 Shanghai, China, August 26–28, 2022 Proceedings Editors YixiangChen SongmaoZhang EastChinaNormalUniversity ChineseAcademyofSciences Shanghai,China Beijing,China ISSN 1865-0929 ISSN 1865-0937 (electronic) CommunicationsinComputerandInformationScience ISBN 978-981-19-7509-7 ISBN 978-981-19-7510-3 (eBook) https://doi.org/10.1007/978-981-19-7510-3 ©TheEditor(s)(ifapplicable)andTheAuthor(s),underexclusivelicense toSpringerNatureSingaporePteLtd.2022 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthors,andtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSingaporePteLtd. Theregisteredcompanyaddressis:152BeachRoad,#21-01/04GatewayEast,Singapore189721,Singapore Preface Thisvolumecontainspapersfromthe2ndInternationalConferenceonArtificialIntel- ligence Logic and Applications (AILA 2022), establishing what will hopefully be a long-running series of conferences dedicated to logical formalisms and approaches to artificialintelligence(AI).HostedbytheChineseAssociationforArtificialIntelligence (CAAI),AILA2022wasorganizedbyboththeTechnicalCommitteeforArtificialIntel- ligenceLogicunderCAAIandtheEastChinaNormalUniversity.Theconferencewas heldasavirtualonlineeventduringAugust26–28,2022. Logichasbeenafoundationstoneforsymbolicknowledgerepresentationandrea- soning ever since the beginning of AI research in the 1950s. Besides, AI applications oftenmakeuseoflogicalapproaches,includingdecisionmaking,frauddetection,cyber- netics, precision medicine, and many more. With the prevalence of machine learning anddeeplearning,combininglogic-relatedstructuresisbecomingacommonviewso as to take advantage of the diverse paradigms. The AILA conference series aims to provideanopportunityandforumforresearcherstoshareanddiscusstheirnovelideas, originalresearchachievements,andpracticalexperiencesinabroadrangeofartificial intelligencelogicandapplications.ThefirstAILAwasheldin2019asaspecialsession withintheIEEE14thInternationalConferenceonIntelligentSystemsandKnowledge Engineering(ISKE2019).AILA2022wasthereforeorganizedasafull-fledgedeventfor thefirsttime.Wereceivedatotalof27submissions,andeachpaperwaspeerreviewed bythreetofourreviewersfromourProgramCommitteewiththehelpofsubreviewers designatedbytheproceedingseditors.Basedonthescoresreceivedandconfidencelev- elsofthereviewers,20submissionswithafinalscorehigherthan0wereacceptedasa full-lengthpapersforpublicationinthisproceedings.Theyareclassifiedintothreecate- gories:programlogic,fuzzylogic,andapplications.Moreover,wewerehonoredtohave threeprestigiousscholarsgivingkeynotespeechesattheconference:Guo-QiangZhang (University of Texas Houston, USA), Sanjiang Li (University of Technology Sydney, Australia), and Meng Sun (Peking University, China). The abstracts of their talks are includedinthisproceedings. AILA2022wouldnothavebeenpossiblewithoutthecontributionandeffortsofa dedicatedscientificcommunity.WesincerelyappreciatemembersofourProgramCom- mitteeandalltheexternalreviewersforprovidingcomprehensiveandtimelyreviews. Moreover,wewouldliketoexpressgratitudetotheconferencechair,RuqianLu(Chi- nese Academy of Sciences, China). The organization committee from the East China Normal University provided extensive support for the conference, and we especially thankQinLiandXuechengHou.TheconferencemanagementsystemEasyChairwas vi Preface used to handle the submissions and conduct the reviewing and decision-making pro- cesses. We thank Springer for their trust and for publishing the proceedings of AILA 2022. August2022 YixiangChen SongmaoZhang Organization ConferenceChair RuqianLu AcademyofMathematicsandSystemsScience, ChineseAcademyofSciences,China ProgramCommitteeCo-chairs YixiangChen EastChinaNormalUniversity,China SongmaoZhang AcademyofMathematicsandSystemsScience, ChineseAcademyofSciences,China ProgramCommittee CungenCao InstituteofComputingTechnology,Chinese AcademyofSciences,China ShuweiChen SouthwestJiaotongUniversity,China ShifeiDing ChinaUniversityofMiningandTechnology, China LluisGodo ArtificialIntelligenceResearchInstitute,CSIC, Spain QinFeng JiangxiNormalUniversity,China XiaolongJin InstituteofComputingTechnology,Chinese AcademyofSciences,China QinLi EastChinaNormalUniversity,China HuawenLiu ShandongUniversity,China LinLiu TsinghuaUniversity,China YanfangMa HuaibeiNormalUniversity,China WenjiMao InstituteofAutomation,ChineseAcademyof Sciences,China DantongOuyang JilinUniversity,China HaiyuPan GuilinUniversityofElectronicTechnology,China MeikangQiu TexasA&MUniversityCommerce,USA JoergSiekmann GermanResearchCenterforArtificial Intelligence(DFKI),Germany YimingTang HefeiUniversityofTechnology,China HengyangWu ShanghaiPolytechnicUniversity,China MaonianWu HuzhouUniversity,China ZhongdongWu LanzhouJiaotongUniversity,China viii Organization JuanyingXie ShaanxiNormalUniversity,China MinZhang(1) EastChinaNormalUniversity,China MinZhang(2) EastChinaNormalUniversity,China HongjunZhou ShaanxiNormalUniversity,China LiZou ShandongJianzhuUniversity,China Organization CommitteeChair QinLi EastChinaNormalUniversity,China Organization Committee YangYang EastChinaNormalUniversity,China TingtingHu EastChinaNormalUniversity,China LiMa EastChinaNormalUniversity,China XuechengHou EastChinaNormalUniversity,China XueyiChen EastChinaNormalUniversity,China XinyuChen EastChinaNormalUniversity,China ExternalReviewers ChaoqunFei AcademyofMathematicsandSystemsScience, ChineseAcademyofSciences,China ZhenzhenGu FreeUniversityofBozen-Bolzano,Italy PengfeiHe ShaanxiNormalUniversity,China XikunHuang AcademyofMathematicsandSystemsScience, ChineseAcademyofSciences,China WeizhuoLi NanjingUniversityofPostsandCommunications, China YangyangLi AcademyofMathematicsandSystemsScience, ChineseAcademyofSciences,China HongweiTao ZhengzhouUniversityofLightIndustry,China NaWang ShanghaiPolytechnicUniversity,China ShuhanZhang ThePeople’sInsuranceCompany(Group)of ChinaLimited,China Keynotes