文献

J-GLOBAL ID：201902218860559490   整理番号：19A1544202

文脈に関する置換規則【JST・京大機械翻訳】

Substitution Rules with Respect to a Context

著者 (2件)： Fait Michal (Department of Computer Science FEI, VSB-Technical University of Ostrava, Ostrava, Czech Republic) ,  Duzi Marie (Department of Computer Science FEI, VSB-Technical University of Ostrava, Ostrava, Czech Republic)
資料名： Lecture Notes in Electrical Engineering  (Lecture Notes in Electrical Engineering)
巻： 554  ページ： 55-66  発行年： 2020年 
JST資料番号： W5070A  ISSN： 1876-1100  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文において,著者らは,アイデンティティの置換のLeibnitzの規則を扱い,そして,規則を,TIL-Script言語において,どのように適用することができるかについて記述した。主要な目標は,著者らがTIL-Script言語を区別する3種類の文脈において,置換規則の有効な応用のアルゴリズムを導入することである。言語はTILの計算変種であり,それは高強度,部分型計算である。TIL-用語の意味は,表示された関数自身よりもむしろ関数を生成する手順であるため,ハイパー意図的である。TILは部分関数の論理であり,TILオントロジーのすべてのエンティティがタイプを受け取るので,TILは分類される。文脈認識の結果に基づいて,このアルゴリズムは,代替ルールを有効に適用することを可能にし,解析情報の関連する新しい部分を引き出すことができる。Copyright 2020 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *言語 ,  オントロジー ,  計算
準シソーラス用語： エンティティ ,  高強度 ,  アイデンティティ , 【Automatic Indexing@JST】

著者キーワード (5件)： TIL ,  置換規則 ,  3種類の文脈 ,  TIL-スクリプト ,  有効置換のアルゴリズム

分類 (1件)： 融解塩  (CB05050R)

タイトルに関連する用語 (3件)： 文脈 ,  置換 ,  規則