2.3 Semantic grammars in _-SCFGFoll

2.3 Semantic grammars in _-SCFG
Following [17], we model our semantic grammars as synchronous context-free
grammars [1] augmented with lambda calculus expressions (_-SCFG). Our _-
SCFG rules define two ‘synchronous’ trees derived from the same start symbol
S. The yield of the first tree is natural language, and the yield of the second tree
is a formal language expressing the semantics of the natural language yield of
the first tree. The requirement of having variables within the semantic formulas
necessitates the use of _ expressions and in turn (slightly) complicates the notion
of what a yield is for the second tree – yields are calculated bottom up and
involve the well known alpha conversion and beta reduction operations of lambda
calculus.
Formally, each _-SCFG rule has the form:
A → h_, _x1, ..., _xk_i (1)
where A is a single non-terminal symbol and _ is a sequence of terminal and nonterminal
symbols where the terminals are words or word sequences in natural
language. _ consists of a sequence of terminals, non-terminals and formal argument
terms which compose arguments x1, ..., xk. We say compose here, because
in contrast to [17], we shall at times pass lambda functions in as arguments. In
such case we shall use the symbol fi in the place of xi. The terminals within
_ consist of raw material used to build up formal expressions. Each use of a
non-terminal symbol in _ is paired with the use of the same symbol in _ (and
vice versa). In cases that there are multiple uses of the same non-terminal in _,
one must include index terms to specify which non-terminal in _ corresponds
to which in _. The paper [17] gives a more complete characterization of how
such _-SCFG rules are used to translate a natural language input to a formal
semantic expression.

ผลลัพธ์ (ไทย) 1:

2.3 ทางตรรก grammars ใน_ SCFGต่อไปนี้ [17], เรารุ่น grammars ตรรกของเราเป็นแบบซิงโครนัสที่ปราศจากบริบทgrammars [1] เสมือนกับนิพจน์แคลคูลัสแลมบ์ดา (_-SCFG) ของเรา_-SCFG กฎกำหนดต้นไม้ 'กัน' สองที่มาจากสัญลักษณ์เริ่มต้นเดียวกันS. ผลต้นแรกเป็นภาษาธรรมชาติ และผลผลิตของต้นไม้สองภาษาที่เป็นทางแสดงความหมายของผลภาษาธรรมชาติต้นแรก ความต้องการของตัวแปรในสูตรตรรกการใช้นิพจน์_ necessitates และในการเปิด (เล็กน้อย) complicates ความคิดของผลผลิตใดมีต้นไม้สอง – อัตราผลตอบแทนจะคำนวณล่างขึ้น และเกี่ยวข้องกับการรู้จักอัลฟาแปลงและเบต้าลดการทำงานของแลมบ์ดาแคลคูลัสอย่างเป็นทางการ กฎแต่ละกฎ_ SCFG มีแบบฟอร์ม:การ→ h_, _x1,..., _xk_i (1)ที่เป็นสัญลักษณ์ไม่ใช่ท่าเดียว และ_คือ ลำดับของเทอร์มินัล และ nonterminalสัญลักษณ์ที่ผู้โดยสารมีคำหรือลำดับคำในธรรมชาติภาษา ประกอบด้วยลำดับของขั้ว ไม่ใช่ขั้ว และอาร์กิวเมนต์ทาง_ข้อกำหนดที่เขียนอาร์กิวเมนต์ x1,..., xk เราว่า เขียนที่นี่ เพราะในทางตรงข้าม [17], ที่เราต้องผ่านฟังก์ชั่นแลมบ์ดาเป็นอาร์กิวเมนต์ ในกรณีเช่นนี้เราจะใช้เน็ตสัญลักษณ์เลิศสิ อาคารผู้โดยสารภายใน_ประกอบด้วยวัตถุดิบที่ใช้ในการสร้างนิพจน์ทาง การใช้แต่ละ-อาคารสัญลักษณ์ใน_จับคู่กับการใช้สัญลักษณ์เดียวกันใน_ (และในทางกลับกัน) ในกรณีที่มีหลายอย่างเหมือนกันไม่ใช่เทอร์มินัลใน_,หนึ่งต้องมีข้อกำหนดดัชนีระบุตรงที่ไม่ใช่-เทอร์มินัลใน_ซึ่งใน_ [17] กระดาษให้จำแนกลักษณะสมบูรณ์มากวิธีกฎดังกล่าว_ SCFG จะใช้การแปลป้อนภาษาธรรมชาติการเป็นทางการนิพจน์ทางตรรก

ผลลัพธ์ (ไทย) 2:

