课题基金 / 基金详情

型付き論理プログラミングを用いた学習アルゴリズムの構成

型付き論理プログラミングを用いた学習アルゴリズムの構成
使用类型化逻辑编程构建学习算法
批准号：
07680375
负责人：
山本 章博
金额：
$0.7万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1995
资助国家：
日本
项目状态：
已结题
起止时间：
1995 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-07680375/
关键词：
論理プログラミングアルゴリズム帰納推論

项目摘要

项目成果

山本 章博的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
階層的知識表現のための型付き論理プログラミング言語による学習の基礎研究本年度は、オブジェクト指向論理型言語としてその展開が期待されているF論理上で、帰納的一般化を行う学習方式の基礎研究を行った。具体的には、F論理の階層的かつオブジェクト中心のスタイルで記述された領域知識と実際のデータの間に不整合性がある場合に、領域知識を修正し、データと無矛盾なものに自動変換することを意図している。そうした修正を行うための可能な戦略としては、いくつか考えられるが、本研究では、1階の(型なし)言語上で開発されてきた極小多重汎化手法を拡張したものになっており、そうした基本的手法が高度な記述力をもつF論理に適用できることを理論的に実証している。特に、計算量の問題に関しても、多くの部分が多項式時間の計算量で収まることを証明し、今後の実際の応用研究への一つの重要な指針を与えることができた。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
高次元ブール値テンソルデータからの多項閉集合を用いた知識発見
  • 批准号：
    21H03499
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $10.07万
  • 财政年份：
    2021
  • 负责人：
    山本 章博
  • 依托单位：
    Kyoto University
浄土教関連和歌の総合的研究
論理式による実数の近似表現を用いた数値データからの機械学習手法
  • 批准号：
    19650029
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 资助金额：
    $2.11万
  • 财政年份：
    2007
  • 负责人：
    山本 章博
  • 依托单位：
    Kyoto University
表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成
  • 批准号：
    16016246
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $4.03万
  • 财政年份：
    2004
  • 负责人：
    山本 章博
  • 依托单位：
    Kyoto University
海外基金