Şematik muhakeme - Diagrammatic reasoning

Chrétien Frédéric Guillaume Roth tarafından Diderot & d'Alembert Encyclopédie sonra Bir Bilgi Ağacı, ayrıntılı
Bilgi haritalama
Konular ve alanlar
Düğüm-link yaklaşımlar
Ayrıca bakınız

Diyagram akıl olan akıl vasıtasıyla görsel gösterimler . Çalışma şematik akıl kullanımı ile görsel kavramların ve fikirlerin anlayışı, ilgili şemalar ve görüntülerinin yerine göre dilsel veya cebirsel yollarla.

Diyagram

Bir diyagramı 2B geometrik sembolik temsili bir bilgi bazı uygun görselleştirme tekniği. Bazen teknik kullanır 3D sonra bir görselleştirme yansıtılan 2D yüzeyine. Sağduyu terimi diyagramı iki anlama gelebilir.

Numune akış şeması temsil karar sürecinin Vikipedi'ye yeni bir makale eklemek için.
  • Görsel bilgi cihazı : şekliyle "gibi gösterim " şeması dahil olmak üzere teknik türler, bütün sınıf için duran bir ortak bir terim olarak kullanılır grafikler , teknik çizimlere ve tablo .
  • görsel ekran spesifik tür : Sadece tür, bu çizgiler, oklar, ya da diğer görsel bağlantılar vasıtası ile bağlanmıştır şekillerle niteliksel verileri gösterir.

Bilimde terimi iki şekilde kullanılır. Örneğin, (1997) Anderson daha genel "diyagramlar, bilgi gösterimi ve resimsel, henüz soyut belirtilen haritalar , doğru grafikleri , çubuk grafikler , mühendislik planları ve mimarların ' skeçler fotoğraf ve videoda olmayan, oysa diyagramlar her örnekleridir ". Öte yandan, Lowe (1993) olarak özellikle diyagramlar "temsil ettikleri konunun soyut grafik portreler" tanımladı.

Belirli anlamda şemalar ve grafikler kontrast olarak bilgisayar grafikleri , teknik çizimler, Infographics , haritalar ve teknik çizimler "soyut ziyade göstererek, edebi bilgilerin temsillerini". Bir diyagramın esans olarak görülebilir:

  • bir şekilde görsel biçimlendirme cihazları
  • Bir ekran göstermiyor nicel veriler , daha ziyade ilişkiler ve soyut bilgi
  • ile yapı blokları , örneğin ile bağlanır geometrik şekiller çizgiler , oklar , ya da diğer görsel bağlantılar.

Bert S. Hall yazdığı gibi Ya da "diyagramlar temel anlam iletmek için tasarlanan basitleştirilmiş rakamlar, bir bakıma karikatürleri oluşturuyor." Göre Jan V. Beyaz (1984) "İyi bir diyagram özellikleri şıklık, berraklık, kolaylığı, desen, basitlik ve geçerliliği olan". White için Elegance ne şemada görüyoruz "bir soruna basit ve en uydurma çözüm" olduğu anlamına gelir.

Mantıksal grafik

Bir mantıksal grafik özel bir türüdür grafiktir-teorik grafik çeşitli sistemlerin herhangi birinde yapı sözdizimi Charles Sanders Peirce için geliştirilmiş mantık .

İlgili yazılarında nitel mantık , entitative grafikler ve varoluşsal grafikler , Peirce bir grafik birkaç versiyonunu geliştirdi formalizmine veya grafik-teorik biçimsel dil mantık için okunabilecek tarzda dizayn.

Peirce gelişme bu çizgi tarafından başlatılan yana yüzyılda, resmi çeşitli sistemler soyut grafiktir teorisi yapıların aynı biçimsel nokta ne dallı var.

Kavramsal grafik

Bir kavramsal grafiği (CG) dayalı mantık bir notasyondur varoluşsal grafikler arasında Charles Sanders Peirce ve anlamsal ağlar arasında yapay zeka . Kavramsal grafikler ilk yayınlanmış yazıda, John f Sowa temsil bunları kullanılan kavramsal şemaları veritabanı sistemlerinde uygulanabilir. İlk kitabı yapay zeka, bilgisayar bilimi ve bilişsel bilimlerde geniş bir konu yelpazesine onları uyguladı. Doğrusal bir notasyonu olarak adlandırılan Kavramsal Grafik Değişim Biçimi (CGIF) ISO standardı olarak standardize edilmiştir, Ortak Logic .

Elsie kedi bir hasır üzerinde oturuyor

Şemada verilen bir örnek görüntüleme şeklinde kavramsal grafik için. Her bir kutu olarak adlandırılan bir kavram düğümü ve her oval bir adlandırılır ilişki düğümü . CGIF, bu CG aşağıdaki ifadeyi temsil edilecekti:

[Kedi Elsie] [oturan * x] [Mat * y] (ajan, x Elsie) (yer? X? Y)

CGIF, konsollar kavramı düğümleri içinde bilgi içine ve parantez ilişki düğümleri içinde bilgi içine alın. Adlandırılır harfler x ve y, coreference etiketler , kavramı ve ilişki düğümleri nasıl bağlanacağını göstermektedir. In Ortak Mantık Değişim Biçimi (Clif) , bu harflerin şu açıklamada olduğu gibi, değişkenler eşlenir:

