Login| Sign Up| Help| Contact|

Patent Searching and Data

Document Type and Number:
Japanese Patent JP6597978
Kind Code:
PROBLEM TO BE SOLVED: To provide a syntactic analysis device, a method, and a program that can perform syntactic analysis considering an arbitrary constraint condition on a production rule.SOLUTION: The BDD constructing unit 30 constructs a binary decision diagram corresponding to a logical function representing a logical constraint which is a constraint condition on an input production rule. A syntactic analysis unit 32 obtains a set of possible derivations based on a set of previously given production rules and a series of terminal symbols, uses a propositional variable to express that each production rule is employed in the derivation based on the set of possible derivations obtained, defines a logical function expressing whether or not it is a correct derivation for a series of terminal symbols by using the propositional variable, constructs a binary decision diagram corresponding to the defined logical function, and then finds a derivation that satisfies the constraint condition and maximizes the probability by using the binary decision diagram which is the logical product of the constructed binary decision diagram and the binary decision diagram corresponding to the defined logical function.SELECTED DRAWING: Figure 2

Nishino Masaaki
Akihiro Yamamoto
Application Number:
Publication Date:
October 30, 2019
Filing Date:
November 16, 2016
Export Citation:
Click for automatic bibliography generation   Help
Nippon Telegraph and Telephone Corporation
Kyoto University
International Classes:
G06F17/27; G06N5/04
Domestic Patent References:
Foreign References:
Attorney, Agent or Firm:
Patent Service Corporation Taiyo International Patent Office