Polski Serwis Naukowy - OnLine od 1999 roku
RSS
Czwartek, 24 maja 2012
Zula, Jan, Maria, Joanna
 1945: utworzono Uniwersytet Łódzki, Politechnikę Łódzką, Politechnikę Gdańską i Politechnikę Śląską
 1543: zmarł Mikołaj Kopernik, astronom polski
 1931: w Raszynie uruchomiona zostaje najsilniejsza w Europie stacja radiofoniczna (moc 120 kW), która swym zasięgiem obejmuje całą Polskę
Nowe publikacje
Dziewiąta międzynarodowa konferencja nt. formalnej analizy pojęć, Nikozja, Cypr
Dodano:
|24 Mar 2011|, 2011 17:26
|
|
|
W dniach od 2 do 6 maja 2011 r. w Nikozji, Cypr, odbędzie się dziewiąta międzynarodowa konferencja nt. formalnej analizy pojęć.
Początki formalnej analizy pojęć sięgają prób restrukturyzacji teorii krat w celu promowania lepszej komunikacji pomiędzy teoretykami a potencjalnymi użytkownikami teorii krat. Teoria krat zajmuje się badaniem zestawów obiektów (krat), w których każde dwa elementy posiadają supremum (najmniejsze górne ograniczenie elementu, zwane kresem górnym) oraz infimum (największe dolne ograniczenie, zwane kresem dolnym).
Formalna analiza pojęć stała się polem badawczym samym w sobie, którym zajmuje się stale rosnąca społeczność, z szybko rozszerzającym się zakresem zastosowań w przetwarzaniu informacji i wiedzy, jak np. w wizualizacji, analizie (przeszukiwaniu) danych czy zarządzaniu wiedzą.
Celem konferencji jest zgromadzenie razem naukowców i praktyków pracujących nad teoretycznymi lub stosowanymi aspektami formalnej analizy pojęć w powiązanych obszarach takich jak matematyka, informatyka, programowanie, lingwistyka, nauki przyrodnicze i nauki społeczne. Poruszane będą następujące tematy:
- teoria formalnej analizy pojęć;
- kreślenie krat;
- podstawy filozoficzne; - formalna analiz pojęć i logika;
- wiedza pojęciowa;
- grafy pojęć;
- analiza danych;
- formalna analiz pojęć i przeszukiwanie danych;
- reguły kojarzenia i przeszukiwanie schematów;
- analiza sieci społecznych;
- przeszukiwanie danych;
- algorytmy i teoria złożoności.
Za: CORDIS
Czy wiesz że...?
wersja BETA
Symbol terminalny w gramatyce formalnej symbol elementarny tworzący wyrazy języka formalnego. Symbole terminalne są znakami, które mogą pojawić się na wejściu lub wyjściu z reguł produkcji gramatyki formalnej. Symbol terminalny nie może być podzielony na mniejsze jednostki, lub ściślej: symbole terminalne nie mogą być zmieniane za pomocą reguł gramatyki formalnej, w odróżnieniu od symboli nieterminalnych.
pełny tekst
Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".
|
|
|
^ |
|
 |
|
Komentarze: brak |
|
Powered by
phpBB © 2000, 2002, 2005, 2007 phpBB Group
|