Logic for Knowledge Base Representation

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Logic for Knowledge Base Representation

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Logic for Knowledge Base Representation

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GD401%2F09%2FH007" target="_blank" >GD401/09/H007: Logické základy sémantiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2010

Kód důvěrnosti údajů

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

Název statě ve sborníku

Zborník príspevkov prezentovaných na konferencii ITAT Smrekovica, Slovensko, September 2010

ISBN

978-80-970179-3-4

ISSN

—

e-ISSN

—

Počet stran výsledku

5

Strana od-do

—

Název nakladatele

PONT, s.r.o.

Místo vydání

Košice, Slovensko

Místo konání akce

Smrekovica, Slovensko

Datum konání akce

21. 9. 2010

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—