/zh/Omega 知识表示与推理Hugo Blox Builder (https://hugoblox.com)zh-CNMon, 24 Oct 2022 00:00:00 +0000/media/logo_hu_1cb1abbd18ed2a70.png/zh//zh/post/ai-lecture-16-neuro-symbolic-systems-applications/Mon, 20 Jul 2026 09:00:00 +0800/zh/post/ai-lecture-16-neuro-symbolic-systems-applications/<ul> <li>报告人：吴茂念 教授（湖州师范大学）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2026年7月20日（星期一）9:00—11:00</li> <li>地点：贵州大学至善楼402</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>系统审视神经—符号融合范式，介绍符号约束、分工协作与隐空间逻辑嵌入三种合作方式，并结合 AlphaGeometry 等案例讨论关键研究问题。</p> <h2 id="报告人简介">报告人简介</h2> <p>吴茂念教授任湖州师范大学人工智能系主任和专业负责人，研究人工智能及其应用。</p>/zh/post/ai-lecture-15-logic-learning-complexity/Mon, 20 Jul 2026 09:00:00 +0800/zh/post/ai-lecture-15-logic-learning-complexity/<ul> <li>报告人：沈榆平 教授（中山大学逻辑与认知研究所）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2026年7月20日（星期一）9:00—11:00</li> <li>地点：贵州大学至善楼402</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>从计算复杂性视角审视逻辑与学习，讨论如何识别难以推理或学习的问题，以及借助非单调命题逻辑推进显式困难性研究的最新进展与相关猜想。</p> <h2 id="报告人简介">报告人简介</h2> <p>沈榆平教授任职于中山大学逻辑与认知研究所，主要研究逻辑与计算、知识表示与推理。</p>/zh/post/ai-lecture-14-computational-discrete-global-geometric-structures/Sun, 19 Jul 2026 16:00:00 +0800/zh/post/ai-lecture-14-computational-discrete-global-geometric-structures/<ul> <li>报告人：赵辉（可计算离散整体几何结构实验室创始人、首席科学家） +- 时间：2026年7月20日（星期一）16:00</li> <li>地点：贵州大学东校区博学楼13楼报告厅</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>介绍“可计算离散整体几何结构”这一几何学与计算机科学交叉研究领域，包括几何编程实现、离散网格中的全局固有属性、几何结构的可视化渲染，以及启发式算法的应用价值。</p> <h2 id="报告人简介">报告人简介</h2> <p>赵辉博士曾在多所国内外高校及研究机构开展科研与教学工作，研究可计算离散整体几何结构。</p>/zh/post/ai-lecture-13-medical-knowledge-graphs/Wed, 19 Nov 2025 09:00:00 +0800/zh/post/ai-lecture-13-medical-knowledge-graphs/<ul> <li>报告人：黄智生 教授（荷兰阿姆斯特丹自由大学）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2025年11月19日（星期三）9:00—10:30</li> <li>地点：贵州大学崇厚楼712</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>介绍医学知识图谱的概念、发展与关键技术，讨论如何利用自然语言处理、信息抽取和图数据库整合医学知识，并分享抑郁症、肠道微生物知识图谱等案例。</p> <h2 id="报告人简介">报告人简介</h2> <p>黄智生教授任职于荷兰阿姆斯特丹自由大学人工智能系，长期从事语义技术、医学人工智能与知识图谱研究。</p>/zh/event/2025-spring-outing-plan/Thu, 20 Mar 2025 14:00:00 +0000/zh/event/2025-spring-outing-plan/<p>地点选项：</p> <ul> <li>石坂镇</li> <li>国家森林公园</li> <li>十里河滩</li> <li>其他建议：_____</li> </ul> <p>行程草案：</p> <ul> <li>8:30 实验室集合出发</li> <li>10:00 抵达目的地，分组活动</li> <li>12:00 集体午餐（自助烧烤/农家菜）</li> <li>14:00 主题游戏/自由活动</li> <li>16:30 集体合影，返程</li> </ul>/zh/post/graduate-student-recruitment-announcement/Thu, 31 Oct 2024 14:00:00 +0000/zh/post/graduate-student-recruitment-announcement/<p>本实验室2025年招新工作由硕士研究生马睿负责，感兴趣的同学请添加他的QQ：2761684990.</p>/zh/event/visual-question-ansering-using-asp/Thu, 31 Oct 2024 14:00:00 +0000/zh/event/visual-question-ansering-using-asp/<p>Thomas Eiter是奥地利维也纳科技大学计算机科学教授、维也纳科技大学知识系统实验室主任、维也纳科技大学逻辑与计算研究所所长；也是奥地利科学院院士，欧洲科学院院士，ACM Fellow、ECCAl Fellow，国际逻辑编程学会（ALP) 主席、国际人工智能促进会（AAAI）执委、奥地利人工智能学会执委、IJCAI理事会成员(2016-2021), IJCAI 2019 大会主席， JAIR副主编，曾分别获得2001年 IJCAI 杰出论文奖和2002年 AAAI 杰出论文奖。在Artif. Intell．等刊物和IJCAI、AAAI、KR 等会议发表学术论文400多篇，研究兴趣包括：知识表示与推理、计算逻辑、人工智能中的算法和复杂性等。 <a href="http://www.kr.tuwien.ac.at/staff/eiter" target="_blank" rel="noopener">http://www.kr.tuwien.ac.at/staff/eiter</a></p>/zh/post/ai-lecture-12-visual-question-answering-asp/Thu, 31 Oct 2024 14:00:00 +0800/zh/post/ai-lecture-12-visual-question-answering-asp/<ul> <li>报告人：Thomas Eiter 教授（奥地利维也纳工业大学）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2024年10月31日（星期四）14:00—15:00</li> <li>地点：贵州大学博学楼13楼报告厅</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>探讨如何在模块化神经—符号架构中使用回答集编程解决视觉问答问题，介绍基于 ASP 的符号推理组件、解释生成及使用大语言模型开展视觉问答等工作。</p> <h2 id="报告人简介">报告人简介</h2> <p>Thomas Eiter 教授为维也纳工业大学知识系统实验室主任、逻辑与计算研究所所长，主要研究知识表示与推理、计算逻辑以及人工智能中的算法与复杂性。</p>/zh/post/ai-lecture-11-trustworthy-ai-autonomous-decisions/Sat, 24 Aug 2024 10:00:00 +0800/zh/post/ai-lecture-11-trustworthy-ai-autonomous-decisions/<ul> <li>报告人：Jun Liu 教授（英国阿尔斯特大学）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2024年8月24日（星期六）10:00—12:00</li> <li>地点：贵州大学至善楼402会议室</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>从可信人工智能模型与可信人工智能系统两个层面，介绍透明、可解释、公平、稳健、可信和可靠的人工智能，并结合案例讨论相关研究。</p> <h2 id="报告人简介">报告人简介</h2> <p>刘军教授任英国阿尔斯特大学计算机科学教授、人工智能研究中心主任，研究涉及计算智能、可信人工智能、知识系统与信息融合。</p>/zh/event/ccf-2024/Wed, 10 Jul 2024 14:00:00 +0000/zh/event/ccf-2024/<p>主办单位： 中国计算机学会</p> <p>承办单位： CCF人工智能与模式识别专委会</p> <p>贵州大学</p> <p>贵州工程应用技术学院</p> <p>协办单位： 贵州科学院</p>/zh/post/ai-lecture-10-aft-hybrid-mknf/Mon, 08 Jul 2024 14:00:00 +0800/zh/post/ai-lecture-10-aft-hybrid-mknf/<ul> <li>报告人：Jia-Huai You 教授（加拿大阿尔伯塔大学）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2024年7月8日（星期一）14:00—15:30</li> <li>地点：贵州大学至善楼402会议室</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>将近似不动点理论应用于混合 MKNF 知识库，说明相关交替不动点算子可被视为近似不动点理论中的近似器，并讨论从对称近似器到任意近似器的推广。</p> <h2 id="报告人简介">报告人简介</h2> <p>犹嘉槐教授任职于加拿大阿尔伯塔大学，主要研究人工智能、逻辑程序设计与知识表示和推理。</p>/zh/projects/nsfc-62376066/Mon, 01 Jan 2024 00:00:00 +0000/zh/projects/nsfc-62376066/<p><strong>资助来源：</strong> 国家自然科学基金（NSFC）<br> <strong>项目编号：</strong> 62376066<br> <strong>资助金额：</strong> 49万元<br> <strong>项目周期：</strong> 2024.01 - 2027.12</p> <h2 id="团队成员">团队成员</h2> <ul> <li>王一松（负责人）</li> <li>申凌</li> <li>涂晓英</li> <li>詹颖</li> </ul> <h2 id="项目简介">项目简介</h2> <p>研究基于归结证明的不完全知识推理可解释性及其应用。</p>/zh/post/ai-lecture-09-formal-design-embedded-systems/Mon, 04 Dec 2023 11:00:00 +0800/zh/post/ai-lecture-09-formal-design-embedded-systems/<ul> <li>报告人：詹乃军 教授（中国科学院软件研究所）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2023年12月4日（星期一）11:00—11:30</li> <li>地点：贵州大学2号行政楼402会议室</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>介绍基于模型的嵌入式系统形式化设计方法，包括 Simulink/Stateflow 与 HCSP 之间的转换、混合 Hoare 逻辑验证、协同仿真、近似互模拟及工具链 MARS。</p> <h2 id="报告人简介">报告人简介</h2> <p>詹乃军教授任职于中国科学院软件研究所，研究方向包括实时与混合系统、程序验证、模态与时序逻辑、并发计算模型等。</p>/zh/post/ai-lecture-08-generative-ai-opportunities-challenges/Fri, 30 Jun 2023 10:30:00 +0800/zh/post/ai-lecture-08-generative-ai-opportunities-challenges/<ul> <li>报告人：张海军 教授（哈尔滨工业大学〈深圳〉）</li> <li>主持人：张永军（贵州大学）</li> <li>时间：2023年6月30日（星期五）10:30开始</li> <li>地点：贵州大学博学楼13楼报告厅</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>从人工智能与 ChatGPT 的发展历史、生成式人工智能、生成式时尚 AI 等方面展开，介绍报告人团队在 AIGC 方向的研究成果，并展望服装元宇宙环境下的时尚智能发展。</p> <h2 id="报告人简介">报告人简介</h2> <p>张海军教授现任哈尔滨工业大学深圳校区计算机科学与技术学院教授、博士生导师，主要研究数据挖掘、机器学习、生成式 AI 与时尚智能。</p>/zh/post/ai-lecture-07-language-models-for-knowledge-acquisition/Fri, 09 Jun 2023 10:00:00 +0800/zh/post/ai-lecture-07-language-models-for-knowledge-acquisition/<ul> <li>报告人：林方真 教授（香港科技大学）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2023年6月9日（星期五）10:00—11:00</li> <li>地点：贵州大学至善楼402会议室</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>对比使用大语言模型直接求解自然语言推理问题，以及先由大语言模型提取事实、再交给定理证明器求解两种方法。</p> <h2 id="报告人简介">报告人简介</h2> <p>林方真教授1991年获斯坦福大学计算机科学博士学位，为 AAAI Fellow，研究领域包括非单调推理、自主机器人理论、逻辑程序设计和行动推理。</p>/zh/post/ai-lecture-06-modular-datalog-reasoning/Sat, 06 May 2023 15:00:00 +0800/zh/post/ai-lecture-06-modular-datalog-reasoning/<ul> <li>报告人：胡畔 博士（上海交通大学）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2023年5月6日（星期六）15:00—16:00</li> <li>地点：贵州大学2号行政楼402会议室</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>介绍一个模块化 Datalog 推理框架。该框架利用规则模块组合标准推理算法与定制算法，并讨论传递性、对称—传递性、链式规则及循环体规则等典型模块。</p> <h2 id="报告人简介">报告人简介</h2> <p>胡畔博士为上海交通大学电子信息与电气工程学院讲师、硕士生导师，主要从事知识表示与推理。</p>/zh/post/ai-lecture-05-semantic-guided-zero-shot-learning/Mon, 03 Apr 2023 19:30:00 +0800/zh/post/ai-lecture-05-semantic-guided-zero-shot-learning/<ul> <li>报告人：陈使明 博士（卡内基梅隆大学博士后）</li> <li>主持人：王以松（贵州大学）</li> <li>时间：2023年4月3日（星期一）19:30—21:00</li> <li>地点：贵州大学博学楼13楼会议室</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>零样本学习通过把已见类别的语义知识迁移到未见类别，实现对新类别的识别。本报告围绕如何实现有效的视觉—语义交互，介绍报告人在零样本学习方向的一系列研究。</p> <h2 id="报告人简介">报告人简介</h2> <p>陈使明博士主要从事计算机视觉与机器学习研究，研究主题包括零样本学习、生成建模、视觉—语言学习与因果表征学习。</p>/zh/people/Mon, 24 Oct 2022 00:00:00 +0000/zh/people//zh/contact/Mon, 24 Oct 2022 00:00:00 +0000/zh/contact//zh/projects/guizhou-2022-259/Fri, 01 Apr 2022 00:00:00 +0000/zh/projects/guizhou-2022-259/<p><strong>资助来源：</strong> 贵州省科技支撑项目<br> <strong>项目编号：</strong> 2022-259<br> <strong>资助金额：</strong> 17.6万元<br> <strong>项目周期：</strong> 2022.04.01 - 2025.03.31<br> <strong>项目角色：</strong> 2/17</p> <h2 id="项目简介">项目简介</h2> <p>研究基于本体数据访问的多元数据共享关键技术与产业应用。</p>/zh/projects/blockchain-z20200038/Wed, 01 Jan 2020 00:00:00 +0000/zh/projects/blockchain-z20200038/<p><strong>项目编号：</strong> Z20200038<br> <strong>资助金额：</strong> 8万元<br> <strong>项目周期：</strong> 2020 - 2021</p> <h2 id="团队成员">团队成员</h2> <ul> <li>王一松（负责人）</li> <li>詹颖</li> </ul> <h2 id="项目简介">项目简介</h2> <p>基于区块链技术的多方清结算系统研发。</p>/zh/projects/nsfc-61976065/Wed, 01 Jan 2020 00:00:00 +0000/zh/projects/nsfc-61976065/<p><strong>资助来源：</strong> 国家自然科学基金（NSFC）<br> <strong>项目编号：</strong> 61976065<br> <strong>资助金额：</strong> 61万元<br> <strong>项目周期：</strong> 2020.01 - 2023.12</p> <h2 id="团队成员">团队成员</h2> <ul> <li>王一松（负责人）</li> <li>Jia-huai You</li> <li>张明义</li> <li>周孝楠</li> <li>王争立</li> <li>张颖</li> <li>黄奕</li> <li>王伟</li> <li>陈攀峰</li> <li>冯仁言</li> </ul> <h2 id="项目简介">项目简介</h2> <p>研究析取逻辑程序的归纳学习及其应用。</p>/zh/post/ai-lecture-04-automated-prototype-generation/Thu, 17 Oct 2019 10:30:00 +0800/zh/post/ai-lecture-04-automated-prototype-generation/<ul> <li>报告人：杨溢龙 博士 +- 时间：2019年10月17日（星期四）10:30—11:30</li> <li>地点：贵州大学博学楼621</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>介绍一种从形式化需求模型自动生成软件原型的方法及工具 RM2PT，用于需求验证并降低手工开发原型的额外成本。</p> <h2 id="报告人简介">报告人简介</h2> <p>杨溢龙博士于2019年获澳门大学软件工程博士学位，曾任联合国大学国际软件技术研究所研究员，主要研究自动化与智能软件工程。</p>/zh/post/ai-lecture-03-fast-csp-solver-based-on-sat/Mon, 17 Jun 2019 10:00:00 +0800/zh/post/ai-lecture-03-fast-csp-solver-based-on-sat/<ul> <li>报告人：Neng-Fa Zhou 教授（纽约城市大学） +- 时间：2019年6月17日（星期一）10:00—11:00</li> <li>地点：贵州大学博学楼701</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>介绍 Picat 中基于 SAT 的约束满足问题求解器 PicatSAT 的内部工作原理。该求解器曾在2018年 XCSP Competition 和 MiniZinc Challenge 中获奖。</p> <h2 id="报告人简介">报告人简介</h2> <p>Neng-Fa Zhou 教授任职于纽约城市大学布鲁克林学院及研究生中心，先后获得南京大学学士学位、九州大学硕士与博士学位。</p>/zh/post/ai-lecture-02-mathematical-engineering-machine-learning/Fri, 17 May 2019 10:00:00 +0800/zh/post/ai-lecture-02-mathematical-engineering-machine-learning/<ul> <li>报告人：张志华 教授（北京大学） +- 时间：2019年5月17日（星期五）10:00—12:00</li> <li>地点：贵州大学博学楼701</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>回顾机器学习发展的几个重要阶段，讨论机器学习的四个基础原则，并提出从“数学工程”的角度理解机器学习。</p> <h2 id="报告人简介">报告人简介</h2> <p>张志华教授任职于北京大学数学科学学院和北京大数据研究院，主要从事统计机器学习与人工智能研究。</p>/zh/post/ai-lecture-01-understanding-world-and-machine-learning/Mon, 01 Apr 2019 09:00:00 +0800/zh/post/ai-lecture-01-understanding-world-and-machine-learning/<ul> <li>报告人：吴喜之 教授 +- 时间：2019年4月1日（星期一）9:00—11:00</li> <li>地点：贵州大学博学楼701</li> </ul> <h2 id="报告摘要">报告摘要</h2> <p>介绍认识世界、科学思维与机器学习、数据科学及统计之间的关系。</p> <h2 id="报告人简介">报告人简介</h2> <p>吴喜之教授本科就读于北京大学数学力学系，获美国北卡罗来纳大学教堂山分校统计学博士学位，曾在国内外多所大学任教。研究方向包括序贯分析、回归诊断、模型选择、纵向数据分析、稳健统计、贝叶斯统计等。</p>/zh/projects/nsfc-u1836205/Tue, 01 Jan 2019 00:00:00 +0000/zh/projects/nsfc-u1836205/<p><strong>资助来源：</strong> 国家自然科学基金（NSFC）<br> <strong>项目编号：</strong> U1836205（子项目）<br> <strong>资助金额：</strong> 43.74万元<br> <strong>项目周期：</strong> 2019.01 - 2022.12<br> <strong>项目角色：</strong> 3/10</p> <h2 id="团队成员">团队成员</h2> <ul> <li>王一松</li> <li>冯仁然</li> <li>余小敏</li> <li>陈攀峰</li> <li>王伟</li> <li>申凌</li> <li>周孝楠</li> <li>秦瑾</li> <li>胡斌</li> <li>张丽</li> </ul> <h2 id="项目简介">项目简介</h2> <p>研究面向数据共享与应用的块数据融合分析理论与安全管控模型。</p>/zh/projects/talent-2015-01/Sat, 01 Aug 2015 00:00:00 +0000/zh/projects/talent-2015-01/<p><strong>资助来源：</strong> 优秀人才培养专项资金<br> <strong>项目编号：</strong> (2015)01<br> <strong>资助金额：</strong> 18万元<br> <strong>项目周期：</strong> 2015.08 - 2018.08</p> <h2 id="项目简介">项目简介</h2> <p>研究不完全知识处理关键技术。</p>/zh/projects/guizhou-2014-7640/Mon, 01 Dec 2014 00:00:00 +0000/zh/projects/guizhou-2014-7640/<p><strong>资助来源：</strong> 贵州省科技基金<br> <strong>项目编号：</strong> [2014]7640<br> <strong>资助金额：</strong> 5万元<br> <strong>项目周期：</strong> 2014.12 - 2016.12</p> <h2 id="项目简介">项目简介</h2> <p>研究非单调逻辑的归纳学习及其应用。</p>/zh/projects/nsfc-61370161/Wed, 01 Jan 2014 00:00:00 +0000/zh/projects/nsfc-61370161/<p><strong>资助来源：</strong> 国家自然科学基金（NSFC）<br> <strong>项目编号：</strong> 61370161<br> <strong>资助金额：</strong> 70万元<br> <strong>项目周期：</strong> 2014.01 - 2017.12</p> <h2 id="项目简介">项目简介</h2> <p>研究遗忘理论及其在不完全知识库中的应用。</p>/zh/projects/guizhou-2012-62/Tue, 01 Jan 2013 00:00:00 +0000/zh/projects/guizhou-2012-62/<p><strong>资助来源：</strong> 贵州省长征资金<br> <strong>项目编号：</strong> (2012)62<br> <strong>资助金额：</strong> 5.5万元<br> <strong>项目周期：</strong> 2013.01 - 2015.12</p> <h2 id="项目简介">项目简介</h2> <p>基于遗忘的逻辑程序诊断推理研究及应用。</p>/zh/projects/syskf1106/Sat, 01 Jan 2011 00:00:00 +0000/zh/projects/syskf1106/<p><strong>资助来源：</strong> 中国科学院软件研究所计算机科学国家重点实验室<br> <strong>项目编号：</strong> SYSKF1106<br> <strong>资助金额：</strong> 10万元<br> <strong>项目周期：</strong> 2011.01 - 2012.12</p> <h2 id="项目简介">项目简介</h2> <p>研究语义网的非单调推理关键技术。</p>/zh/projects/nsfc-60963009/Fri, 01 Jan 2010 00:00:00 +0000/zh/projects/nsfc-60963009/<p><strong>资助来源：</strong> 国家自然科学基金（NSFC）<br> <strong>项目编号：</strong> 60963009<br> <strong>资助金额：</strong> 20万元<br> <strong>项目周期：</strong> 2010.01 - 2012.12</p> <h2 id="项目简介">项目简介</h2> <p>研究带函数的回答集程序设计与实现。</p>/zh/projects/gzu-2007-042/Thu, 01 Jan 2009 00:00:00 +0000/zh/projects/gzu-2007-042/<p><strong>资助来源：</strong> 贵州大学人才引进科研基金<br> <strong>项目编号：</strong> (2007)042<br> <strong>资助金额：</strong> 4万元<br> <strong>项目周期：</strong> 2009.01 - 2011.12</p> <h2 id="项目简介">项目简介</h2> <p>研究带函数的回答集程序设计与实现。</p>/zh/projects/guizhou-edu-2008-011/Thu, 01 Jan 2009 00:00:00 +0000/zh/projects/guizhou-edu-2008-011/<p><strong>资助来源：</strong> 贵州省教育厅自然科学基金<br> <strong>项目编号：</strong> (2008)011<br> <strong>资助金额：</strong> 4万元<br> <strong>项目周期：</strong> 2009.01 - 2011.12</p> <h2 id="项目简介">项目简介</h2> <p>研究回答集程序设计。</p>/zh/projects/guizhou-2008-2119/Sun, 01 Jun 2008 00:00:00 +0000/zh/projects/guizhou-2008-2119/<p><strong>资助来源：</strong> 贵州省科技基金<br> <strong>项目编号：</strong> [2008]2119<br> <strong>资助金额：</strong> 3.6万元<br> <strong>项目周期：</strong> 2008.06 - 2010.07</p> <h2 id="项目简介">项目简介</h2> <p>研究回答集程序设计及应用。</p>