Attributes | Values |
---|
rdf:type
| |
Description
| - Článek se zabývá teorií pojmu. Pojem chápeme jako strukturovanou abstraktní entitu. Naše teorie je založena na klíčovém pojmu Transparentní intensionální logiky (TIL), kterým je TIL-konstrukce. Vysoce expresivní procedurální sémantika TIL systému umožňuje formálně zachytit všechny sémanticky významné rysy výrazů přirozeného jazyka. V článku ukazujeme, jak je možno procedurální teorii TIL využít pro rozlišení analytických a empirických pojmů, jednotlivých typů nutnosti, a pro rigorósní specifikaci relace rekvizity mezi intensemi. Dále charakterizujeme ontologii jako poměrně stabilní část systému, která v daném systému hraje integrující roli. Nakonec ukážeme, jak je možno využít této bohaté teorie pro specifikaci obsahu ontologií v multi-agentovém systému. (cs)
- 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 explicitly state 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 of requisite 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.
- 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 explicitly state 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 of requisite 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. (en)
|
Title
| - Concepts and Ontologies
- Concepts and Ontologies (en)
- Pojmy a ontologie (cs)
|
skos:prefLabel
| - Concepts and Ontologies
- Concepts and Ontologies (en)
- Pojmy a ontologie (cs)
|
skos:notation
| - RIV/61989100:27240/08:00018813!RIV09-GA0-27240___
|
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/61989100:27240/08:00018813
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Ontology; concept; logical analysis of natural language; TIL; analytical vs. empirical concept; analytical vs. nomic necessity; intension; extension; hyper-intension (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...ocetUcastnikuAkce
| |
http://linked.open...nichUcastnikuAkce
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/statKonaniAkce
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/ukonceniAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://localhost/t...ganizacniJednotka
| |