• 検索結果がありません。

JAIST Repository: Semantic Parsing: transforming sentences to logical forms using machine learning models

N/A
N/A
Protected

Academic year: 2021

シェア "JAIST Repository: Semantic Parsing: transforming sentences to logical forms using machine learning models"

Copied!
6
0
0

読み込み中.... (全文を見る)

全文

(1)

JAIST Repository

https://dspace.jaist.ac.jp/

Title

Semantic Parsing: transforming sentences to

logical forms using machine learning models

Author(s)

Nguyen, Minh Le

Citation

Issue Date

2007-03-07

Type

Presentation

Text version

publisher

URL

http://hdl.handle.net/10119/8297

Rights

Description

4th VERITE : JAIST/TRUST-AIST/CVS joint workshop

on VERIfication TEchnologyでの発表資料, 開催

:2007年3月6日∼3月7日, 開催場所:北陸先端科学技

術大学院大学・知識講義棟2階中講義室

(2)

COE’07 1

Semantic Parsing: transforming sentences to

logical forms using machine learning models

Minh Le Nguyen

School of Information Science Japan Advanced Institute of Science and Technology

COE’07 2

Syntactic and Semantic Natural Language Learning

• Most computational research in natural-language learning

has addressed “low-level” syntactic processing. – Morphology (e.g. past-tense generation) – Part-of-speech tagging

– Chunking – Syntactic parsing

• Learning for semantic analysis has been restricted to relatively “shallow” meaning representations.

– Word sense disambiguation (e.g. SENSEVAL) – Semantic role assignment (determining agent, patient,

instrument, etc., e.g. FrameNet, PropBank) – Information extraction

COE’07 3

Semantic Parsing

• Semantic parsing is the process of mapping a

natural-language sentence to a complete, detailed semantic

representation:

logical form

or

meaning

representation

(

MR

).

• For many applications, the desired output is

immediately executable by another program.

• Application domains:

– CLang: RoboCup Coach Language – GeoQuery: A Database Query Application – Legal domain

COE’07 4

CLang: RoboCup Coach Language

• In RoboCup Coach competition teams compete to

coach simulated players

• The coaching instructions are given in a formal

language called CLang

Simulated soccer field Coach

CLang

If the ball is in our penalty area, then all our

players except player 4 should stay in our half.

