3 形式逻辑与知识萃取实践