Semantic Web refers to a Web of int

Semantic Web refers to a Web of interconnected data enriched with semantics. It subscribes to logic-based representations of knowledge through W3C standards such as the Resource Description Framework and the Web Ontology Language for encoding clear semantics. To date, knowledge representation however has been confined to descriptions of artifacts or data. We began the research reported here in pursuit of the inclusion of knowledge about physical processes and natural laws, into the Semantic Web. Such knowledge could then be combined with experimental data, for example, in a largely automated fashion, for new inferences. In this pursuit we explored the extensive research in the field of reasoning about actions and changes, and deduced that the (circumscriptive) Event Calculus is the most expressive logic-based formalism available for logic-based description of continuous-changes.
In this thesis we extend the Event Calculus formalism with new predicates for descriptions of discrete and continuous additive effects whose semantics are given via aggregate formulas in first-order logic. To the best of our knowledge this is the first application of aggregate formulas in first-order logic, even though aggregates have been in use in other logics such as answer-set programming. The frame problem is one of representing the effects of actions without explicitly representing all their non-effects. Nonmonotonic reasoning via circumscription is used in the Event Calculus as a solution to the frame problem. We show, however, that circumscription which was defined for first-order logic without aggregates is inadequate for modeling the frame problem in the extended Event Calculus if used as it is for formulas with aggregates, as it selects anomalous models.
We extend the circumscription transformation to first-order logic with aggregates, named the CIRCA transformation. CIRCA transformation is a generic transformation that addresses a general problem of identifying and not selecting unintended models, classified formally as weak models, that circumscription normally selects in the presence of aggregates. We deploy CIRCA transformation for resolving the frame problem in the extended Event Calculus.
Finally, we devise a method for constructing models for given, numerical, and finite Event Calculus domain descriptions, given an initial state and narratives of external actions. An Event Calculus system evolves through alternating phases of continuous changes and instantaneous discontinuous changes. The devised method involves separation of logic and equations reasoning through syntactic derivations of new axioms from the given domain descriptions, such that discontinuous changes, equations for trajectories of continuous changes, and mathematical conditions for next discontinuous changes are determined from logic reasoning while trajectories of continuous changes and the time for next discontinuous change are determined from equations reasoning. With this separation, the off-the-shelf logic reasoners and equation solvers can be combined to implement an automated model builder for the Event Calculus. We have implemented a prototypical reasoner using the DLVHEX logic reasoner and Mathematica libraries.
The results of this thesis may encourage the use of logic formalisms/systems for descriptions of dynamical systems with quantitative descriptions of continuous-changes. Additive effects are very common in concurrent systems, and the extended Event Calculus allows for general, concise and elaboration tolerant descriptions of them, which among other things makes the descriptions amicable to sharing, reuse, and modular development. The prototypical model-builder for the continuous-change Event Calculus formalism broadens its scope beyond theory, positioning it for use in practice. Finally, we hope that these are some crucial steps towards realizing a process modeling language for the Semantic Web alluded to in the beginning.

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

