本发明公开了一种面向知识推理的船舶行为形式化表达方法及系统，该方法包括：分析船舶实体及其行为的基本特征，将船舶抽象表达成船舶对象对船舶进行具体描述，对船舶对象建模；运用资源描述框架方法和集合理论的方法对船舶的属性要素、关系要素及时空要素进行抽象表达；将船舶属性要素、关系要素在时空要素的动态变化抽象表达成船舶行为，并根据要素变化类型将船舶行为分类成船舶属性行为及船舶关系行为，运用函数映射和集合描述方法对船舶行为进行字符化、公式化表达；运用于计算机对船舶行为进行识别和理解，并基于此，实现对船舶行为知识进行推理。本发明能对船舶行为进行推理，为实现船舶行为的结构化建模和语义理解提供了理论和方法基础。