4 数理逻辑与知识萃取实践