文献

J-GLOBAL ID：201902233045618719   整理番号：19A1665232

閉包空間による連続格子の特性化定理【JST・京大機械翻訳】

A Characterization Theorem for Continuous Lattices by Closure Spaces

著者 (3件)： Ma Guozhi (College of Engineering and Design, Hunan Normal University, Changsha, Hunan, People’s Republic of China) ,  Guo Lankun (College of Engineering and Design, Hunan Normal University, Changsha, Hunan, People’s Republic of China) ,  Yang Cheng (College of Engineering and Design, Hunan Normal University, Changsha, Hunan, People’s Republic of China)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11511  ページ： 324-331  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 閉鎖空間の概念は形式的概念解析において重要な役割を果たし,形式的概念解析と格子理論の間に密接な関係が存在する。連続格子を再構成するために,ドメイン理論における特別な種類の完全格子,本論文は,相対的に一貫したF拡張閉鎖空間と呼ばれる新しい概念を提案した。次に,相対的に一貫したF拡張閉鎖空間間のF近似写像の概念を導入し,連続格子間のScott連続写像の表現を提供した。最終結果は以下の通りである:相対的に一貫したF拡張閉鎖空間と連続格子のカテゴリは等価である。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 近似法 ,  *キャラクタリゼーション ,  再構成 ,  *閉包 ,  写像
準シソーラス用語： 形式的概念解析 ,  閉鎖空間 , 【Automatic Indexing@JST】

著者キーワード (3件)： 閉鎖空間 ,  近似可能なマッピング ,  連続格子

分類 (2件)： 人工知能  (JE08000Z) ,  分子・遺伝情報処理  (JE15040B)

タイトルに関連する用語 (4件)： 閉包 ,  格子 ,  特性化 ,  定理