人間と機械における学習・推論と認知プロセスに関する研究

研究人类和机器的学习、推理和认知过程

基本信息

  • 批准号:
    02215105
  • 负责人:
  • 金额:
    $ 12.42万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
  • 财政年份:
    1990
  • 资助国家:
    日本
  • 起止时间:
    1990 至 无数据
  • 项目状态:
    已结题

项目摘要

本研究班の目標は,人間と機械に於ける総合的な知的コミュニケ-ションのための論理や推論,認知,学習等の本質を理論と実際の両面から究明し,定式化を始めとしてアルゴリズム化,効率化にいたるまで体系的に研究することである.本年度の主な研究成果は以下の通りである.1.論理に関する研究:知識と信念の論理を様相論理弱S5を対象に展開し,また証明における決定問題を解決した.さらに,エレベ-タ等の動作記述のために新しい時区間論理を提案し,その有効性を示した.2.推論に関する研究:仮説推論,デフォルト推論,自己認識推論,帰納推論,類推,最小限定等に関して,定式化から,アルゴリズム化,効率化に至るまでの体系的研究を行い,極めて多くの成果を得た.特に,仮説推論に関してはその中心となる推論エンジンを数100〜数1000倍に高速化することに成功した.3.認知に関する研究:人間との接点である自然言語処理に関して,自然言語によるプログラミング,文章要約とそのための論理の研究を行い基礎的な成果を得た.また,多エ-ジェント系自己認識論理の定式化とその応用によって多エ-ジェント系としてのコミュニケ-ションに関して重要な成果を得た.4.学習に関する研究:帰納推論のための新しい論理的枠組みを与え,正デ-タからの学習可能性に関する重要な成果を得た.また,学習における教師の役割について新しい定式化のもとで究明し,教師は時間を無視すれば必要ないが,学習能率を上げるためには不可欠である,という直観に合致した本質的な結果を理論的に得ることができた.さらに推類による学習,最小限定による学習,学習効率等に関しても独創的な研究を展開した.
The goal of this seminar is to infer the theory and reasoning of human beings and machines based on the combination of human and human beings. The essence of cognition, learning, etc. is the theory and practice, and the formalization and efficiency are made. The research results of this year's main research system are as follows: 1. Theory Research on に关する: knowledge and belief の论 を様phase theory weak S5 を対Elephant にDevelop し, またprove におけるdetermine the problem をSolution to the action description of した.した.2. Research on inference: 仮说 inference, デフォルト inference, self-knowledge inference, 帰NA inference, analogy, minimum Limitation and other customization, formalization, optimization, efficiency research and development of the system, extremely high performanceくのachievementをgetた.特に,仮说 inferenceに关してはそのcentricとなるdeduceエンジンをCount 100~Count 1000 The success of doubling the speed has been achieved. 3. Research on cognitive issues: natural language processing issues at the junction of human beingsして,Natural Language によるプログラミング, Article Request とそのためのTheoretical Research を Practice いBasic Resultsをgetた.また, 多エ-ジェント行自学论理の法とその応用によって多エ-ジェント行としてのコミュニケ-ションに关してimportant resultsをgetた.4. Study on に关する: 帰NA inferenceのための新しいTheoretical 枠组みを与え,正デ-タからの学possibilitiesに关するimportant resultsをgetた.また,学におけるThe teacher's work is done in a new way, and the teacher's time is ignored, and the learning ability is improved.を上げるためには cannot owe である, という正観に合出したESSENTIAL なRESULTをTheoretical ることができた.さらに pushed the class to learn, the minimum limit to learn, the learning efficiency and so on the original research and development of the original research.

项目成果

期刊论文数量(12)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Naoki,Yonezaki: "ID/IP Logic for Hierarchical Precedence Relations" Theoretical Foundation of Knowledge Information Processing ASRーSESITY INOGRA. 137-145 (1990)
Naoki,Yonezaki:“分层优先关系的 ID/IP 逻辑”知识信息处理 ASR-SESITY INOGRA 的理论基础 137-145 (1990)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Susumu,Suzuki: "Reverse counting method for linear recursive query with many cyclic extensional predicates" Proc.IASTED Int.Symposium on Artificial Intelligence Applications and Neural Networks ー AINN'90. (1990)
Susumu,Suzuki:“具有许多循环扩展谓词的线性递归查询的反向计数方法”Proc.IASTED Int.Symposium on Artificial Intelligence Applications and Neural Networks ー AINN90 (1990)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
P.,Minari: "Intermediate Predicate Logics Determined by Ordinals" The Journal of Symbolic Logics. 55. 1099-1124 (1990)
P.,Minari:“由序数决定的中间谓词逻辑”符号逻辑杂志。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
外山 勝彦: "自己認識論理のエ-ジエント系への拡張とその階層的知識の表現への応用" 人工知能学会誌. 6. 208-217 (1991)
Katsuhiko Toyama:“自我意识逻辑对代理系统的扩展及其在分层知识表示中的应用”人工智能学会杂志 6. 208-217 (1991)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
T.,Shinohara: "Inductive Inference from positive data is powerful" Proc.3rd Computational Learning Theory (COLT'90). 97-110 (1990)
T.,Shinohara:“来自正面数据的归纳推理非常强大”Proc.3rd 计算学习理论 (COLT90)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

坂部 俊樹其他文献

GeneSysによるプログラム生成例とIntroduction規則の追加
GeneSys 示例程序生成和添加引入规则
モデル生成法に基づくJavaScriptプログラム型検査の機械実行
基于模型生成方法的JavaScript程序类型检查的机器执行
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
基于过程化程序到重写系统的软件验证尝试

坂部 俊樹的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('坂部 俊樹', 18)}}的其他基金

限量子付き等式仕様からのプログラム生成に関する研究
量化方程规范生成程序的研究
  • 批准号:
    16650005
  • 财政年份:
    2004
  • 资助金额:
    $ 12.42万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
メタ等式プログラミングに関する基礎的研究
元方程编程基础研究
  • 批准号:
    04680031
  • 财政年份:
    1992
  • 资助金额:
    $ 12.42万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
データ抽象に基づくプログラミングのための代数指向言語に関する基礎的研究
基于数据抽象的面向代数编程语言的基础研究
  • 批准号:
    60780037
  • 财政年份:
    1985
  • 资助金额:
    $ 12.42万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
データ構造の効率的実現方式設計への構造的一様性の効果的利用に関する研究
数据结构高效实现方法设计中有效利用结构一致性的研究
  • 批准号:
    X00210----579019
  • 财政年份:
    1980
  • 资助金额:
    $ 12.42万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
データ構造の実現および複雑さに関する基礎的研究
数据结构的实现及复杂性基础研究
  • 批准号:
    X00210----375181
  • 财政年份:
    1978
  • 资助金额:
    $ 12.42万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

多エージェント系自己認識論理に基づく構造的知識の表現とその推論の効率化
基于多智能体自我意识逻辑的结构知识表示与高效推理
  • 批准号:
    06780342
  • 财政年份:
    1994
  • 资助金额:
    $ 12.42万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了