""

专业领域

  • 解释的AI
  • 论证
  • 多代理系统
  • 人工智能

出版物

  1. (0)。 基于假设,论证时间规划的例子。 在初步提出了2018:原理和多代理系统的做法,,362-370。 DOI:10.1007 / 978-3-030-03098-8_22
  2. & 一个可以解释的多属性决策模式的基础上论证。 与应用专家系统 117,42-61。
  3. 在生成基于假设,论证解释的计划。 初步2018:原理和多代理系统的做法。 (第344-361)。 东京: 原则上21届国际会议和实践多代理系统(prima2018)。
  4. 初步2018:原理和多代理系统的做法。 东京: 原则上21届国际会议和实践多代理系统(prima2018)。
  5. & 落入与不显眼的红外线阵列传感器检测。 多传感器融合和集成在大数据,深度学习和网络物理系统的唤醒。 (第253-267)。 斯普林格。

查看更多...

教学

  • csc325 人工智能

    csc325是介绍人工智能,主要集中在推理和解决问题的一个解决方案,而不是进行分类统计技术进行搜索。课程可覆盖之中主题:搜索技术;知识表示和专家系统;规划;调度;定性推理;语言处理与语法规则;和元编程。

  • csc364 软件测试

    测试是为了确定其质量,其中质量意味着根据给意图或说明书的程度用一个对象(SUT =待测系统)系统地进行实验的过程。这个模块将覆盖各种测试场景;实践练习将使学生获得实践经验。

  • cscm23 设计,在信任,理解和谈判

    该模块探讨国家的最先进的方法和理念,以协助负责设计和技术的发展与建立可靠和可信系统的目的。该模块的内容将通过专家讲师和从业人员可信计算,偏见和自动化决策和决策支持,艾未未,论证和谈判伦理方面的考虑,以及正式方法explainability的领域,如核查交付关键系统。

  • cscm64 软件测试

    测试是为了确定其质量,其中质量意味着根据给意图或说明书的程度用一个对象(SUT =待测系统)系统地进行实验的过程。这个模块将 提供了一个深入的介绍了各种测试场景,让学生通过一些实际演练的方式来获得实践经验。