岗位职责：
1. 推进修改逻辑一般化，处理数据、知识及推理过程。
2.构建认知推理框架（CRF），融合多种推理模式。
3.基于问题导向开发 CRF 信息提取方法。
4.探索修改计算与子符号方法组合方式。
5.研发 CRF 合情推理方6.设计认知过程逻辑管理方法。
7.开发处理实际不确定性的方法。
8.搭建认知推理的经验与理论双层次架构。
9.开发外部知识内化的方法与工具。
10.实现 CRF 知识的表示、管理及动态控制。
任职要求：
1. 数学硕士，数理逻辑和计算理论专业。
2. 熟悉经典与非经典数理逻辑。
3. 了解人工智能技术及数学基础。
4. 知晓相关方法（如概率逻辑等）。
5. 具备创造性思维与探索新方案的热情。
6.英语六级，能熟练听说读写，沟通交流。
7.工作地点：天津或杭州。