This HTML5 document contains 37 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n7http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n5http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n21http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n11http://linked.opendata.cz/resource/domain/vavai/projekt/GD401%2F03%2FH047/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n6http://linked.opendata.cz/resource/domain/vavai/subjekt/
n19http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n9http://linked.opendata.cz/ontology/domain/vavai/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n14http://linked.opendata.cz/resource/domain/vavai/soutez/
n20http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n22http://linked.opendata.cz/resource/domain/vavai/aktivita/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GD401%2F03%2FH047
rdf:type
n9:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GD401/03/H047
dcterms:description
V projektu půjde o studium logických kalkulů pro nové pohledy na informace a znalosti a jejich logickou strukturu. To znamená, že půjde především o formálně-logické kalkuly překračující paradigma tzv klasických logik. Potřeba vyšší vyjadřovací síly pro porozumění a reprezentaci je zřejmá, i když je stále diskutabilní nakolik formální logika sama disponuje adekvátními prostředky. Zde tedy bude důraz kladen na systémy často označované jako neklasické (včetně logik vícehodnotových, modálních, epistemických, deontických a dalších), což ale nevystihuje plně celé spektrum aspektů, které se moderní filozofická logika snaží postihnout. Budou proto též porovnávány jednotlivé dosud v logice a filosofii zkoumané, někdy velmi rozmanité, přístupy k analýze a reprezentaci znalostí, a jejich filozofické zázemí a kořeny. Dále budou kriticky zkoumány logické základy usuzování v přirozeném kontextu i v umělém kontextu (umělé inteligenci) a při tvorbě inteligentních systémů včetně porozumění běžnému In this project we will study logical calculi suitable for new aspects of information and knowledge together with their logical structure. It means that mainly formal logical calculi exceeding the paradigm of so-called classical logics will be concerned.The need of higher expressive power of tools for understanding and representation is obvious in spite of the fact that the capability of pure formal logic to deal with all problems adequately is being discussed. Thus, we will emphasize the systems often called as non-classical (including many-valued logics, modal logics, epistemic, deontic, and other related systems). But it is not the complete list of aspects having been discussed in philosophical logic which have to be satisfactorily described. That is the reason why we will also compare different approaches in logic as well as in philosophy learned so far. Critical investigations of logical foundations of reasoning in both natural and artificial contexts and in building intelligent systems
dcterms:title
Logické základy sémantiky a reprezentace znalostí Logical foundations of semantics and knowledge representation
skos:notation
GD401/03/H047
n3:aktivita
n22:GD
n3:celkovaStatniPodpora
n11:celkovaStatniPodpora
n3:celkoveNaklady
n11:celkoveNaklady
n3:datumDodatniDoRIV
2008-07-24+02:00
n3:druhSouteze
n5:VS
n3:duvernostUdaju
n18:S
n3:fazeProjektu
n4:71785302
n3:hlavniObor
n8:AA
n3:hodnoceniProjektu
n21:U
n3:kategorie
n19:ZV
n3:klicovaSlova
Neuvedeno.
n3:partnetrHlavni
n6:orjk%3A11210
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
2
n3:pocetVysledkuRIV
30
n3:pocetZverejnenychVysledkuVRIV
30
n3:posledniUvolneniVMinulemRoce
2007-05-02+02:00
n3:prideleniPodpory
n16:401%2F03%2FH047
n3:sberDatUcastniciPoslednihoRoku
n10:2007
n3:sberDatUdajeProjZameru
n10:2008
n3:soutez
n14:SGA02003GA-DG
n3:statusZobrazovaneFaze
n20:DUU
n3:typPojektu
n13:P
n3:ukonceniReseni
2007-12-31+01:00
n3:vedlejsiObor
n8:BA
n3:zahajeniReseni
2003-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
The framework of the project has made it possible to form a compact and productive team of doctoral students, whose dissertations concern various aspects of semantics, understood as an interdisciplinary field in the intersection of philosophy, logic, lin V rámci projektu se podařilo vytvořit pevný a produktivní tým doktorandů, jejichž doktorské práce se týkají různých aspektů sémantiky, chápané jako interdisciplinární obor na pomezí filosofie, logiky, lingvistiky a informatiky. V průběhu řešení studenti
n3:zivotniCyklusProjektu
n7:ZBBBKU