Pojmy a ontologie

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F08%3A00018813" target="_blank" >RIV/61989100:27240/08:00018813 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Concepts and Ontologies

Popis výsledku v původním jazyce

We introduce a new theory of concepts conceived as structured abstract entities. The theory is based on the key notion of Transparent Intensional Logic (TIL), known as TIL construction. The rich procedural semantics of TIL makes it possible to explicitlystate all the semantically salient features of natural language expressions. We illustrate how to make use of TIL theory of concepts in distinguishing analytical and empirical concepts, particular kinds of necessities, and for rigorous specification ofrequisite relations between intensions. Finally, ontology is characterised as a stable part of the system that should play an integrating role. We show how to make use of this rich theory in specification of the content of ontologies in a multi-agent system.

Název v anglickém jazyce

Concepts and Ontologies

Popis výsledku anglicky

We introduce a new theory of concepts conceived as structured abstract entities. The theory is based on the key notion of Transparent Intensional Logic (TIL), known as TIL construction. The rich procedural semantics of TIL makes it possible to explicitlystate all the semantically salient features of natural language expressions. We illustrate how to make use of TIL theory of concepts in distinguishing analytical and empirical concepts, particular kinds of necessities, and for rigorous specification ofrequisite relations between intensions. Finally, ontology is characterised as a stable part of the system that should play an integrating role. We show how to make use of this rich theory in specification of the content of ontologies in a multi-agent system.

Druh

M - Uspořádání konference

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA401%2F07%2F0451" target="_blank" >GA401/07/0451: Sémantizace pragmatiky</a><br>

Návaznosti

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

Rok uplatnění

2008

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ů

Místo konání akce

Japonsko

Stát konání akce

JP - Japonsko

Datum zahájení akce

—

Datum ukončení akce

—

Celkový počet účastníků

84

Počet zahraničních účastníků

80

Typ akce podle státní přísl. účastníků

WRD - Celosvětová akce