11 results about "Logic programming" patented technology

The invention discloses a logic knowledge construction method and device based on a large language model and logic programming, electronic equipment and a storage medium, and belongs to the field of artificial intelligence knowledge engineering. According to the method, automatic conversion from multi-source heterogeneous knowledge to machine reasonable logic knowledge is realized through combination of semantic understanding capability of a large language model and standardized processing of logic programming. The method specifically comprises the steps of obtaining unstructured / semi-structured original knowledge data, performing entity relationship recognition and predicate logic detection by utilizing a large language model to generate a preliminary logic expression, performing grammar normalization processing to form standard logic facts and rules, and constructing a consistent logic knowledge base through a conflict detection and resolution mechanism. According to the method, a mixed conversion framework of natural language and formalized logic is innovatively provided, and the maintainability and expandability of the knowledge base are remarkably improved by introducing timestamp metadata, a rule dependence graph and an incremental updating mechanism. The technology provides structured logic support for subsequent large model reasoning, and can be widely applied to intelligent questions and answers, decision support and other scenes requiring precise logic reasoning.

The invention relates to the technical field of logic programming, and discloses a logic programming control method and system for multi-material collaborative weighing, and the method comprises the steps: analyzing a production formula instruction, and obtaining a formula data set of a product; dynamically allocating a weighing task queue according to the formula data set to obtain a task allocation instruction of the weighing equipment; synchronously driving weighing equipment to perform parallel weighing operation based on the task distribution instruction to obtain a real-time weight sampling value of the material in the product; performing dynamic error compensation on the real-time weight sampling value to obtain a corrected weighing value of the material; the corrected weighing value is fed back to a logic programming controller, the weighing result of the corresponding material in the formula data set is updated, and a cooperation completion signal is output; according to the invention, the accuracy of logic programming control of multi-material collaborative weighing can be improved.

The application discloses a kind of social engineering attack automatic detection method based on multi-view subject modeling, contain following steps: step (1) scene modeling step: enterprise provides the relevant document needed for modeling, according to document, model scene, including organization setting, business target, social interaction and four dimensions of human characteristics, generate scene fact, when modeling is completed, execute step (2).Step (2) threat reasoning step: existing social engineering attack detection method relies on dialogue or text, cannot detect the security threat existing in complex system.Therefore, threat reasoning rule based on logic reasoning is used to reason the threat of scene, and the automatic reasoning of scene threat is realized by logic programming language prolog.The scene modeling suitable for large-scale complex system and the automatic detection of threat in scene.

The invention discloses a logic programming system management and control method, device and equipment, and relates to the field of industrial automation, and the method comprises the steps that a frequency converter downloads a logic programming system from an upper computer; wherein the logic programming system is a system built by an upper computer based on a target function block provided by a frequency converter; the target function block is a function block without a preset function code; and based on each target function block in the logic programming system, determining a target function code required to be used from the reserved function codes, and determining a function code parameter of the target function code so as to manage and control the logic programming system by using the target function code. According to the frequency converter, the function block without the preset function code is provided to build the logic programming system, so that the use of a user is more flexible, and diversified system building requirements are better met.

The embodiment of the invention provides a use method of a logical reasoning engine. The use method comprises the following steps: determining the logical reasoning engine used by a reasoning program; determining a target logic programming language corresponding to the logic reasoning engine; the logic programming language is converted into the target logic programming language through an intermediate representation form, and the logic programming language used by the reasoning program is different from the target logic programming language; and calling the target logical reasoning engine by utilizing the target logical programming language. The embodiment of the invention further provides an inference engine client, an inference server, an inference service system, a computer readable storage medium and electronic equipment.

The application belongs to the technical field of server board analysis and design, and specifically provides a server mainboard, a server board online analysis system and method, wherein the mainboard is provided with a logic programming device and a main chip connected with the logic programming device; the logic programming device is used for receiving a test signal sent by the main chip, processing the received test signal to generate a processing signal, and sending the processing signal back to the main chip; the processing signal returned by the main chip is received, and the processing signal returned by the main chip is compared with the received test signal sent by the main chip, and a comparison analysis result is output; and the positioning difficulty effect of the field is reduced through the comparison between the original signal and the loopback signal by the logic programming device.

The Zynq chip is integrated with the ARM processor and the FPGA logic programming unit, the ARM processor and the FPGA logic programming unit can directly interact with each other, logic changing and embedded programming can be achieved on one board card, complex buses among multiple chips in the prior art are avoided, and peripheral circuit design is reduced. According to the invention, the distance measurement and communication integrated design is realized on the basis of the basic communication function, and compared with the traditional method, the method has the advantages that the equipment is simple and multiple peripherals do not need to be additionally mounted.

According to the invention, a set of variable name maintenance and management system is constructed, the IO variable mapped by the equipment channel is replaced by the logic variable, and the replaced logic variable has all characteristics of the original IO variable and the logic variable. When the device configuration changes, a user does not need to modify a logic code of a program and only needs to adjust the mapping relation between the logic variable and the device channel through a variable name management mechanism, so that the user does not need to directly pay attention to device configuration change details during logic programming, the working process of the user is simplified, and the user experience is improved. In addition, the adaptability and maintainability of the industrial automatic control system are improved, backup data of the configuration information and the replacement and restoration information can be generated outside the software, and the method can be used for a user to quickly adapt the logic codes of the same version to different configurations.

The application discloses a data transmission system and method, relates to the technical field of prototype verification of integrated circuits, and comprises the following steps: a monitoring module is added in a first logic programming device, and a delay processing module is added in a second logic programming device; the monitoring module can monitor the time length during which an interrupt signal is later than data in the first logic programming device; and since data is delayed to arrive after being transmitted across the logic programming devices, the delay processing module can monitor the time length during which the interrupt signal is earlier than the data. First interrupt signals are generated by operating time length indication information and delay time length indication information, the original time sequence of the interrupt signals and the data for indicating the completion of a write operation can be restored, and the first interrupt signals can accurately indicate that a storage module has completed a write operation.

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.