ファジィ制約を取り扱うプログラミング言語についての研究
处理模糊约束的编程语言研究
基本信息
- 批准号:06808030
- 负责人:
- 金额:$ 0.77万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for General Scientific Research (C)
- 财政年份:1994
- 资助国家:日本
- 起止时间:1994 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本年度は,ファジィ制約論理プログラミング言語の言語仕様およびファジィ制約解消アルゴリズムの研究を行った。まず,優先度付きの制約条件の解消アルゴリズムについて検討を行い,従来の手法を単純に適用した場合よりもかなり効率的なアルゴリズムを考案し,論文“優先度付き制約条件のアルゴリズムについて"で発表を行った.本アルゴリズムでは,数値により指定された優先度をもとに,できるだけ無駄な組み合わせを探索することなく最適な解を効率よく選び出すことを可能にしている。さらに,上記の数値による優先度よりも,さらに曖昧な制約条件に対処するため,ファジィ数の取り扱いについて検討した.その結果,従来のファジィ数の理論では不十分であったファジィ数の比較関係について,新しいアプローチを考案し,論文“Fuzzy relations for comparing fuzzy numbers"と“ファジィ数の体系について-公理的アプローチ-"に報告した.これらの論文では,曖昧に表現された数の間の曖昧な比較を可能にするための数学的なアプローチを提案し,具体的な手法についても述べた.現在はこれらの成果をもとに,ファジィ制約論理プログラミング言語の言語仕様の概略設計,およびファジィ制約解消アルゴリズムの設計を進めている.
This year, we conducted research on the language behavior of language control systems. In this paper, the priority of the payment constraints of the solution to the problem of loss of control in the search for the implementation of the method to be applied to a single pure situation, the effectiveness of the loss of control case, paper "priority of the payment constraints of loss of control in the search for the implementation of the table. This is the first time that a person has ever been involved in an investigation. In this case, the number of items listed above is the priority, and the number of items listed below is the priority. The paper "Fuzzy relations for comparing fuzzy numbers" and "Fuzzy relations for comparing fuzzy numbers" are reported in this paper. This paper is based on the ambiguity of the number of ambiguous comparisons between possible mathematical proposals, specific methods of discussion. Now, we are going to make a rough design of the speech system, and we are going to make a progress in the design of the speech system.
项目成果
期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
N.Tamura,K.Horiuchi: "Fuzzy relations for comparing fuzzy numbers" Proc.of First Asian Fuzzy Systems Symposium. 812-820 (1993)
N.Tamura,K.Horiuchi:“比较模糊数的模糊关系”第一届亚洲模糊系统研讨会论文集。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
N.Tamura,K.Horiuchi,et al.: "Prolog Extension Based on Interval-Vector-Valued Fuzzy Sets" PROLOG産業応用シンポジウム論文集1993. 19-25 (1993)
N. Tamura、K. Horiuchi 等人:“基于区间向量值模糊集的 Prolog 扩展”PROLOG 工业应用研讨会论文集 1993. 19-25 (1993)
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
杉山 英二,田村 直之: "優先度付き制約条件の解消アルゴリズムについて" PROLOG産業応用シンポジウム論文集1994. 11-18 (1994)
Eiji Sugiyama、Naoyuki Tamura:“关于优先约束的解析算法”PROLOG 工业应用研讨会论文集 1994. 11-18 (1994)
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
堀内 清光,田村 直之: "ファジィ数の体系について-公理的アプローチ-" 日本ファジィ学会誌. 6. 48-58 (1994)
Kiyomitsu Horiuchi、Naoyuki Tamura:“关于模糊数系统 - 公理化方法 -”日本模糊学会杂志 6. 48-58 (1994)。
- 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 }}
田村 直之其他文献
Recent Advances in SAT Solvers and their Utilization Technologies.
SAT 求解器及其应用技术的最新进展。
- DOI:
10.11309/jssst.35.72 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
宋 剛秀;番原 睦則;田村 直之;鍋島 英知 - 通讯作者:
鍋島 英知
CDCLソルバーにおける学習節の深さに基づく節管理戦略
CDCL求解器中基于学习子句深度的子句管理策略
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
田村 直之;井上 克巳;鍋島 英知;番原 睦則;宋 剛秀;三神 直彬,鍋島 英知;杉本 拓也,鍋島 英知;横前 菜々子,鍋島 英知 - 通讯作者:
横前 菜々子,鍋島 英知
システム環境の変化傾向に基づいた効率的な構成切 り替え手法
基于系统环境变化趋势的高效配置切换方法
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
吉玉元和;寸田智也;南雄之;宋剛秀;番原睦則;田村 直之;妙見侑祐,中川博之,土屋達弘 - 通讯作者:
妙見侑祐,中川博之,土屋達弘
alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用
一种不同约束的布尔基数约束编码方法的提出及其在皇后图着色问题中的应用
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
大野周亮;番原睦則;宋剛秀;田村 直之 - 通讯作者:
田村 直之
SATソルバーを用いた様相命題論理S4の充足可能性判定
使用 SAT 求解器确定模态命题逻辑 S4 的可满足性
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
飯野 有軌;田村 直之;番原 睦則;宋 剛秀 - 通讯作者:
宋 剛秀
田村 直之的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('田村 直之', 18)}}的其他基金
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
约束满足问题新型SAT求解技术的研究与开发
- 批准号:
22K11973 - 财政年份:2022
- 资助金额:
$ 0.77万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
TEMPO触媒酸化を用いた天然多糖類の化学改質及び応用展開
TEMPO催化氧化天然多糖的化学修饰及应用开发
- 批准号:
10J04347 - 财政年份:2010
- 资助金额:
$ 0.77万 - 项目类别:
Grant-in-Aid for JSPS Fellows
網膜神経節細胞死に対する神経保護薬の検索
寻找抗视网膜神经节细胞死亡的神经保护药物
- 批准号:
14770958 - 财政年份:2002
- 资助金额:
$ 0.77万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
古典線形論理に基づいた論理型言語に関する研究
基于经典线性逻辑的逻辑语言研究
- 批准号:
10139224 - 财政年份:1998
- 资助金额:
$ 0.77万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (A)