仮説推論による論理プログラム生成の研究

基于假设推理的逻辑程序生成研究

基本信息

  • 批准号:
    05780298
  • 负责人:
  • 金额:
    $ 0.58万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    1993
  • 资助国家:
    日本
  • 起止时间:
    1993 至 无数据
  • 项目状态:
    已结题

项目摘要

本研究では,最初に不完全な知識による不完全な論理プログラムを仮定し,正データや負データをシステムに与え矛盾が生じないようにして逐次的に完全な論理プログラムを得る手続きを問題としている.この目的に対して,プログラムの自動生成の枠組みまではまだ到達していない.しかし,いくつかの基本的な処理系の実現について裏面の研究発表欄に記述したように多くの結果を得ている.以下の3点がその主な内容である.(1)論理プログラムの一拡張として提案しているLPII(Logic Programming with Incomplete Information,不完全な情報も扱う論理プログラミング)に対する処理系の実現ができた.本処理系は,仮説を用いる推論部,プログラムから確定節と仮説を自動生成する変換部によって構成されている.変換部を実現できたことで,同一のプログラムに対して異なる3つの観点に基づく処理が可能になった.(2)LPIIの処理系を基にした簡単なエキスパートシステムを作成し,あいまいな情報の下での割当問題等を解かせることができた.(3)LPIIに対して様相性をもった解釈を導入し,選言論理プログラムの枠組みとの違いを明確にした.今回の研究では基本的な処理系の実現に力点を置いたが,本処理系を論理プログラム生成に応用することが次の問題である.
This study is based on the initial incomplete knowledge, incomplete logic, positive logic, negative logic, and contradiction. For this purpose, the automatic generation of the group of files for the file is not possible. The basic processing system is implemented and described in the research development column, and many results are obtained. The following three points main content. (1)LPII(Logic Programming with Incomplete Information, etc.) This processing system is composed of an inference unit, a conversion unit, a determination unit, and an automatic generation unit. The change part is realized, and the same program can be processed differently. (2) The LPII processing system is based on the following problems: (3)LPII is designed to provide a clear understanding of the nature of the interaction, and to provide a clear understanding of the nature of the interaction. This paper studies the basic processing system and its implementation point. The processing system is a logical process generation problem.

项目成果

期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Hiroshi Sakai: "Hypothetical Reasoning with Modalities on Some Integrity Constraints" Proc.Int.Conf.on Expert Systems for Development. (to appear). (1994)
Hiroshi Sakai:“基于某些完整性约束的模态的假设推理”Proc.Int.Conf.on 专家系统开发。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Hiroshi Sakai: "A Knowledge Base System Handling Incomplete Information" AI´93(Eds.C.Rowle),World Scientific Publishing. 181-190 (1993)
Hiroshi Sakai:“处理不完整信息的知识库系统”AI´93(Eds.C.Rowle),世界科学出版社 181-190(1993)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Hiroshi Sakai: "On Two Proof Procedures for Uncertain Knowledge" Proc.Japan/Korea Joint Conf.on Expert Systems. (to appear). (1994)
Hiroshi Sakai:“关于不确定知识的两种证明程序”Proc.Japan/Korea Joint Conf.on Expert Systems。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Hiroshi Sakai: "A Prototype of Or-type Knowledge Base Systems" Proc.2nd Int.Conf.Information Systems & Management of Data. 161-173 (1993)
Hiroshi Sakai:“Or 型知识库系统的原型”Proc.2nd Int.Conf.Information Systems
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
酒井,浩: "不完全情報も扱う論理プログラミングLPIIにおける意味論について" 情報処理学会論文誌. (掲載決定).
Hiroshi Sakai:“论处理不完整信息的逻辑编程 LPII 的语义”,日本信息处理学会汇刊(决定出版)。
  • 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 }}

酒井 浩其他文献

