It is well known that a search engi

It is well known that a search engine can significantly benefit
from an auxiliary database, which can suggest interpretations
of the search query by means of the involved concepts
and their interrelationship. The difficulty is to translate abstract
notions like concept and interpretation into a concrete
search algorithm that operates over the auxiliary database.
To surpass existing heuristics, there is a need for a formal
basis, which is realized in this paper through the framework
of a search database system, where an interpretation is identified
as a parse. It is shown that the parses of a query can
be generated in polynomial time in the combined size of the
input and the output, even if parses are restricted to those
having a nonempty evaluation. Identifying that one parse
is more specific than another is important for ranking answers,
and this framework captures the precise semantics of
being more specific; moreover, performing this comparison
between parses is tractable. Lastly, the paper studies the
problem of finding the most specific parses. Unfortunately,
this problem turns out to be intractable in the general case.
However, under reasonable assumptions, the parses can be
enumerated in an order of decreasing specificity, with polynomial
delay and polynomial space.

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

มันเป็นที่รู้จักกันดีว่าเครื่องมือค้นหาจะได้รับประโยชน์อย่างมีนัยสำคัญ
จากฐานข้อมูลช่วยซึ่งสามารถแนะนำการตีความ
จากการค้นหาโดยวิธีการของแนวคิดที่เกี่ยวข้องและความสัมพันธ์
ของพวกเขา ความยากลำบากคือการแปลความคิด
นามธรรมเช่นแนวคิดและการตีความเป็นคอนกรีตวิธีการค้นหา
ที่ดำเนินผ่านฐานข้อมูลช่วย.
จะเกินการวิเคราะห์พฤติกรรมที่มีอยู่ไม่จำเป็นต้องมีพื้นฐาน
อย่างเป็นทางการซึ่งเป็นที่รับรู้ในกระดาษนี้ผ่านทาง
กรอบของระบบฐานข้อมูลการค้นหาที่หมายจะถูกระบุเป็น
เป็นแยก มันแสดงให้เห็นว่าจะแยกวิเคราะห์ของแบบสอบถามสามารถ
ถูกสร้างขึ้นในเวลาพหุนามในขนาดรวมของท่าน
และเอาท์พุทแม้ว่าจะแยกวิเคราะห์ถูก จำกัด ให้มีการประเมินผล
nonempty เหล่านั้น ระบุว่าหนึ่งแจง
คือเฉพาะเจาะจงมากขึ้นกว่าที่อื่นเป็นสิ่งสำคัญสำหรับการจัดอันดับคำตอบและ
กรอบนี้จับความหมายที่ถูกต้องของ
เป็นเฉพาะเจาะจงมากขึ้นนอกจากนั้นการแสดง
การเปรียบเทียบระหว่างนี้จะแยกวิเคราะห์เป็นซูฮก ท้ายกระดาษศึกษาปัญหา
ของการหาที่เฉพาะเจาะจงมากที่สุดจะแยกวิเคราะห์ โชคไม่ดี
ปัญหานี้จะเปิดออกจะยากในกรณีทั่วไป.
อย่างไรก็ตามภายใต้สมมติฐานที่สมเหตุสมผลแยกวิเคราะห์สามารถแจกแจง
เพื่อลดความจำเพาะกับพหุนามล่าช้า
และพื้นที่พหุนาม

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

