| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - In the paper we introduce three kinds of context in which one and the same meaning of an expression can occur. In our background logical framework of Transparent Intensional Logic (TIL) meaning of an expression E is explicated as an algorithmically structured procedure detailing which operation to apply to which objects in order to arrive at the object denoted by E (if any). The denoted object is a (possibly 0-ary) function. The three kinds of context are these. An extensional context in which the value of the denoted function is an object of predication; an intensional context in which the entire function is an object of predication; and finally a hyperintensional context in which the mode of presentation of the denoted function (that is the meaning of a constituent sub-expression) is an object of predication. The paper outlines the method of context-recognition that takes into account the fact that a higher-order context is dominant over a lower-order one. By way of examples we illustrate the importance of the correct context-recognition for deriving adequate consequences from explicit pieces of knowledge and agents’ reasoning in a multi-agent system. Agents communicate with their fellow agents by messaging. The content of a message is formalized in TIL language of constructions. Since TIL flouts none of the extensional principles like Leibniz’s law of substitution of identicals and existential generalization, the agents’ communication and reasoning proceeds smoothly, and the system is not prone to inconsistencies.
- In the paper we introduce three kinds of context in which one and the same meaning of an expression can occur. In our background logical framework of Transparent Intensional Logic (TIL) meaning of an expression E is explicated as an algorithmically structured procedure detailing which operation to apply to which objects in order to arrive at the object denoted by E (if any). The denoted object is a (possibly 0-ary) function. The three kinds of context are these. An extensional context in which the value of the denoted function is an object of predication; an intensional context in which the entire function is an object of predication; and finally a hyperintensional context in which the mode of presentation of the denoted function (that is the meaning of a constituent sub-expression) is an object of predication. The paper outlines the method of context-recognition that takes into account the fact that a higher-order context is dominant over a lower-order one. By way of examples we illustrate the importance of the correct context-recognition for deriving adequate consequences from explicit pieces of knowledge and agents’ reasoning in a multi-agent system. Agents communicate with their fellow agents by messaging. The content of a message is formalized in TIL language of constructions. Since TIL flouts none of the extensional principles like Leibniz’s law of substitution of identicals and existential generalization, the agents’ communication and reasoning proceeds smoothly, and the system is not prone to inconsistencies. (en)
|
| Title
| - Hyperintensional, Intensional and Extensional Context Recognition
- Hyperintensional, Intensional and Extensional Context Recognition (en)
|
| skos:prefLabel
| - Hyperintensional, Intensional and Extensional Context Recognition
- Hyperintensional, Intensional and Extensional Context Recognition (en)
|
| skos:notation
| - RIV/61989100:27240/13:86086706!RIV15-MSM-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/13:86086706
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - message; mutli-agent system; Transparent intensional logic; extensional context; intensional; hyperintensional (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...v/mistoKonaniAkce
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...i/riv/nazevZdroje
| - Mendel 2013 : 19th International Conference on Soft Computing : June 26-28, 2013, Brno, Czech Republic
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Menšík, Marek
- Číhalová, Martina
- Perdek, Michal
|
| http://linked.open...vavai/riv/typAkce
| |
| http://linked.open.../riv/zahajeniAkce
| |
| issn
| |
| number of pages
| |
| http://purl.org/ne...btex#hasPublisher
| - Vysoké učení technické v Brně
|
| https://schema.org/isbn
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)