Attributes | Values |
---|
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
| |
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
| |
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
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
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
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |