จอร์จ ก็อตต์ล็อบ
จอร์จ ก็อตต์ล็อบ | |
|---|---|
| เกิด | ( 1956-06-30 ) 30 มิถุนายน 1956 [ 1 ] เวียนนาประเทศออสเตรีย |
| อัลมา มัธยฐาน | มหาวิทยาลัยเทคโนโลยีเวียนนา |
| รางวัล |
|
| เส้นทางอาชีพด้านวิทยาศาสตร์ | |
| ฟิลด์ | |
| สถาบันต่างๆ | |
| วิทยานิพนธ์ | Mehrwertige Logik – Aufbau und Anwendung ใน der Informatik (1981) |
| เคิร์ต คริสเตียน[ 5 ] | |
นักศึกษาปริญญาเอก | |
| เว็บไซต์ | cs |
Georg Gottlob FRSเป็นนักวิทยาศาสตร์คอมพิวเตอร์ชาวออสเตรีย-อิตาลีที่ทำงานในด้านทฤษฎีฐานข้อมูลตรรกศาสตร์และปัญญาประดิษฐ์และเป็นศาสตราจารย์ด้านสารสนเทศศาสตร์ที่มหาวิทยาลัยคาลาเบรียเขาเคยเป็นศาสตราจารย์ที่มหาวิทยาลัยออกซ์ฟอร์ด[ 4 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ]
การศึกษา
ก็อตต์ล็อบสำเร็จการศึกษาระดับปริญญาตรีและปริญญาเอกสาขาวิทยาการคอมพิวเตอร์จากมหาวิทยาลัยเทคโนโลยีเวียนนาในปี 1981
อาชีพและการวิจัย
ปัจจุบัน Gottlob ดำรงตำแหน่งศาสตราจารย์ประจำที่มหาวิทยาลัย Calabriaในอิตาลี ซึ่งเขาเข้าร่วมในปี 2023 เนื่องจาก "ทีมที่ยอดเยี่ยมและศักยภาพที่ยิ่งใหญ่" [ 14 ] [ 15 ]ก่อนหน้านั้น เขาเป็นศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่ภาควิชาวิทยาการคอมพิวเตอร์ มหาวิทยาลัยอ็อกซ์ฟอร์ดซึ่งเขาได้ช่วยก่อตั้งกลุ่มวิจัยระบบสารสนเทศ นอกจากนี้เขายังเป็น Fellow ของSt John's College, Oxford อีกด้วย ก่อนหน้านี้ เขาเป็นศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่มหาวิทยาลัยเทคโนโลยีเวียนนาซึ่งเขายังคงดำรงตำแหน่งผู้ช่วยศาสตราจารย์อยู่ เขาได้รับเลือกเป็นสมาชิกของRoyal Societyในเดือนพฤษภาคม 2010 [ 3 ]เขาเป็นสมาชิกผู้ก่อตั้งของOxford-Man Institute
เขาได้ตีพิมพ์บทความทางวิทยาศาสตร์มากกว่า 250 บทความในสาขาตรรกศาสตร์เชิงคำนวณทฤษฎีฐานข้อมูลและปัญญาประดิษฐ์รวมถึงตำราเรียนหนึ่งเล่มเกี่ยวกับการเขียนโปรแกรมเชิงตรรกะและฐานข้อมูล[ 16 ]
ในด้านปัญญาประดิษฐ์เขาเป็นที่รู้จักดีที่สุดจากผลงานในช่วงแรกที่มีอิทธิพลต่อความซับซ้อนของตรรกะที่ไม่เป็นไปตามลำดับ[ 17 ] [ 18 ]และการแยกส่วนไฮเปอร์ทรี (แบบทั่วไป) [ 19 ] [ 20 ]ซึ่งเป็นกรอบการทำงานสำหรับการได้มาซึ่งคลาสโครงสร้างที่จัดการได้ของ ปัญหา ความพึงพอใจของข้อจำกัดและการวางนัยทั่วไปของแนวคิดการแยกส่วนต้นไม้จากทฤษฎีกราฟงานนี้ยังมีผลกระทบอย่างมากในทฤษฎีฐานข้อมูล เนื่องจากเป็นที่ทราบกันดีว่าปัญหาของการประเมินแบบสอบถามแบบเชื่อมโยงบนฐานข้อมูลเชิงสัมพันธ์นั้นเทียบเท่ากับปัญหาความพึงพอใจของข้อจำกัด[ 21 ]งานของเขาเกี่ยวกับภาษาแบบสอบถามXML (โดยเฉพาะXPath ) ได้ช่วยสร้างรากฐานทางทฤษฎีความซับซ้อนของสาขานี้[ 22 ] [ 23 ] [ 24 ]
รางวัลและเกียรติยศ
ก็อตต์ลอบได้รับรางวัลและเกียรติยศมากมาย รวมถึงการได้รับเลือกเข้าเป็นสมาชิกราชสมาคมในปี 2010 คำเสนอชื่อของเขาเข้าเป็นสมาชิกราชสมาคมมีดังนี้:
Georg Gottlob ได้มีส่วนสำคัญอย่างยิ่งต่อทั้งปัญญาประดิษฐ์และระบบฐานข้อมูล งานวิจัยของเขามุ่งเน้นไปที่แง่มุมเชิงอัลกอริทึมและตรรกะของการแสดงความรู้ การสอบถามฐานข้อมูล และล่าสุดคือการประมวลผลข้อมูลเว็บ งานของเขาส่งผลให้เกิดการคิดค้นอัลกอริทึมที่มีประสิทธิภาพหลายอย่างสำหรับการแก้ปัญหาข้อจำกัดการดึงข้อมูลเว็บ และการประมวลผลการสอบถาม ฐานข้อมูล ซึ่งบางส่วนกำลังถูกนำไปใช้อย่างแพร่หลาย เขาได้พัฒนาแกนหลักร่วมกันสำหรับหลักการพื้นฐานของปัญญาประดิษฐ์และฐานข้อมูล ในงานของเขาเกี่ยวกับการชี้แจงความซับซ้อนที่แท้จริงของปัญหาในด้านเหล่านี้ Gottlob ได้แก้ปัญหาที่ยังเปิดอยู่ในการคำนวณตรรกะ การให้เหตุผลที่ไม่เป็นไปตามลำดับและทฤษฎีฐานข้อมูล[ 25 ]
กอตต์ล็อบยังได้รับการแต่งตั้งให้เป็นสมาชิกกิตติมศักดิ์ของ ECCAI อีกด้วยในปี 2002 และได้รับปริญญาดุษฎีบัณฑิตกิตติมศักดิ์จากมหาวิทยาลัยคลาเกนฟูร์ท (2016) และมหาวิทยาลัยเวียนนา (2020)