Knowledge reasoning-oriented ship behavior formalized expression method and system

The invention discloses a ship behavior formalized expression method and system oriented to knowledge reasoning, and the method comprises the steps: analyzing a ship entity and basic characteristics of behaviors of the ship entity, abstractly expressing a ship as a ship object, carrying out the specific description of the ship, and carrying out the modeling of the ship object; carrying out abstract expression on attribute elements, relation elements and time-space elements of the ship by using a resource description framework method and a set theory method; dynamic changes of the ship attribute elements and the relation elements in the space-time elements are abstractly expressed into ship behaviors, the ship behaviors are classified into ship attribute behaviors and ship relation behaviors according to element change types, and the ship behaviors are subjected to character and formulation expression by using a function mapping and set description method; the method is applied to a computer to identify and un