Attributes | Values |
---|
rdf:type
| |
Description
| - 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)
|
skos:prefLabel
| - Concepts and Ontologies
- Concepts and Ontologies (en)
|
skos:notation
| - RIV/61989100:27240/09:00021030!RIV13-GA0-27240___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(1ET101940420), P(GA401/07/0451)
|
http://linked.open...iv/cisloPeriodika
| |
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/09:00021030
|
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...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - Frontiers in Artificial Inteligence and Applications
|
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...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Materna, Pavel
|
issn
| |
number of pages
| |
http://bibframe.org/vocab/doi
| - 10.3233/978-1-58603-957-8-45
|
http://localhost/t...ganizacniJednotka
| |