(Mevcuttur ((Oturan) (y Mat)) (ve (Kat Elsie) (madde Elsie'yi x x) (yer xy)))

Bu örneğin de gösterdiği gibi, CGIF haritası coreference etiketleri * x ve y * üzerinde yıldız için varoluşsal niceliksel Clif değişkenleri ve soru işaretleri üzerinde? X ve? Y Clif içerisinde bağlı değişkenler eşlenir. Temsil edilen bir genel niceleyici, her * z @ CGIF olarak, temsil edilen (z) forall'dır clif içinde.

Entitative grafik

Bir entitative grafiği bir unsurdur grafiksel sözdizimi için mantık Charles Sanders Peirce adı altında geliştirilen nitel mantık kapsama alarak 1880'lerde başlayan formalizmin sadece kadarıyla önermeler ya cümlesel mantığının yönden de.

Sözdizimi geçerli:

  • boş sayfa;
  • Tek harfler, deyimler;
  • Bir çevrelediği Nesneler (subgraphs) basit kapalı eğri olarak adlandırılan kesik . Bir kesim boş olabilir.

Semantik şunlardır:

  • Boş sayfa gösterir Yanlış ;
  • Harfler, deyimler, subgraphs ve tüm grafikleri olabilir True' ya Yanlış ;
  • Bir kesim Boole eşdeğerdir nesneleri çevreleyen için tamamlama . Bu nedenle, bir boş kesim belirtmektedir Doğruluk ;
  • Belirli bir kesim içindeki tüm nesneler zımnen ile birleştirilir disjunction .

Grafiği boş kesim veya boş sayfa inene kadar bir "kanıt", kuralların kısa listesini kullanarak, bir grafik manipüle eder. Böylece azaltılabilir bir grafik artık adlandırılan olan gereksiz tekrar (ya da bunların tamamlayıcı). Belli bir noktanın ötesinde basitleştirilmiş edilemez Grafikler benzerleri, karşılanabilir formüller arasında birinci dereceden mantık .

Varolus grafik

Bir varoluş grafik türüdür diyagram tarafından önerilen mantıksal ifadelerin, veya görsel gösterim Charles Sanders Peirce üzerine ilk kağıt yazdım, grafik mantık 1882 ve ölümüne kadar yöntemi geliştirmeye devam 1914 Peirce içinde varoluş grafikler üç sistemleri önerilmiştir :

Alfa yuva- beta ve gamma . Beta içinde yuva yapmaz gamma , hatta Peirce öngörebilir olmasının ötesinde bir modal mantık sayısal.

Alfa Grafikleri

Olarak alfa dizimi olan:

  • boş sayfa;
  • Tek harf veya sayfa üzerinde herhangi bir yazılı ifadeler;
  • Bir kısmen hava geçiren, herhangi bir grafik basit kapalı eğri olarak adlandırılan kesik veya sep . Bir kesim boş olabilir. Keser geçmek ve iradesiyle bitiştirmek, ancak kesişen etmemelidir.

Bir grafik bir iyi biçimli parçası olduğu alt grafiğinin .

Semantik şunlardır:

  • Boş sayfa gösterir Gerçeği ;
  • Harfler, deyimler, subgraphs ve tüm grafikleri olabilir Doğru veya Yanlış ;
  • Bir kesite sahip bir alt grafiğinin mantıksal eşdeğerdir içine için olumsuzluk veya Boolean tamamlama . Bu nedenle, bir boş kesim belirtmektedir yanlış ;
  • Belirli bir kesim içindeki tüm subgraphs zımnen vardır yapışık .

Bu nedenle a grafikleri için minimalist gösterim olan cümlesel mantık ifade edici yeterliliği topraklı, ve ve yok . Alfa grafikleri bir radikali bir basitleştirme teşkil iki eleman Boole cebri ve gerçek funktorlar .

Characteristica universalis

Characteristica universalis yaygın olarak yorumlanır, evrensel karakteristiği veya evrensel karakteri İngilizce, Alman filozof tarafından hayal evrensel ve resmi dildir Gottfried Leibniz , matematiksel, bilimsel ve metafizik kavramları ifade edebilirler. Leibniz evrensel bir mantıksal bir hesaplama çerçevesinde kullanılabilen bir dil oluşturmak için umut taşı ratiocinator .

Leibniz'in şematik muhakeme.

Yana characteristica universalis şematik olup istihdam piktogramlarını (sol altta), Leibniz'in çalışmaları emri yakın çalışmaya diyagramları. En az iki olayda, Leibniz şemalar ile yaptığı felsefi akıl resimli. Bir diyagramı, onun 1666 cephe de arte Combinatoria (Kombinasyonlarının Art üzerinde), tüm malzeme şeyler elemanları toprak, su, hava, ve yangın kombinasyonlarından oluşan nasıl Aristocu teori temsil eder.

Leibniz'in Piktogramların temel unsurları.

Bu dört unsur (sağdaki resme bakın) bir elmas dört köşesine oluşturuyor. Bu çiftlerinin "zıtlık" (toprak-hava, yangın su) etiketli bir bar ile birleştirilir. üst üste karenin dört köşe de elemanlarını belirleyen dört niteliklerdir. Bunların her biri, bitişik çifti "olası kombinasyon" etiketli bir çubukla birleştirilmektedir; Onları birleştiren diyagonallere "imkansız kombinasyonu." etiketli en başlayarak, yangın kuruyana ve ısı ile elde edilmekte olup; Islaklık ve ısı, hava; soğukluk ve ıslaklık su; soğukluk ve kuruyana topraklama.

Venn II mantık sistemi

1990'ların başında Sun-Joo Shin Venn-II olarak adlandırılan Varoluşçu Grafikleri bir uzantısı sundu. Söz dizimi ve semantik birlikte bir dizi, resmen verilir Dönüşümün Kuralları ses ve eksiksiz olması gösterilmiştir. Kanıtlar (kaldırmak veya veya diyagramlarından sözdizimsel elemanları eklemek) sırayla kuralları uygulanarak devam edin. Venn-II birinci dereceden tekil dile anlatım gücü eşdeğerdir.

Ayrıca bakınız

Referanslar

daha fazla okuma

Dış bağlantılar