Context recognition for a hyperintensional inference machine
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F17%3A10235937" target="_blank" >RIV/61989100:27240/17:10235937 - isvavai.cz</a>
Result on the web
<a href="http://aip.scitation.org/doi/abs/10.1063/1.4992502" target="_blank" >http://aip.scitation.org/doi/abs/10.1063/1.4992502</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1063/1.4992502" target="_blank" >10.1063/1.4992502</a>
Alternative languages
Result language
angličtina
Original language name
Context recognition for a hyperintensional inference machine
Original language description
The goal of this paper is to introduce the algorithm of context recognition in the functional programming language TIL-Script, which is a necessary condition for the implementation of the TIL-Script inference machine. The TIL-Script language is an operationally isomorphic syntactic variant of Tichý's Transparent Intensional Logic (TIL). From the formal point of view, TIL is a hyperintensional, partial, typed λ-calculus with procedural semantics. Hyperintensional, because TIL λ-terms denote procedures (defined as TIL constructions) producing set-theoretic functions rather than the functions themselves; partial, because TIL is a logic of partial functions; and typed, because all the entities of TIL ontology, including constructions, receive a type within a ramified hierarchy of types. These features make it possible to distinguish three levels of abstraction at which TIL constructions operate. At the highest hyperintensional level the object to operate on is a construction (though a higher-order construction is needed to present this lower-order construction as an object of predication). At the middle intensional level the object to operate on is the function presented, or constructed, by a construction, while at the lowest extensional level the object to operate on is the value (if any) of the presented function. Thus a necessary condition for the development of an inference machine for the TIL-Script language is recognizing a context in which a construction occurs, namely extensional, intensional and hyperintensional context, in order to determine the type of an argument at which a given inference rule can be properly applied. As a result, our logic does not flout logical rules of extensional logic, which makes it possible to develop a hyperintensional inference machine for the TIL-Script language. © 2017 Author(s).
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensional logic for natural language analysis</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
AIP Conference Proceedings. Volume 1863
ISBN
978-0-7354-1538-6
ISSN
0094-243X
e-ISSN
neuvedeno
Number of pages
9
Pages from-to
—
Publisher name
American Institute of Physics
Place of publication
Melville
Event location
Rhodos
Event date
Sep 19, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000410159800330