Logic for Knowledge Base Representation

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F47813059%3A19240%2F10%3A%230003237" target="_blank" >RIV/47813059:19240/10:#0003237 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Logic for Knowledge Base Representation
Original language 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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GD401%2F09%2FH007" target="_blank" >GD401/09/H007: Logical foundations of semantics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Zborník príspevkov prezentovaných na konferencii ITAT Smrekovica, Slovensko, September 2010
ISBN
978-80-970179-3-4
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
—
Publisher name
PONT, s.r.o.
Place of publication
Košice, Slovensko
Event location
Smrekovica, Slovensko
Event date
Sep 21, 2010
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)