This HTML5 document contains 42 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/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n20http://purl.org/net/nknouf/ns/bibtex#
n4http://localhost/temp/predkladatel/
n21http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/ontology/domain/vavai/
n16https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F47813059%3A19240%2F10%3A%230003237%21RIV11-GA0-19240___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F47813059%3A19240%2F10%3A%230003237%21RIV11-GA0-19240___
rdf:type
n13:Vysledek skos:Concept
dcterms:description
We introduce the Transparent Intensional Logic (TIL) as the specification language for the ontology building and the knowledge representation. TIL is a typed hyperintensional lambda calculus and due to its hyperintensionality the three types of context can be smoothly distinguished. We can explicitly distinguish between extensional context of individuals, numbers and functions-in-extension (mappings), intensional context of properties, roles, attributes and propositions, and finally hyper-intensional context of procedures producing intensional and extensional entities as their products. In this article we are focused on the utilization of TIL for multi agent systems, especially for the agents knowledge base specification and for logical specification of communication between agents. We introduce the Transparent Intensional Logic (TIL) as the specification language for the ontology building and the knowledge representation. TIL is a typed hyperintensional lambda calculus and due to its hyperintensionality the three types of context can be smoothly distinguished. We can explicitly distinguish between extensional context of individuals, numbers and functions-in-extension (mappings), intensional context of properties, roles, attributes and propositions, and finally hyper-intensional context of procedures producing intensional and extensional entities as their products. In this article we are focused on the utilization of TIL for multi agent systems, especially for the agents knowledge base specification and for logical specification of communication between agents.
dcterms:title
Logic for Knowledge Base Representation Logic for Knowledge Base Representation
skos:prefLabel
Logic for Knowledge Base Representation Logic for Knowledge Base Representation
skos:notation
RIV/47813059:19240/10:#0003237!RIV11-GA0-19240___
n3:aktivita
n14:P
n3:aktivity
P(GD401/09/H007)
n3:dodaniDat
n8:2011
n3:domaciTvurceVysledku
n12:1485806
n3:druhVysledku
n18:D
n3:duvernostUdaju
n11:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
268789
n3:idVysledku
RIV/47813059:19240/10:#0003237
n3:jazykVysledku
n19:eng
n3:klicovaSlova
Transparent intensional logic; knowledge base; hyperintension; knowledge representation
n3:klicoveSlovo
n9:knowledge%20representation n9:knowledge%20base n9:Transparent%20intensional%20logic n9:hyperintension
n3:kontrolniKodProRIV
[D7AD19721A36]
n3:mistoKonaniAkce
Smrekovica, Slovensko
n3:mistoVydani
Košice, Slovensko
n3:nazevZdroje
Zborník príspevkov prezentovaných na konferencii ITAT Smrekovica, Slovensko, September 2010
n3:obor
n17:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
3
n3:projekt
n21:GD401%2F09%2FH007
n3:rokUplatneniVysledku
n8:2010
n3:tvurceVysledku
Čiháková, Martina Menšík, Marek Ciprich, Nikola
n3:typAkce
n7:EUR
n3:zahajeniAkce
2010-09-21+02:00
s:numberOfPages
5
n20:hasPublisher
PONT, s.r.o.
n16:isbn
978-80-970179-3-4
n4:organizacniJednotka
19240