Computational situation theory with BABY-SIT
BABY-SIT'le hesapsal durum kuramı
- Tez No: 46016
- Danışmanlar: PROF.DR. VAROL AKMAN
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: durum kuramı ve durum anlambilimi, durum şemaları, kalıtım, ileriye ve geriye doğru çıkarım, tekdüze olmayan çıkarım, anafora, sözdizimsel ve anlambilimsel alanlar, BABY-SIT, PROSIT, ASTL, Dil bilim, Durum teorisi, situation theory and situation semantics, situation schemata, inher itance, forward and backward reasoning, nonmonotonic reasoning, anaphora, syntactic and semantic domains, BABY-SIT, PROSIT, ASTL IV, Linguistics, Situational theory
- Yıl: 1995
- Dil: İngilizce
- Üniversite: İhsan Doğramacı Bilkent Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
ÖZET BABY-SIT'LE HESAPSAL DURUM KURAMI Erkan Tın Bilgisayar ve Enformatik Mühendisliği, Doktora Danışman: Prof. Dr. Varol Akman Aralık, 1995 Dil günlük deneyimlerimizin bütünleşik bir parçasını oluşturmakta ve konuşma, dinleme, okuma ve yazma gibi durumsal etkinlikleri içermektedir. Bu etkin likler, durumlar içerisinde gerçekleştiklerinden ve durumları ilgilendirdik lerinden dolayı durumsaldırlar. Diğer yandan, bunların asıl işlevi bilgi taşımaktır. Bu görüş çerçevesinde, yaklaşık son on yıldır durum kuramı geliştirilmiş ve bu kuramın çeşitli uyarlamaları birtakım dilbilim sorunlarına uygulanmıştır. Fakat kuramın hesapsal yönleri ile ilgili pek bir çalışma yapılmamıştır. 'Hesapsal durum kuramı 'na halihazırda varolan yaklaşımlar durum kuramının özgün niteliklerinin sadece bir kısmını içermekte ve böylece kuramın varlıkbiliminden kavramsal ve felsefi uzaklaşma göstermektedir. Bu tez, durum kuramının temellerini ve varlıkbilimsel özelliklerini benimseyen hesapsal bir kuram sunmaktadır. Önerilen hesapsal temel üzerine kuru lan ve BABY-SIT adı verilen ortam tanımlanmakta ve bu ortamın yapıları biçimsel olarak tanımlanmaktadır. BABY-SIT'in özellikleri halihazırda varolan yaklaşımların özellikleri ile karşılaştırılmaktadır. BABY-SIT'in uygun bir or tam olduğunu göstermek amacı ile yapay zeka alanından bazı örnekler ver ilmektedir. BABY-SIT için dilbilimsel bir deney alanı olarak seçilen Türkçe'de anaforanın çözümlenmesi de gösterilmektedir.
Özet (Çeviri)
ABSTRACT COMPUTATIONAL SITUATION THEORY WITH BABY-SIT Erkan Tın Ph.D. in Computer Engineering and Information Science Advisor: Prof. Varol Akman December, 1995 Language is an integral part of our everyday experience and encompasses situ ated activities such as talking, listening, reading, and writing. These activities are situated because they occur in situations and they are about situations. Their primary function, on the other hand, is to convey information. With this vision, situation theory has been developed over the last decade or so and various versions of the theory have been applied to a number of linguistic is sues. However, not much work has been done in regard to its computational aspects. Existing approaches towards 'computational situation theory' incor porate only some of the original features of situation theory and hence show conceptual and philosophical divergence from its ontology. This thesis presents a computational account of situation theory that embodies the essentials of the theory and adopts its ontological features. A medium (called BABY-SIT) which is based on the proposed computational foundation is described and its constructs are formally defined. The features of BABY-SIT are compared to those of the existing approaches. In order to demonstrate the appropriateness of BABY-SIT, some examples from the domain of artificial intelligence are given. Resolution of pronominal anaphora in Turkish, which has been chosen as a linguistic test-bed for BABY-SIT, is also demonstrated.
Benzer Tezler
- Zamana bağlı trafik akışının modellenmesi ve dinamik yöneltme
Başlık çevirisi yok
NECMETTİN ÇEKMECE
Yüksek Lisans
Türkçe
1992
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. GÜNSEL DURUSOY
- Vektör kontrollü yöntemi ile denetime yönelik bir asenkron makina modeli
An Induction machine model for vector control methods
CEM TOLGA DURAK
Yüksek Lisans
Türkçe
1995
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiPROF.DR. ATİLLA BİR
- Gemi pervanesi performans karakteristiklerinin lineer olmayan kanat elemanı momentum teorisi ve hesaplamalı akışkanlar dinamiği yöntemleriyle incelenmesi
Investigation of marine propeller performance characteristic with nonlinear blade element momentum theory and computational fluid dynamics methods
AHMET SOYDAN
Yüksek Lisans
Türkçe
2018
Gemi Mühendisliğiİstanbul Teknik ÜniversitesiGemi İnşaatı ve Gemi Makineleri Mühendisliği Ana Bilim Dalı
PROF. DR. ŞAKİR BAL
- Lise modern fizik ünitesine yönelik 7E öğretim modeline uygun tasarlanan materyalin etkisinin incelenmesi
Investigation effectiveness of designed material for modern physics unit of high school education in accordance with 7E teaching model
GÜNAY PALİÇ ŞADOĞLU
Doktora
Türkçe
2014
Eğitim ve ÖğretimKaradeniz Teknik ÜniversitesiOrtaöğretim Fen ve Matematik Alanlar Eğitimi Ana Bilim Dalı
PROF. DR. ALİ RIZA AKDENİZ
- Renovation of oligopoly theory in the light of algorithmic strategic decision-making: A case study for Turkish cement industry
Oligopol teorisinin algoritma bazlı stratejik kararlar ışığında yenilenmesi: Türkiye çimento endüstrisi için bir vaka çalışması
YALÇINER YALÇIN