((bpos (penalty-area our))

(do (player-except our{4}) (pos(half our)))

Semantic Parsing

GeoQuery: A Database Query Application

• Query application for U.S. geography database

containing about 800 facts

[Zelle & Mooney, 1996]

User How many cities are there in the US? Query answer(A,

count(B, (city(B), loc(B, C), const(C, countryid(USA))),A)) Semantic Parsing

Approach

• Applying ML to the transforming problem

• Motivations

– Robustness, reduction of development rules – Treating ambiguity

– Handling with the difficulty of consistent rules

• Current work

– ML for query database language / robocup controlled language

(3)

COE’07 7 Preprocessing Semantic Tagging Training Examples Structured ML Learner Rules with weight Semantic parsing Generate Logical form

Transforming phase

Learning phase

NL sentence Logical form

Machine Learning Framework

COE’07 8

Semantic Tagging

our player 2 has the ball

PRP NN CD VP DT NN

our player unum bowner null null

corpus Conditional Random Filed sentence Pos Tagging model

Decoding Semantictagging

Pos Tagging: Using our FlexCRF toolkit

Semantic Tagging

COE’07 9

Semantic parsing

Semantic

tagging CYK Parsing Semantictree

corpus StructuredSVM With weightsRules

COE’07 10

Example: Generate LF from a semantic tree

Semantic

tree Logical formGeneration Logical form

Current Work

• English Data (CLANG) – Structured SVM (Robocup)

• Precision: 85% • Recall: 74%

– Maximum entropy model (DB query) • Precision 89%

• Recall 51% • Japanese Data

– Splitting long sentences into a set of short sentences – Mapping NL Japanese sentence to logical form

Legal domain

sentence Dependency parsing patterns Semantic parsing Logical form Correspondences between DT’s node KNP, Cabocha Structured SVM Dependency tree is suitable for the Japanese legal domain 1 2 1 2 3 ' 6 1 1 1 2 ' ' 3 2 2 1 2 ' ' 5 2 2 2 4 2 , , , , ( ( ) ( , ) ( , ) (( ( ) ( , ) ( 1)) (w ( ) ( , ) ( ))) x x e e e P w e agt e a obj e e w e obj e x w x e obj e x w x ∀ ∃ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ W1 W2 W3 W5 W4 W6 W7 W8 W9 Online-SCFG

(4)

COE’07 13

Dependency Parsing

Sentence Dependency Parsing Dependency tree corpus Online Structured Learning Dependency Model

State of the art result in English

data (Penn III)

very good results in shared task CONLL-2006 including Japanese data

Plan to participate CONLL-2007 task Japanese unlabeled accuracy 93.9% Japanese unlabeled accuracy 91.6% English unlabeled accuracy 91.6% English unlabeled accuracy 90.7% COE’07 14

Patterns learning

• Input: set of dependency trees and their logical forms

• Output: the correspondences of each node in DT with a predicate in LF • Method: Using statistical machine translation to align a node in DT to a predicate a LF

W1 W2 W3 W4 W5 W6 W7 W8 W9 12 12 3 ' 61 1 12 ' ' 3 2 2 1 2 ' ' 52 2 2 4 2 , , , , ( ( ) ( , ) ( , ) (( ( ) ( , ) ( 1)) (w ( ) ( , ) ( ))) x x e e e P w e agt e a obj e e w e obj e x w x e obj e x w x ∀ ∃ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ Example: COE’07 15

Splitting clauses in legal domain

• Using machine learning for splitting clauses

NL

splitting mapping combining mapping

mapping

前条に該当する者があるときは、区長は、これを告発するものとする。

前条に該当する者があるときは、区長はこれを告発するものとする

zenjou ni gaitou suru mono ga aru toki ha, kuchou ha, kore o kokuhatsu suru mono to suru

¾ Collected 108 sentences and their logical form ¾ 9/10 for training and 1/10 for testing data

¾ The accuracy of the model is 93.10%!

LF LF

COE’07 16

Online-SCFG Methods

• Preprocessing

– Generate a sequence of word tokens

– Transform a logical form representation into a sequence of atomic logical form.

• Using GIZA++ to generate alignment between each word in NL to each token in LF

• Using synchronous grammar to estimate the model for generating logical form

• Using online structured prediction learning to estimate the SCFG grammar

• Some issues for Japanese data

– Require a formal grammar representation for LF

– In the case there is no formal grammar it becomes phrase based SMT models

QUERYÆ What isCITY CITYÆ the capitalCITY CITYÆ ofSTATE STATEÆ Ohio

Context-Free Semantic Grammar

Ohio of STATE QUERY CITY What is CITY the capital

Synchronous Context-Free Grammars

(SCFG)

• Developed by Aho & Ullman (1972) as a theory of

compilers that combines syntax analysis and code

generation in a single phase

(5)

COE’07 19

QUERY

Æ What is

CITY

/ answer(

CITY

)

Synchronous Context-Free Grammars

pattern template

Developed by Aho & Ullman (1972) as a theory of

compilers that combines

syntax analysis

and

code

generation

in a single phase

Generates

a pair of strings

in a single derivation

COE’07 20

STATEÆ Ohio / stateid('ohio')

QUERYCITYCITYÆ the capitalÆ What isÆ ofSTATE CITY CITY / loc_2(/ answer(/ capital(STATECITYCITY) ))

What is the capital of Ohio

Synchronous Context-Free Grammars

Ohio of STATE QUERY CITY What is QUERY answer ( CITY ) capital ( CITY ) loc_2 ( STATE ) stateid ( 'ohio' ) answer(capital(loc_2(stateid('ohio')))) CITY the capital COE’07 21 CITY capital ( CITY ) loc_2 ( STATE ) stateid ( 'ohio' )

Probabilistic Parsing Model

CITY

capital ( CITY )

loc_2 ( RIVER ) riverid ( 'ohio' )

STATEÆ Ohio / stateid('ohio') CITYÆ capital CITY/ capital(CITY) CITYÆ of STATE/ loc_2(STATE)

RIVERÆ Ohio / riverid('ohio') CITYÆ capital CITY/ capital(CITY) CITYÆ of RIVER/ loc_2(RIVER)

0.5 0.3 0.5 0.5 0.05 0.5

λ

λ

1.3 1.05 + +

Pr(d1|capital of Ohio) = exp( ) / Z Pr(d2|capital of Ohio) = exp( ) / Z

d

1

d

2

normalization constant

COE’07 22

N (non-terminals) = {QUERY, CITY, STATE, …} • S (start symbol) = QUERY

Tm(MRL terminals) = {answer, capital, loc_2, (, ), …} • Tn(NL words) = {What, is, the, capital, of, Ohio, …}

L (lexicon) =

• λ(parameters of probabilistic model) = ?

Parsing Model

STATEÆ Ohio / stateid('ohio') QUERYÆ What isCITY / answer(CITY) CITYÆ the capitalCITY / capital(CITY) CITYÆ ofSTATE / loc_2(STATE)

Online structured prediction learning

Online structured prediction learning

• Extend the traditional Perceptron learning

Perceptron

Two class labels learning problem

Online structured

Learning

Many class labels, tree structure

Extend

Results

• English data (CLANG)

– It is applicable for Robocup language • Precision 89.5 (best precision) • Recall 61.2

– The result is good because we do not need fully semantic tree annotation

• Japanese data (110 sentences)

– Because of spare data problem so the alignment of each word in NL sentence and each token in LF is not good.

– It is need to verify this problem in detail for improving the accuracy of our model

(6)

COE’07 25

Conclusions

• Learning is applicable for transforming NL to logical

form

• The number of training data should be enlarged to

make sure the accuracy of the models

• The splitting result for legal Japanese data is attractive

We should integrate this model

with the rule-based model

COE’07 26

Future work

• Experiment on a larger corpus of Japanese data

• Integrate with the rule-based models

• Transforming a logical form representation to a NL

sentence

参照

関連したドキュメント

Mochizuki, On the essential logical structure of inter-universal Te- ichm¨ uller theory in terms of logical AND “ ∧ ”/logical OR “ ∨ ” relations:. Report on the occasion of

In the following chapter, we examine our generalisation of pre-logical predicates by means of several examples, such as the case of traditional many-sorted algebras, the

In the third step, for obtaining high-order approximate solutions, we proceed with a regularization approach using the asymptotic performance of the unknown solutions that allows us

Specifically, we consider the glueing of (i) symmetric monoidal closed cat- egories (models of Multiplicative Intuitionistic Linear Logic), (ii) symmetric monoidal adjunctions

Given an extension of untyped λ-calculus, what semantic property of the extension validates the call-by-value

We investigate a version of asynchronous concurrent process calculus based on linear logic. In our framework, formulas are identified with processes and inference rules are

Wro ´nski’s construction replaced by phase semantic completion. ASubL3, Crakow 06/11/06

The explicit treatment of the metaplectic representa- tion requires various methods from analysis and geometry, in addition to the algebraic methods; and it is our aim in a series