เว็บเชิงความหมายถึงเว็บข้อมูลมกราคมที่อุดมไป ด้วยความหมาย จะสมัครเป็นสมาชิกเพื่อใช้ตรรกะนำเสนอความรู้ผ่านมาตรฐาน W3C กรอบคำอธิบายทรัพยากรและภาษาภววิทยาเว็บสำหรับเข้ารหัสความหมายที่ชัดเจน วันที่ แสดงความรู้อย่างไรก็ตามมีการจำกัดคำอธิบายของวัตถุหรือข้อมูล เราเริ่มการวิจัยที่รายงานที่นี่แสวงหาการรวมความรู้เกี่ยวกับกระบวนการทางกายภาพและธรรมชาติกฎหมาย เป็นเว็บเชิงความหมาย ความรู้ดังกล่าวสามารถแล้วรวมกับข้อมูลทดลอง ตัวอย่าง แฟชั่นใหญ่อัตโนมัติ สำหรับ inferences ใหม่ ในการแสวงหานี้ เราสำรวจการวิจัยในด้านการใช้เหตุผลเกี่ยวกับการดำเนินการและการเปลี่ยนแปลง และ deduced ว่าแคลคูลัสเหตุการณ์ (circumscriptive) ที่แสดงออกมากที่สุดตามตรรกะ formalism หาตรรกะตามคำอธิบายของการเปลี่ยนแปลงอย่างต่อเนื่อง
ในวิทยานิพนธ์นี้ เราขยาย formalism แคลคูลัสเหตุการณ์กับเคตใหม่สำหรับคำอธิบายอย่างต่อเนื่อง และไม่ต่อเนื่องสามารถลักษณะพิเศษที่มีความหมายได้ผ่านสูตรรวมในใบสั่งแรกตรรกะ กับความรู้ของเรา นี้ได้แอพลิเคชันแรกของสูตรรวมตรรกะลำดับแรก แม้ว่าจะมีผลใช้ใน logics อื่น ๆ เช่นการเขียนโปรแกรมชุดคำตอบ ปัญหาเฟรมเป็นหนึ่งของการแสดงผลของการกระทำโดยตัวแทนทั้งหมดของพวกเขาไม่มีผลอย่างชัดเจน เหตุผล nonmonotonic ผ่าน circumscription ใช้ในแคลคูลัสเหตุการณ์เป็นการแก้ไขปัญหากรอบ เราแสดง อย่างไรก็ตาม ว่า circumscription ซึ่งถูกกำหนดไว้ในตรรกะใบสั่งแรกโดยไม่มีผล ไม่เพียงพอสำหรับสร้างโมเดลปัญหาเฟรมในแคลคูลัสเหตุการณ์เพิ่มเติมถ้าใช้มันเป็นสำหรับสูตรเพิ่ม เป็นมันเลือกรุ่น anomalous
เราขยายการตรรกะแรกสั่งกับผล ชื่อการแปลงเซอร์กา circumscription แปลง เซอร์กาเปลี่ยนแปลงเป็นการเปลี่ยนแปลงทั่วไปที่อยู่ระบุปัญหาทั่วไป และไม่ได้เลือกรูปแบบตั้งใจ อย่างเป็นกิจจะลักษณะเป็นรูปแบบอ่อน การจัดประเภท circumscription ที่ปกติเลือกในต่อหน้าของผล เราใช้เซอร์กาแปลงสำหรับแก้ปัญหากรอบในแคลคูลัสเหตุการณ์เพิ่มเติม
สุดท้าย เราประดิษฐ์วิธีการสร้างแบบจำลองสำหรับให้ ตัวเลข และจำกัดแคลคูลัสเหตุการณ์โดเมนคำอธิบาย สถานะการเริ่มต้นและ narratives การกระทำภายนอก ระบบเหตุการณ์แคลคูลัสการวิวัฒนาการผ่านสลับขั้นตอนของการเปลี่ยนแปลงอย่างต่อเนื่องและกำลังเปลี่ยนแปลงที่ไม่ต่อเนื่อง Devised วิธีเกี่ยวข้องกับการแยกของตรรกะและสมการด้านผ่านทางไวยากรณ์รากศัพท์สัจพจน์ใหม่จากคำอธิบายของโดเมนที่กำหนด เช่นว่าการเปลี่ยนแปลงที่ไม่ต่อเนื่อง สมการสำหรับ trajectories ของการเปลี่ยนแปลงอย่างต่อเนื่อง และมีกำหนดเงื่อนไขทางคณิตศาสตร์สำหรับการเปลี่ยนแปลงที่ไม่ต่อเนื่องถัดไปจากตรรกะการใช้เหตุผลขณะ trajectories ของการเปลี่ยนแปลงอย่างต่อเนื่อง และมีกำหนดเวลาสำหรับการเปลี่ยนแปลงที่ไม่ต่อเนื่องถัดไปจากสมการที่ใช้เหตุผล กับนี้แยก reasoners รูปตรรกะและที่กระฉับกระเฉงแก้สมการสามารถรวมการดำเนินการสร้างรูปแบบอัตโนมัติสำหรับแคลคูลัสเหตุการณ์ เราใช้แบบ reasoner prototypical reasoner DLVHEX ตรรกะและ Mathematica ไลบรารี
ผลของวิทยานิพนธ์นี้อาจสนับสนุนการใช้ตรรกะ formalisms/ระบบ สำหรับคำอธิบายของระบบ dynamical กับคำอธิบายเชิงปริมาณของการเปลี่ยนแปลงอย่างต่อเนื่อง ลักษณะพิเศษที่สามารถเป็นกันมากในระบบพร้อมกัน และแคลคูลัสเหตุการณ์เพิ่มเติมให้สำหรับทั่วไป กระชับ และทุก ๆ คำอธิบายป้องกันความผิดพลาดของพวกเขา ที่ต่าง ๆ ช่วยให้คำอธิบายที่มิตรร่วม นำ และพัฒนาโมดูลาร์ รุ่น prototypical-สร้างสำหรับ formalism แคลคูลัสเหตุการณ์เปลี่ยนแปลงอย่างต่อเนื่องแผ่กว้างขอบเขตของนอกเหนือจากทฤษฎี ตำแหน่งสำหรับใช้ในทางปฏิบัติ สุดท้าย เราหวังว่า นี่คือบางขั้นตอนที่สำคัญต่อการตระหนักถึงกระบวนการสร้างโมเดลภาษาสำหรับเว็บเชิงความหมาย alluded ไปในการเริ่มต้น

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

