现代逻辑与人工智能

现代逻辑与人工智能研究室


现代逻辑与人工智能研究室负责人是郭美云教授。该研究方向主要结合当代计算机科学尤其是人工智能前沿,深化计算机科学中的逻辑问题研究。结合经济学中的博弈论、社会选择理论等研究方向,进行逻辑理论和实证研究。


逻辑与人工智能
主任郭美云
主要研究人员唐晓嘉
邓辉文
蒋军利
孙    洋
陈    武