Geri Dön

Computational situation theory with BABY-SIT

BABY-SIT'le hesapsal durum kuramı

  1. Tez No: 46016
  2. Yazar: ERKAN TIN
  3. Danışmanlar: PROF.DR. VAROL AKMAN
  4. Tez Türü: Doktora
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. 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
  7. Yıl: 1995
  8. Dil: İngilizce
  9. Üniversite: İhsan Doğramacı Bilkent Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. 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

  1. Tez No

    66398

    İmalat sistemlerinin tasarlanması ve öncelik kurallarının belirlenmesinde yapay sinir ağlarının kullanılması

    <the use of neural networks in determination of the manufacturing systems design and dispatching rules

    TARIK ÇAKAR

    Doktora

    Türkçe

    Türkçe

    1997

    İşletmeİstanbul Teknik Üniversitesi

    İşletme Mühendisliği Ana Bilim Dalı

    PROF. DR. AYHAN TORAMAN

  2. Tez No

    100704

    Yapay sinir ağları ile robotlarda hareket kontrolü

    Motion control of robots with artificial neural networks

    HAKAN ARSLAN

    Doktora

    Türkçe

    Türkçe

    1999

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    PROF.DR. AHMET KUZUCU

  3. Tez No

    46358

    Gezgin satıcı problemi

    Traveling salesman problem

    VOLKAN M. ÖZALP

    Yüksek Lisans

    Türkçe

    Türkçe

    1995

    Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

    DOÇ.DR. FÜSUN ÜLENGİN

  4. Tez No

    46411

    Uzman sistemler ve ulaştırma alanında kullanımları

    Expert systems and using them in transportation

    A.BURAK GÖKTEPE

    Yüksek Lisans

    Türkçe

    Türkçe

    1995

    İnşaat Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. HALUK GERÇEK

  5. Tez No

    55776

    Yatak katsayısı ve temel yapılarına uygulanması

    Başlık çevirisi yok

    İLKER N. DEVELİOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    1996

    İnşaat Mühendisliğiİstanbul Teknik Üniversitesi

    İnşaat Mühendisliği Ana Bilim Dalı

    DOÇ. DR. M. TUĞRUL ÖZKAN

Geri Dön