ความหมายของเว็บหมายถึงเว็บที่เชื่อมโยงข้อมูลที่อุดมไปด้วยความหมาย . ก็สมัครสมาชิกกับตรรกะที่ใช้เป็นตัวแทนของความรู้ผ่านมาตรฐาน W3C เช่น Resource Description Framework และเว็บภาษาอภิปรัชญาสำหรับการเข้ารหัสชัดเจนอรรถศาสตร์ วันที่ , การแสดงความรู้ แต่ต้องถูกกักตัวไว้ในคำอธิบายของสิ่งประดิษฐ์ หรือข้อมูลเราเริ่มการวิจัยที่รายงานนี้ในการแสวงหาการรวมของความรู้เกี่ยวกับกระบวนการทางกายภาพและกฎหมายธรรมชาติ ลงในเว็บทางความหมาย ความรู้ดังกล่าวอาจจะถูกรวมกับข้อมูลการทดลอง ตัวอย่างเช่น ในไปแบบอัตโนมัติ แฟชั่น สำหรับใช้ ใหม่ ในการแสวงหานี้เราสำรวจวิจัยอย่างกว้างขวางในด้านของการให้เหตุผลเกี่ยวกับการกระทำและการเปลี่ยนแปลงและการอนุมานว่า ( circumscriptive ) แคลคูลัสเหตุการณ์เป็นแบบตามตรรกะที่แสดงออกมากที่สุดของตรรกะที่ใช้อธิบายการเปลี่ยนแปลงอย่างต่อเนื่อง
ในวิทยานิพนธ์นี้เราขยายเหตุการณ์แคลคูลัสภาคแสดงใหม่แบบที่มีคำอธิบายแบบไม่ต่อเนื่องและต่อเนื่องเพิ่มผลกระทบที่มีความหมายจะได้รับผ่านการรวมสูตร - ลำดับตรรกะ .เพื่อที่ดีที่สุดของความรู้ของเรานี้เป็นโปรแกรมแรกของการรวมสูตรในตรรกศาสตร์ลำดับแรก แม้ว่ามวลรวมถูกใช้ในลักษณะอื่นๆ เช่น ตั้งค่าโปรแกรมตอบ กรอบเป็นอีกปัญหาหนึ่งของการแสดงผลของการกระทำ โดยไม่แสดงผลอย่างชัดเจน ไม่ทั้งหมดของพวกเขาเหตุผล nonmonotonic ผ่าน circumscription ใช้ในแคลคูลัสเหตุการณ์เป็นโซลูชั่นเพื่อกรอบปัญหา เราแสดง , อย่างไรก็ตาม , ที่ circumscription ซึ่งถูกกำหนดไว้ - ลำดับตรรกะโดยมวลรวมนั้นไม่เพียงพอสำหรับการแก้ปัญหาในกรอบขยายแคลคูลัสเหตุการณ์ ถ้าใช้มันเป็นสูตรที่มีมวลรวม มันเลือกแบบผิดปกติ
เราขยาย circumscription เปลี่ยนแปลง - ลำดับตรรกะกับมวลรวม ชื่อตอนแปลงร่าง เกี่ยวกับการแปลงเป็นทั่วไปการเปลี่ยนแปลงที่อยู่ปัญหาทั่วไปในการระบุและไม่เลือกแบบไม่ตั้งใจ จัดเป็นแบบอ่อน ที่ circumscription ปกติเลือกในการแสดงตนของมวลรวม .เราปรับประมาณการสำหรับการแก้ไขปัญหาอยู่ในกรอบของการขยายกิจกรรมแคลคูลัส
เราก็คิดวิธีสร้างแบบจำลองเพื่อให้ตัวเลขและวิธีแคลคูลัสเหตุการณ์โดเมนอธิบายให้เริ่มต้นเรื่องเล่าของรัฐและการกระทำภายนอก เหตุการณ์แคลคูลัสระบบวิวัฒนาการผ่านสลับขั้นตอนของการเปลี่ยนแปลงอย่างต่อเนื่องและรวดเร็วความเปลี่ยนแปลงที่เกี่ยวข้องกับการวางแผนวิธีการแยกของตรรกะและเหตุผลผ่านทาง derivations สมการของสัจพจน์ใหม่โดยกำหนดรายละเอียดโดเมน เช่น ความเปลี่ยนแปลงของวิถีการเปลี่ยนแปลงอย่างต่อเนื่องและเงื่อนไขทางคณิตศาสตร์สำหรับถัดไปไม่ต่อเนื่องการเปลี่ยนแปลงกำหนดจากการใช้เหตุผลตรรกะในขณะที่วิถีของการเปลี่ยนแปลงอย่างต่อเนื่องและเวลาสำหรับการเปลี่ยนแปลงที่ไม่ต่อเนื่องกันต่อไปจะพิจารณาจากสมการการใช้เหตุผล กับการแยกนี้ ปิดชั้นตรรกะ reasoners และสมการแก้สามารถรวมกันเพื่อใช้สร้างแบบอัตโนมัติสำหรับเหตุการณ์แคลคูลัสเราได้ใช้รีเซอเนอร์แบบใช้ตรรกะแบบ dlvhex รีเซอเนอร์และห้องสมุด .
ผลของวิทยานิพนธ์นี้จะสนับสนุนการใช้ตรรกะ formalisms / ระบบสำหรับคำอธิบายของระบบพลวัตที่มีคำอธิบายเชิงปริมาณของการเปลี่ยนแปลงอย่างต่อเนื่อง การบวกผลกระทบมีมากทั่วไปในระบบพร้อมกัน และขยายกิจกรรมแคลคูลัสช่วยทั่วไปรายละเอียดคำอธิบายที่กระชับ และความอดทนของพวกเขา ซึ่งในหมู่สิ่งอื่น ๆที่ทำให้คำอธิบายที่เป็นมิตรกับการใช้และการพัฒนาแบบแยกส่วน การสร้างโมเดลสำหรับการเปลี่ยนแปลงแบบต่อเนื่องแคลคูลัสเหตุการณ์แบบขยายขอบเขตเกินกว่าทฤษฎี การวางตำแหน่งเพื่อใช้ในการปฏิบัติงาน ในที่สุดเราหวังว่าเหล่านี้เป็นขั้นตอนสำคัญเพื่อให้บรรลุการสร้างแบบจำลองกระบวนการทางภาษาสำหรับเว็บความหมาย alluded เพื่อในการเริ่มต้น