文献

J-GLOBAL ID：201902224196515724   整理番号：19A1715758

命題論理における自然な演繹ルールの応用からの知識の同定【JST・京大機械翻訳】

Identifying Knowledge from the Application of Natural Deduction Rules in Propositional Logic

著者 (4件)： Galafassi Fabiane F. P. (Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil) ,  Galafassi Cristiano (Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil) ,  Vicari Rosa Maria (Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil) ,  Gluz Joao Carlos (Federal University of Rio Grande do Sul, Porto Alegre, RS, Brazil)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11523  ページ： 66-77  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 知的Tutoring Systems(ITS)は,教師の学習過程で広く使われている技術的資源であり,それらの研究は,主に距離学習で行われている。この意味で,本研究の目的は,計算のための命題論理(NDPL)における自然推論の教育に適用されたITSの文脈において,学生モデルエージェントの再設計である。エージェントは学生の知識状態を同定し,表現できることが期待される。モデリング段階では,Bayesネットワークに基づく推論機構に加えて,知識表現の詳細を示した。結果に関して,学生はHeraclito環境を満足し,エージェントはその主要な目的を達成し,個人の特性と学生からの知識に基づいて個人化された教育戦略を実行する可能性を証明した。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： エージェント ,  モデリング ,  教育 ,  *命題論理 ,  推論マシン ,  学習 ,  再設計 ,  知識表現 ,  *演繹
準シソーラス用語： 個性化 ,  信念ネットワーク ,  学習過程 , 【Automatic Indexing@JST】

著者キーワード (3件)： 知的指導システム ,  計算のための論理 ,  学生モデル

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

タイトルに関連する用語 (6件)： 命題論理 ,  演繹 ,  ルール ,  応用 ,  知識 ,  同定