Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

8 results about "Logical representation" patented technology

Query processing system for slot-based execution of queries

Described herein embodiments of a query processing system. The query processing system optimizes execution by generating an optimized slot-based execution (SBE) plan for executing the query. The query processing system optimizes query execution by generating a logical representation of the query, optimizing the logical representation of the query, and translating the optimized logical representation of the query into an SBE plan. The query processing system then executes the SBE plan to generate the query results.
Owner:MONGODB INC

Model-based robot operation skill parameter learning method

ActiveCN116749194BNarrow down the search spaceReduce exploration burdenProgramme-controlled manipulatorTransfer modelFeature learning
This invention discloses a model-based method for learning robot operation skill parameters, including a single-skill policy learning module and a task-skill parameter learning module. The single-skill policy learning module includes an object-oriented representation model and a policy model conditioned on semantic goals. The task-skill parameter learning module includes an implicit state transition model learning module and an online skill parameter planning module. The single semantic skill policy learning module of this invention combines representation learning and reinforcement learning, integrating the reasoning transformation from visual input to the logical representation of the current system state with task-oriented robot policy learning to generate action parameters that satisfy the target logical state. Using reinforcement learning avoids extensive model design and processing, as well as the need for expert teaching data. Furthermore, by predefining the action sequences of skills based on an operation knowledge base, the search space for actions is reduced, lowering the exploration burden on the agent.
Owner:ZHEJIANG UNIV

Method, device and storage medium for analyzing unstructured data

Disclosed are a method, device and storage medium for analyzing unstructured data. The method comprises: constructing a set of predefined standard semantic operators, each operator having a logical representation; receiving a natural language query input by a user as a query to be simplified; performing semantic analysis on the query to be simplified using a large language model to generate a logical representation thereof; screening candidate operators based on semantic similarity matching between the logical representation and the logical representations of the operators; reordering the candidate operators; applying the candidate operators to simplify the query in turn until the simplification is successful; and constructing and executing a plan according to the query simplification process when it is determined that the query after the current simplification is a minimum semantic unit that cannot be further decomposed. The application significantly reduces the technical threshold for unstructured data analysis and improves query efficiency and accuracy through automated plan generation and optimization.
Owner:TSINGHUA UNIVERSITY

Layout optimization of error correction in measurement-based quantum computing

A method, apparatus, and product comprising: obtaining a logical representation of a quantum program that comprises logical qubits and gate operations; converting the logical representation to a physical representation to be executed on a measurement-based quantum computer, said converting comprising: determining a segmentation of quantum sources into disjoint segments configured to generate consecutive layers of clusters of physical qubits separated by time delays; selecting for each segment an interleaving depth, said selecting comprises selecting a non-uniform distribution of interleaving depths between first and second disjoint segments; and allocating for each segment one or more logical qubits to be represented by the each segment; and synthesizing the quantum program according to the physical representation.
Owner:CLASSIQ TECH LTD

Database query method and device and electronic equipment

The invention provides a database query method and device and electronic equipment, and relates to the technical field of artificial intelligence, in response to a natural language query request of a user, obtaining a structured logic representation of the query request and database information related to the query request; the structured logic representation comprises a plurality of sub-query requests obtained by decomposing the query request, and execution logic and / or query result dependency relationships among the plurality of sub-query requests; the database information is used for supporting mapping the structured logic representation into a query statement executable by a database, so that a first cue word used for generating the query statement is constructed based on the structured logic representation and the database information, and the first cue word is processed based on a first model to generate a target query statement; the target query statement is configured to obtain query result data used for replying to the query request from the database.
Owner:LENOVO (BEIJING) LTD

Query processing system

Described herein embodiments of a query processing system. The query processing system optimizes execution by generating an optimized slot-based execution (SBE) plan for executing the query. The query processing system optimizes query execution by generating a logical representation of the query, optimizing the logical representation of the query, and translating the optimized logical representation of the query into an SBE plan. The query processing system then executes the SBE plan to generate the query results.
Owner:MONGODB INC

Large model inductive deductive reasoning method

The invention provides a large model inductive deductive reasoning method, which relates to the field of large models, effectively eliminates noise samples with similar case descriptions but contrary logics through double constraints of fact recombination and category limitation, constructs determined logic representations through an FOL symbolization form, and combines a feedback-driven cause-tracing reasoning mechanism, so as to improve the reliability of the large model. And refined logic induction of case fact features is realized. The inherent defect that a large model tends to be excessively generalized based on surface semantics is effectively overcome, fact features causing conclusion differences can be captured and internalized, and accurate logic mapping from key facts to decision conclusions is established. According to the method, a dynamic balance mechanism is established between pure logic reasoning and scene intuition by introducing a semantic constraint auto-reflection strategy, the rigid limitation of a traditional deductive reasoning mechanical application rule is broken through, and the self-adaptive ability of the model to cope with exceptional plots and complex contexts is improved.
Owner:NORTHEASTERN UNIV CHINA

Designing quantum circuits with topological error correction

A method, product and apparatus including obtaining a logical representation of a quantum circuit having logical qubits and determining a physical representation of the quantum circuit by allocating physical qubits of a quantum computer to quantum components of the physical representation. Such allocating includes determining a pattern of qubit patches representing the logical qubits. A qubit patch includes two slots for representing two logical qubits. The pattern includes an arrangement of the qubit patches in a first number of rows and a second number of columns. The method then includes determining a mapping of the logical qubits to the qubit patches based on first and second factors, determining, based on the mapping, a number of T-factories to be included in each T-factory patch, and synthesizing the quantum circuit according to the physical representation.
Owner:CLASSIQ TECH LTD