课题基金 / 基金详情

仮説論理プログラミングを用いたソフトウェア発展モデルの研究

仮説論理プログラミングを用いたソフトウェア発展モデルの研究
基于假设逻辑编程的软件开发模型研究
批准号：
10139201
负责人：
佐藤 健
金额：
$1.09万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139201/
关键词：
極小変更ソフトウェア発展仮説論理プログラミング

项目摘要

项目成果

佐藤 健的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
我々は,論理プログラムにおけるソフトウェア発展モデルを研究しており,平成9年度においては,以前,提案した極小変更の定式化を一貫性制約を含む論理プログラムに適用した.平成9年度の研究により,論理プログラミングの変更では,ルール自体の成立/不成立の変更が極小になると考えることが自然であることが分かった.この結果,論理プログラミングの更新は,元のプログラムのルールをデフォルトルール,一貫性制約を公理と考え,追加されるルールを追加公理と考えたときの式極小限定(Formula Circumscription)に対応することが分かった.さらに論理プログラムの一般安定モデルに基づいた命題レベルの極小更新仕様計算を提案した.以上の背景を踏まえ,今年度の目的を,以下の2点に設定した.・平成9年度の結果を拡張し,一階述語レベルの極小更新仕様計算の理論的基礎を与え,仮説論理プログラムへの変更を用いることによって実装する.・演繹データベースの更新などに応用して妥当性を検証する.平成10年度の成果は以下である.・関数記号なしの一階述語レベルの極小更新仕様計算に関して一般化安定モデルと極小更新仕様の関係を明らかにし,さらにその手続きが以前提案した一般化安定モデルに対するトップダウンの証明手続きの援用によって実装できることを明らかにした.・ソフトウェア工学でのBorgidaの極小更新仕様およびBalzerのPollution Markerの実装を上記の方法で行い,妥当性を検証した.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
風水害を中心とした包括的学校安全の実態解明と評価手法の構築
  • 批准号：
    23K21023
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $2.08万
  • 财政年份：
    2024
  • 负责人：
    佐藤 健
  • 依托单位：
    Tohoku University
誘電プローブ法を用いた高分子ブレンドにおける相分離ダイナミクスの開拓
  • 批准号：
    24K17023
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
  • 资助金额：
    $3.08万
  • 财政年份：
    2024
  • 负责人：
    佐藤 健
  • 依托单位：
    Kyoto University
対話を創発する学習環境デザインの構築、実践、評価
核内移行する小胞輸送因子の機能解明
  • 批准号：
    23K05692
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $3.0万
  • 财政年份：
    2023
  • 负责人：
    佐藤 健
  • 依托单位：
    The University of Tokyo
海外基金