About: Logic for Knowledge Base Representation     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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. (en)
Title
  • Logic for Knowledge Base Representation
  • Logic for Knowledge Base Representation (en)
skos:prefLabel
  • Logic for Knowledge Base Representation
  • Logic for Knowledge Base Representation (en)
skos:notation
  • RIV/47813059:19240/10:#0003237!RIV11-GA0-19240___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GD401/09/H007)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 268789
http://linked.open...ai/riv/idVysledku
  • RIV/47813059:19240/10:#0003237
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Transparent intensional logic; knowledge base; hyperintension; knowledge representation (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [D7AD19721A36]
http://linked.open...v/mistoKonaniAkce
  • Smrekovica, Slovensko
http://linked.open...i/riv/mistoVydani
  • Košice, Slovensko
http://linked.open...i/riv/nazevZdroje
  • Zborník príspevkov prezentovaných na konferencii ITAT Smrekovica, Slovensko, September 2010
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Menšík, Marek
  • Ciprich, Nikola
  • Čiháková, Martina
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • PONT, s.r.o.
https://schema.org/isbn
  • 978-80-970179-3-4
http://localhost/t...ganizacniJednotka
  • 19240
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software