We introduce in this paper a certai

We introduce in this paper a certain mathematical model of information storage and retrieval system. This is based on a certain family of languages intermediate between sentential and predicate calculi. To each language there is a corresponding semantics. We investigate our languages from the logical point of view showing their completeness. This is done by exhibiting nice and natural sets of axioms for the i.s.r. systems. The class of models for our languages is then examined by the algebraical means. We introduce our algebraical operations in such a way that they correspond to the actions performed while updating the system (in various ways). We also examine the boolean algebra of describable sets (of documents). Having done all this we propose a new implementational algorithm for the i.s.r. systems based on the form of atoms in the boolean algebra of describable sets. In the appendix we show how to compute the code numbers of these atoms (called generalized components). Let us also note that the class of queries relevant to the system is quite rich in our case; we are not only able to ask questions of the form “what are the documents fitting the following description”, but we may also ask certain general questions on the system as a whole.

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

เราแนะนำในเอกสารนี้เป็นบางแบบจำลองทางคณิตศาสตร์ของระบบและเก็บข้อมูล นี้อยู่ในตระกูลภาษากลางระหว่าง sentential และเพรดิเคต calculi แต่ละภาษา มีความหมายสอดคล้องกัน เราตรวจสอบภาษาของเราจากตรรกะมองแสดงความสมบูรณ์ของพวกเขา สิ่งนี้ทำ โดยชุดสัจพจน์ในระบบ i.s.r. ดี และเป็นธรรมชาติอย่างมีระดับ ระดับชั้นของแบบจำลองสำหรับภาษาของเรานั้นได้รับการตรวจสอบ โดยวิธี algebraical เราแนะนำการดำเนินงานของ algebraical ด้วยวิธีที่พวกเขาสอดคล้องกับการดำเนินการที่ดำเนินการขณะกำลังปรับปรุงระบบ (ในรูปแบบต่าง ๆ) นอกจากนี้เรายังตรวจสอบพีชคณิตบูลีน describable ชุด (เอกสาร) มีทำทั้งหมดนี้เรานำเสนอขั้นตอนวิธี implementational ใหม่สำหรับระบบ i.s.r. ตามแบบของอะตอมในพีชคณิตบูลีนชุด describable ในภาคผนวกเราแสดงวิธีการคำนวณหมายเลขรหัสของอะตอมเหล่านี้ (เรียกว่าคอมโพเนนต์เมจแบบทั่วไป) เรายังทราบว่า ระดับของแบบสอบถามที่เกี่ยวข้องกับระบบค่อนข้างรวยในกรณี เราไม่เพียงสามารถถามคำถามแบบ "เอกสารคืออะไรพอดีคำอธิบายต่อไปนี้", แต่นอกจากนี้เรายังอาจถามคำถามทั่วไปบางอย่างบนระบบทั้งหมด

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

เราแนะนำในบทความนี้แบบจำลองทางคณิตศาสตร์บางอย่างของการจัดเก็บข้อมูลและระบบการดึง นี้จะขึ้นอยู่กับครอบครัวบางอย่างของภาษากลางระหว่าง sentential และวินิจฉัยนิ่ว เพื่อให้แต่ละภาษามีความหมายที่สอดคล้อง เราจะตรวจสอบภาษาของเราจากจุดตรรกะของมุมมองของพวกเขาแสดงให้เห็นถึงความสมบูรณ์ นี้จะกระทำโดยการแสดงชุดที่ดีและธรรมชาติของสัจพจน์สำหรับระบบ ISR ชั้นเรียนของรุ่นสำหรับภาษาของเราคือการตรวจสอบแล้วโดยวิธี algebraical เราแนะนำการดำเนินงาน algebraical ของเราในลักษณะที่ว่าพวกเขาสอดคล้องกับการดำเนินการดำเนินการขณะที่การปรับปรุงระบบ (ในรูปแบบต่างๆ) นอกจากนี้เรายังตรวจสอบพีชคณิตบูลีนของชุดพรรณนา (เอกสาร) มีการกระทำทั้งหมดนี้เรานำเสนอขั้นตอนวิธี implementational ใหม่สำหรับระบบ ISR ขึ้นอยู่กับรูปแบบของอะตอมในพีชคณิตบูลีนของชุดพรรณนา ในภาคผนวกที่เราแสดงให้เห็นว่าการคำนวณตัวเลขรหัสของอะตอมเหล่านี้ (เรียกว่าส่วนประกอบทั่วไป) ขอให้เรายังทราบว่าชั้นเรียนของคำสั่งที่เกี่ยวข้องกับระบบที่ค่อนข้างอุดมไปด้วยในกรณีของเรา; เราไม่เพียง แต่สามารถที่จะถามคำถามของแบบฟอร์ม "สิ่งที่เป็นเอกสารที่เหมาะสมรายละเอียดต่อไป" แต่เรายังอาจจะถามคำถามบางอย่างในระบบโดยรวม

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

เราแนะนำในกระดาษนี้เป็นแบบจำลองที่แน่นอนของระบบการจัดเก็บและค้นคืนสารสนเทศ นี้จะขึ้นอยู่กับครอบครัวหนึ่งของภาษาระดับกลางและระหว่าง sentential ภาคแสดงนิ่ว . แต่ละภาษามีสอดคล้องกันอรรถศาสตร์ เราศึกษาภาษาของเราจากมุมมองทางตรรกะที่แสดงความสมบูรณ์ของพวกเขานี้จะกระทำโดยจัดแสดงที่ดีและชุดธรรมชาติของสัจพจน์สำหรับ i.s.r. ระบบ ห้องของรุ่นสำหรับภาษาของเรา แล้วทดสอบโดยวิธีพีชคณิต . เราแนะนำการดำเนินการพีชคณิตของเราในลักษณะที่สอดคล้องกับการกระทำดำเนินการในขณะที่การปรับปรุงระบบ ( ในรูปแบบต่างๆ ) นอกจากนี้เรายังตรวจสอบตรรกะพีชคณิตของเซตบอก ( เอกสาร )ที่ทำทั้งหมดนี้ได้เสนอขั้นตอนวิธีการใหม่ในด้านต่าง ๆ i.s.r. ระบบขึ้นอยู่กับรูปแบบของอะตอมในพีชคณิตบูลีนชุดบอก . ในภาคผนวกเราจะแสดงวิธีการคำนวณรหัส ตัวเลขของอะตอมเหล่านี้ ( เรียกว่ากราฟประกอบ ) แจ้งให้เราทราบว่าระดับของแบบสอบถามที่เกี่ยวข้องกับระบบค่อนข้างรวย ในกรณีของเราเราไม่เพียง แต่สามารถที่จะถามคำถามของแบบฟอร์ม " อะไรคือเอกสารที่เหมาะสมอธิบาย " ต่อไป แต่เราอาจถามคำถามบางอย่างทั่วไปในระบบโดยรวม