文献

J-GLOBAL ID：202202256953789616   整理番号：22A0416358

ASPによるスマートデバイスと大規模推論:ツールと応用【JST・京大機械翻訳】

Smart Devices and Large Scale Reasoning via ASP: Tools and Applications

著者 (6件)： Reale Kristian (Department of Mathematics and Computer Science, University of Calabria, Rende, Italy) ,  Reale Kristian (DLVSystem L.T.D., Rende, Italy) ,  Calimeri Francesco (Department of Mathematics and Computer Science, University of Calabria, Rende, Italy) ,  Calimeri Francesco (DLVSystem L.T.D., Rende, Italy) ,  Leone Nicola (Department of Mathematics and Computer Science, University of Calabria, Rende, Italy) ,  Ricca Francesco (Department of Mathematics and Computer Science, University of Calabria, Rende, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13165  ページ： 154-161  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 過去数年間,著者らは,より小型で小型(例えば,スマートフォン,スマートデバイス,ラズベリーなど)を得る計算装置の拡大を wめて,データの生産とアベイラビリティは,より大きくて,より大きくなった。本研究では,DLV大規模スケール(DLV-LS),即ち,スマートデバイス上で,データ集約的アプリケーションに対する宣言的ベース推論タスクを行うための,Answer集合プログラミング(ASP)に基づくフレームワークを導入した。フレームワークは,DLVモバイルアイディション(DLV-ME),アンドロイドシステムとラズベリー装置のためのASPベースソルバ,およびDLVエンタープライズ(DLV-EE),すなわち,Bigデータ,古典的関係データベースシステム,およびNoSQLデータベースに関する大規模推論のために,RESTインタフェイスによってアクセス可能なASPベースのプラットフォームである。DLV-LSは,スマートデバイスが自分自身のセンサによって生成されたデータを局所的に実行することを可能にし,より多くの計算電力がよりハードなタスクのために必要になるとき,DLV-EEと適切に相互作用し,おそらくより大きな集中化データを超える。また,DLV-LSの実世界応用を示した。使用事例は,最良の経路を計算し,カスタム定義時間制約の下で旅行者の旅行を最適化する旅行者ナビゲータから成る。Copyright Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  相互作用 ,  電力 ,  *アベイラビリティ ,  応用プログラム ,  集中化 ,  センサ ,  インタフェイス ,  スマートフォン
準シソーラス用語： ラズベリー ,  時間制約 ,  旅行者 ,  データ集約 ,  スマートデバイス , 【Automatic Indexing@JST】

著者キーワード (3件)： 応答集合プログラミング ,  大規模推論 ,  スマートデバイス

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (6件)： ASP ,  スマートデバイス ,  大規模 ,  推論 ,  ツール ,  応用