授業評価アンケートのラフデータ解析について
关于班级评价问卷的粗略数据分析
コンテナターミナルにおけるCO_2排出量算出システムモデルの構築に関する研究
集装箱码头CO_2排放计算系统模型构建研究
非決定情報表におけるルールの上近似と下近似について
关于非决策信息表中规则的上下近似
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    酒井浩,林康平;中田典規;酒井 浩
  • 通讯作者:
    酒井 浩
コンテナターミナルにおけるCO_2排出量の評価と削減に関する基礎的研究
集装箱码头CO_2排放评价与减排基础研究
コンテナターミナルにおけるCO2排出量算出システムモデルの構築に関する研究
集装箱码头CO2排放计算系统模型构建研究

酒井 浩的其他文献

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

{{ truncateString('酒井 浩', 18)}}的其他基金

Machine learning from incomplete information table by rule generation and its application
不完全信息表的机器学习规则生成及其应用
  • 批准号:
    20K11954
  • 财政年份:
    2020
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
作業療法に用いる作業の特性の違いと脳内準備活動について-脳磁場計測による検討-
职业治疗和大脑准备活动中使用的任务特征的差异 - 使用大脑磁场测量的研究 -
  • 批准号:
    16700404
  • 财政年份:
    2004
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Rough Set理論による論理プログラムの枠組みとその応用
基于粗糙集理论的逻辑程序框架及其应用
  • 批准号:
    07780338
  • 财政年份:
    1995
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
不完全な情報を含む知識ベースシステムの研究
不完全信息知识系统研究
  • 批准号:
    01780049
  • 财政年份:
    1989
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

Spectral embedding methods and subsequent inference tasks on dynamic multiplex graphs
动态多路复用图上的谱嵌入方法和后续推理任务
  • 批准号:
    EP/Y002113/1
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Research Grant
CAREER: Game Theoretic Models for Robust Cyber-Physical Interactions: Inference and Design under Uncertainty
职业:稳健的网络物理交互的博弈论模型:不确定性下的推理和设计
  • 批准号:
    2336840
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Continuing Grant
CAREER: Statistical foundations of particle tracking and trajectory inference
职业:粒子跟踪和轨迹推断的统计基础
  • 批准号:
    2339829
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic Encryption
合作研究:SHF:小型:基于密文-密文全同态加密的高效、可扩展的隐私保护神经网络推理
  • 批准号:
    2412357
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Standard Grant
Probabilistic Inference Based Utility Evaluation and Path Generation for Active Autonomous Exploration of USVs in Unknown Confined Marine Environments
基于概率推理的效用评估和路径生成,用于未知受限海洋环境中 USV 主动自主探索
  • 批准号:
    EP/Y000862/1
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Research Grant
CAREER: Efficient Large Language Model Inference Through Codesign: Adaptable Software Partitioning and FPGA-based Distributed Hardware
职业:通过协同设计进行高效的大型语言模型推理:适应性软件分区和基于 FPGA 的分布式硬件
  • 批准号:
    2339084
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Continuing Grant
AI4PhotMod - Artificial Intelligence for parameter inference in Photosynthesis Models
AI4PhotMod - 用于光合作用模型中参数推断的人工智能
  • 批准号:
    BB/Y51388X/1
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Research Grant
CSR: Small: Latency-controlled Reduction of Data Center Expenses for Handling Bursty ML Inference Requests
CSR:小:通过延迟控制减少数据中心处理突发 ML 推理请求的费用
  • 批准号:
    2336886
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Standard Grant
CAREER: Statistical Inference in Observational Studies -- Theory, Methods, and Beyond
职业:观察研究中的统计推断——理论、方法及其他
  • 批准号:
    2338760
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Continuing Grant
STATISTICAL AND COMPUTATIONAL THRESHOLDS IN SPIN GLASSES AND GRAPH INFERENCE PROBLEMS
自旋玻璃和图推理问题的统计和计算阈值
  • 批准号:
    2347177
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了