Substitution rules with respect to a context
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F20%3A10239573" target="_blank" >RIV/61989100:27240/20:10239573 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007%2F978-3-030-14907-9_6" target="_blank" >https://link.springer.com/chapter/10.1007%2F978-3-030-14907-9_6</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-14907-9_6" target="_blank" >10.1007/978-3-030-14907-9_6</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Substitution rules with respect to a context
Popis výsledku v původním jazyce
In this paper, we deal with Leibniz's rule of substitution of identicals, and describe how the rule can be applied in the TIL-Script lan- guage. The main goal is to introduce the algorithm of valid application of the substitution rules in all the three kinds of context that we distinguish in the TIL-Script language. The language is a computational variant of TIL, which is a hyperintensional, partial typed lambda-calculus. Hyperintensional, because the meaning of TIL l-terms are procedures producing functions rather than the denoted functions themselves. Partial, because TIL is a logic of partial functions, and typed, because all the entities of TIL ontology receive a type. Based on the results of context recognition the algorithm makes it possible to validly apply the substitution rules and derive relevant new pieces of analytic information.
Název v anglickém jazyce
Substitution rules with respect to a context
Popis výsledku anglicky
In this paper, we deal with Leibniz's rule of substitution of identicals, and describe how the rule can be applied in the TIL-Script lan- guage. The main goal is to introduce the algorithm of valid application of the substitution rules in all the three kinds of context that we distinguish in the TIL-Script language. The language is a computational variant of TIL, which is a hyperintensional, partial typed lambda-calculus. Hyperintensional, because the meaning of TIL l-terms are procedures producing functions rather than the denoted functions themselves. Partial, because TIL is a logic of partial functions, and typed, because all the entities of TIL ontology receive a type. Based on the results of context recognition the algorithm makes it possible to validly apply the substitution rules and derive relevant new pieces of analytic information.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GA18-23891S" target="_blank" >GA18-23891S: Hyperintensionální usuzování nad texty přirozeného jazyka</a><br>
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2020
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Lecture Notes in Electrical Engineering. Volume 554
ISBN
978-3-030-14906-2
ISSN
1876-1100
e-ISSN
1876-1119
Počet stran výsledku
12
Strana od-do
55-66
Název nakladatele
Springer
Místo vydání
Cham
Místo konání akce
Ostrava
Datum konání akce
11. 9. 2018
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—