2 results about "Logic programming" patented technology

The application discloses a kind of based on knowledge base's manuscript automatic generation method and system, comprising: the data of obtaining heterogeneous material, decoupling is carried out multi-dimensional semantic feature, extract knowledge atom in heterogeneous material;Based on the semantic association strength of knowledge atom, construct dynamic personal knowledge base;Adopt the logic mapping of preset field knowledge graph to dynamic personal knowledge base, generate the book topology outline satisfying structure continuity and theme coverage rate by multi-objective optimization algorithm;According to the node requirement of book topology outline, retrieve matched knowledge atom cluster from dynamic personal knowledge base;Through deep learning model, semantic smoothing processing and style consistency migration are carried out to knowledge atom cluster, generate the first draft of book in line with publishing logic.The application realizes the automatic generation from heterogeneous material to style uniform first draft of book by knowledge atomization deconstruction, dynamic graph construction and multi-objective logic programming, significantly improves knowledge conversion efficiency and book quality.

This invention is an automated statistical method for quay crane operations. It determines whether a ship unloading or loading operation is performed based on the position of the spreader and the switching of its locking / unlocking status. The entire operation area is divided into a ship area, a container truck area, an automated landside operation area, and an automated seaside operation area. The automated landside operation area is located above the container truck area, and the two areas are separated by a safe landside height. Similarly, the automated seaside operation area is located above the ship area, and the two areas are separated by a safe seaside height. This invention uses logic programming for the spreader's unlocking, locking, and container-landing signals, resulting in fewer detection signals, less susceptibility to interference from other signals, and improved statistical accuracy.