Patents
Literature
Patsnap Copilot is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Patsnap Copilot

155 results about "Logical connective" patented technology

In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the value of the compound sentence produced depends only on that of the original sentences and on the meaning of the connective.

System and method for ensuring computer to understand natural languages

The invention relates to a system for ensuring a computer to understand natural languages, comprising a database, a related command set, a string creating unit, a subject-predicate recognizing unit, a key word recognizing unit and a logic processing unit, wherein the database is used for storing the categories of language material resources and application programs; the related command set is used for logical operation and program control of input natural languages; the string creating unit is used for generating input strings according to the input natural languages; the subject-predicate recognizing unit is used for recognizing the subject and predicate character fields in the input strings and respectively acquiring the subject and predicate object code segments matched with the subject and predicate character fields by retrieving the database; the key word recognizing unit is used for recognizing the key words/phrases in the input strings and acquiring corresponding logical operation or program control commands from the command set according to the key words/phrases; and the logic processing unit is used for combining the subject and predicate object code segments into an integral program file. The invention also provides a method for ensuring the computer to understand natural languages. The method realizes integral recognition and understanding of the natural languages by recognizing the subjects and predicates and the logical connectives thereof in the natural languages.
Owner:万继华

Method for converting structural text language into trapezoidal graph language

The invention relates to a method for converting a structural text language into a trapezoidal graph language, which comprises the following steps of performing equivalent standard treatment on structural text logic statement according to the international electrotechnical commission (IEC) 61131-3 standard; determining a layer of each element in brackets which the element is located in and determining logical operators in the front and at the back are 'AND' or 'OR' according to the structural text logic statement after the standard treatment, performing one-to-one location of the elements in a text in a two-dimensional coordinate in a trapezoidal graph according to the corresponding primitive of the elements; converting the elements in the structural text after location into immediate codes, enabling an immediate code of each element to comprise primitive types, primitive coordinate and parameter information, and utilizing each written functional function for drawing the trapezoidal graph to convert the immediate codes into the trapezoidal graph. The method for converting the structural text language into the trapezoidal graph language has good generality, can fast and accurately converting any complex structural text into the trapezoidal graph, and helps a user to design a structural text and the trapezoidal graph which accord with the international standard, and errors existing in a program are easy to correct.
Owner:SHENYANG GOLDING NC & INTELLIGENCE TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products