เป็นที่รู้จักว่า เป็นโปรแกรมค้นหาได้รับประโยชน์อย่างมาก
จากฐานข้อมูลเสริม ซึ่งสามารถแนะนำตีความ
สอบถามค้นหาโดยใช้แนวคิดที่เกี่ยวข้อง
interrelationship ของพวกเขาและได้ ยากที่จะแปลบทคัดย่อ
กำลังชอบแนวคิดและตีความในคอนกรีต
อัลกอริทึมการค้นหาที่ดำเนินการผ่านการเสริมฐานการ
จะเกินลองผิดลองถูกอยู่ ไม่ต้องเป็นทางการ
พื้นฐาน ที่รับรู้ในเอกสารนี้ตามกรอบ
ค้นหาระบบฐานข้อมูล ซึ่งระบุความ
เป็นการแยก มันแสดงให้เห็นว่า parses ของแบบสอบถามสามารถ
สร้างได้ในเวลาโพลิโนเมียขนาดรวมของ
เข้าและออก แม้ว่า parses จะจำกัดผู้
มีประเมิน nonempty ระบุในการแยกวิเคราะห์ที่เดียว
โดยเฉพาะยิ่งกว่าอื่นเป็นสิ่งสำคัญสำหรับการจัดอันดับคำตอบ,
และกรอบนี้รวบรวมความหมายที่ชัดเจนของ
เฉพาะเจาะจงมากขึ้น นอกจากนี้ การเปรียบเทียบนี้
ระหว่าง parses เป็น tractable สุดท้ายนี้ ศึกษากระดาษ
ปัญหาค้นหา parses ส่วนใหญ่ อับ,
ปัญหานี้จะออกมาในทั่วไปกรณี intractable
ภายใต้สมมติฐานที่เหมาะสม อย่างไรก็ตาม parses สามารถ
ระบุในใบสั่งลด specificity กับพหุนาม
พื้นที่ล่าช้าและพหุนามได้

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

เป็นที่ทราบกันดีว่าเครื่องยนต์การค้นหาที่สามารถจะได้รับประโยชน์จากฐานข้อมูล
ซึ่งจะช่วยเสริมซึ่งสามารถขอแนะนำให้การแปล ภาษา
ซึ่งจะช่วยในการค้นหาคำถามโดยใช้ของแนวความคิดมีส่วนร่วม
และ interrelationship ของพวกเขา ความยากอยู่ในการแปลความคิดความเชื่อเกี่ยวกับความเป็นนามธรรม
ซึ่งจะช่วยเช่นการตีความและแนวความคิดไปในอัลกอริธึม
ซึ่งจะช่วยการค้นหาคอนกรีตซึ่งทำงานในฐานข้อมูลเสริม.
เพื่อแซงหน้า Heuristics ที่มีอยู่จำเป็นต้องมีสำหรับอย่างเป็นทางการ
ซึ่งจะช่วยเป็นพื้นฐานซึ่งเป็นตระหนักถึงในเอกสารนี้ผ่านกรอบ
ซึ่งจะช่วยในระบบฐานข้อมูลการค้นหาสถานที่ซึ่งการตีความที่มีการระบุเป็นแจง
ซึ่งจะช่วยให้ เป็นที่แสดงให้เห็นว่า parses ของการส่งคำถามที่สามารถ
ซึ่งจะช่วยจะถูกสร้างขึ้นในช่วงเวลา polynomial ในขนาดรวมของ
อินพุตและเอาต์พุตที่แม้ parses จะถูกจำกัดให้มีการประเมินผู้ที่
nonempty ที่ การระบุหนึ่งแจงว่า
ตามมาตรฐานเป็นมากขึ้นกว่าคนอื่นเป็นสิ่งสำคัญสำหรับคำตอบการจัดอันดับ
และกรอบความเปลี่ยนแปลงในความหมายของคำนี้สามารถจับได้อย่างแม่นยำของ
ซึ่งจะช่วยได้มากขึ้นนอกจากนี้ยังทำการเปรียบเทียบนี้ระหว่าง parses
ซึ่งจะช่วยเป็นว่านอนสอนง่าย. สุดท้ายคือกระดาษที่การศึกษา
ซึ่งจะช่วยแก้ปัญหาของการค้นหา parses เฉพาะที่มากที่สุด เป็นที่น่าเสียดายว่า
ปัญหานี้จะออกมาเป็นว่ายากในกรณีทั่วไป.
อย่างไรก็ตาม ภายใต้ สมมุติฐานที่เหมาะสมparses
ซึ่งจะช่วยให้สามารถระบุไว้ในการสั่งซื้อที่ลดลงของพวกเขาถกเถียงพร้อมด้วยพื้นที่ polynomial
และการหน่วงเวลา polynomial