2.3 ความหมายของไวยากรณ์ใน _-SCFG
ต่อไปนี้ [17] เรารูปแบบไวยากรณ์ความหมายของเราเป็นซิงโครบริบทฟรี
ไวยากรณ์ [1] เติมกับการแสดงออกแลมบ์ดาแคลคูลัส (_-SCFG) _- ของเรา
กฎ SCFG กำหนดต้นไม้สองต้น 'ซิงโคร' มาจากการเริ่มต้นที่สัญลักษณ์เดียวกัน
เอส ผลผลิตของต้นแรกคือภาษาธรรมชาติและผลผลิตของต้นไม้ที่สอง
เป็นภาษาอย่างเป็นทางการแสดงความหมายของอัตราผลตอบแทนภาษาธรรมชาติของ
ต้นไม้แรก ความต้องการของการมีตัวแปรภายในสูตรความหมาย
มีความจำเป็นการใช้ _ แสดงออกและในทางกลับ (เล็กน้อย) มีความซับซ้อนความคิด
ของสิ่งที่อัตราผลตอบแทนที่เป็นต้นไม้ที่สอง - อัตราผลตอบแทนมีการคำนวณด้านล่างขึ้นและ
เกี่ยวข้องกับการแปลงอัลฟาที่รู้จักกันดีและเบต้าการดำเนินงานลดลง แลมบ์ดา
. แคลคูลัส
อย่างเป็นทางการแต่ละกฎ _-SCFG มีรูปแบบ:
→เป็น h_, _x1, ... , _xk_i (1)
ที่เป็นสัญลักษณ์ที่ไม่ใช่ขั้วเดียวและ _ เป็นลำดับของ Terminal และ nonterminal
สัญลักษณ์ที่ ขั้วเป็นคำหรือลำดับคำในธรรมชาติ
ภาษา _ ประกอบด้วยลำดับของอาคารที่ไม่ใช่ขั้วและโต้แย้งอย่างเป็นทางการ
แง่ซึ่งประกอบด้วยข้อโต้แย้ง X1, ... , XK เราพูดเขียนที่นี่เพราะ
ในทางตรงกันข้ามกับ [17] เราจะในช่วงเวลาที่ผ่านฟังก์ชั่นในแลมบ์ดาเป็นข้อโต้แย้ง ใน
กรณีเช่นนี้เราจะใช้สัญลักษณ์ Fi ในสถานที่ของจิน ขั้วภายใน
_ ประกอบด้วยวัตถุดิบที่ใช้ในการสร้างการแสดงออกอย่างเป็นทางการ การใช้งานของแต่ละ
สัญลักษณ์ที่ไม่ใช่ขั้วใน _ ถูกจับคู่กับการใช้สัญลักษณ์เดียวกันใน _ (และ
ในทางกลับกัน) ในกรณีที่มีหลายความหมายที่ไม่เหมือนกันในขั้ว _
หนึ่งจะต้องมีคำดัชนีเพื่อระบุไม่ใช่ขั้ว _ สอดคล้อง
ซึ่งใน _ กระดาษ [17] ให้ตัวละครที่สมบูรณ์มากขึ้นของวิธีการ
ดังกล่าวกฎ _-SCFG จะใช้ในการแปลการป้อนข้อมูลภาษาธรรมชาติไปอย่างเป็นทางการ
แสดงออกความหมาย

ผลลัพธ์ (ไทย) 3:

2.3 ความหมายไวยากรณ์ใน _ - scfgต่อไปนี้ [ 17 ] เรารูปแบบไวยากรณ์ความหมายบริบทของเราเป็นแบบฟรีไวยากรณ์ [ 1 ] เติมกับแคลคูลัสแลมบ์ดานิพจน์ ( _ - scfg ) _ - ของเรากฎ scfg กำหนดสอง " ซิง " ต้นไม้ที่ได้มาจากสัญลักษณ์เริ่มต้นเดียวกันS . ผลผลิตของต้นไม้ต้นแรกคือ ภาษาธรรมชาติ และผลผลิตของต้นที่สองเป็นภาษาที่เป็นทางการแสดงความหมายของภาษาธรรมชาติ ผลผลิตของต้นแรก ความต้องการของตัวแปรในสูตรที่มีความหมายการศึกษาการใช้ _ การแสดงออกและเปิด ( เล็กน้อย ) มีความซับซ้อนของความคิดสิ่งที่ทำให้เป็นสองต้นและผลผลิตจะถูกคำนวณจากล่างขึ้นบน และเกี่ยวข้องกับการดำเนินงานลดและรู้จักกันดี อัลฟ่าเบต้าของแลมด้าแคลคูลัสอย่างเป็นทางการ แต่ละ _ - scfg กฎมีแบบฟอร์ม :A → keyboard - key - name h_ _x1 _xk_i , , , ( 1 ) . . . . . . .ที่เป็นสถานีเดียวไม่มีสัญลักษณ์และ _ เป็นลำดับ และ nonterminal เทอร์มินัลสัญลักษณ์ที่ขั้วคำหรือลำดับคำ ในธรรมชาติภาษา _ ประกอบด้วยลำดับของขั้ว ขั้วไม่เป็นทางการและอาร์กิวเมนต์เงื่อนไขที่ประกอบด้วยอาร์กิวเมนต์ x1 , . . . , XK . เราว่าเขียนที่นี่ เพราะในทางตรงกันข้ามกับ [ 17 ] เราจะในเวลาที่ผ่านฟังก์ชั่นแลมบ์ดาเป็นอาร์กิวเมนต์ ในกรณีดังกล่าว ให้เราใช้สัญลักษณ์ Fi ในสถานที่ของ Xi อาคารผู้โดยสารภายใน_ ประกอบด้วยวัตถุดิบที่ใช้เพื่อสร้างการแสดงออกอย่างเป็นทางการ ใช้แต่ละของไม่ _ เทอร์มินัลสัญลักษณ์ที่อยู่คู่กับการใช้สัญลักษณ์เดียวกันใน _ ( และในทางกลับกัน ) ในกรณีที่มีหลายการใช้สถานีเดียวกันใน _ ปลอด ,หนึ่งจะต้องมีเงื่อนไขระบุว่าดัชนีไม่สอดคล้องใน _ เทอร์มินัลซึ่งใน _ . กระดาษ [ 17 ] ให้คุณสมบัติที่สมบูรณ์มากขึ้นอย่างไรเช่น _ - กฎ scfg ใช้แปลเป็นภาษาธรรมชาตินำเข้าอย่างเป็นทางการความหมายของการแสดงออก