法律知識ベースの構築支援システムの研究
法律知识库建设支撑系统研究
基本信息
- 批准号:05208202
- 负责人:
- 金额:$ 1.15万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research on Priority Areas
- 财政年份:1993
- 资助国家:日本
- 起止时间:1993 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
平成5年度は、国際統一売買法のなかで最も基礎的な部分である「契約の成立」に関する法律の構造を詳しく考察した。その分析結果を確認し、さらに発展させるために、知識表現言語UL/αによって、国際統一売買法のための法的推論システムLEG/1(仮称)を作成した。LEG/1は、ある契約がある時点で成立しているか否かを推論するシステムである。本研究の技術的な要点は、次のとおりである。1.法的推論のための最適な知識表現を探求した。2.継承や仮説や時間を柔軟に扱う法的推論システムを構築した。3.よりよい解を求めるために、確信度を区間で表現してそれを計算する枠組を検討した。4.仮説を適切に処理するために、最良優先探索法を宣言型計算モデルの計算として定式化し、部分的に実装した。現在の課題の1つは、仮説に確実度を導入し、より現実的な推論を達成することである。これをうまく達成するには、最良優先探索という枠組が必要である。現在これを、UL/αより進んだ計算システムであるRBPTを用いて実現中であり、その概形がほぼできている。
In 2005, the most basic part of the International Uniform Purchase Law was the legal structure related to the establishment of the Contract. The results of the analysis are confirmed, developed, knowledge expressed, and the inference of the international unified purchase method is LEG/1. LEG/1 is valid at the time of contract. The main points of this study are: 1. The inference of law and the most appropriate knowledge representation are explored. 2. The inferences of the time and method are constructed. 3. The solution to the problem is to calculate the confidence interval. 4. The best priority search method is to determine the calculation of the appropriate processing method and the partial implementation method. Now the subject of the first, said the accuracy of the introduction, and now the inference to achieve the goal. If this is achieved, the best priority exploration and formation are necessary. Now, UL/α
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
赤間 清其他文献
Conceptual Modeling and Transformation of Dynamic Interactive Systems
动态交互系统的概念建模和转换
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
加藤 克宜;赤間 清;中村 佳祐;C.Powell and K.Akama - 通讯作者:
C.Powell and K.Akama
リンケージ同定とコンテクスト依存交叉を用いた遺伝的アルゴリズムの並列化
使用连锁识别和上下文相关交叉的遗传算法并行化
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
辻 美和子;棟朝雅晴;赤間 清 - 通讯作者:
赤間 清
赤間 清的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('赤間 清', 18)}}的其他基金
メタ計算の進化的探索に基づく正当で効率的なプログラムの自動生成
基于元计算进化搜索自动生成有效高效的程序
- 批准号:
16650003 - 财政年份:2004
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Exploratory Research
ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究
改进软件开发的等价转换规则自动生成研究
- 批准号:
10139202 - 财政年份:1998
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (A)
ソフトウェアの発展を可能にする等価変換に基づくシステム構築法の研究
基于等价变换的软件开发系统构建方法研究
- 批准号:
09245202 - 财政年份:1997
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
等価変換に基づく知識処理システム構築方法の研究
基于等价变换构建知识处理系统的研究
- 批准号:
08878045 - 财政年份:1996
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Exploratory Research
不完全知識下の法的推論の実現方法の研究
不完全知识下如何实现法律推理研究
- 批准号:
08204203 - 财政年份:1996
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
柔軟で高速な法的推論の実現方法の研究
如何实现灵活快速的法律推理研究
- 批准号:
07204201 - 财政年份:1995
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
プログラム変換に基づいた知識処理マシンの作成
创建基于程序变换的知识加工机器
- 批准号:
07558161 - 财政年份:1995
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
法的推論を基礎とした知識獲得支援システムの研究
基于法律推理的知识获取支持系统研究
- 批准号:
06207202 - 财政年份:1994
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
帰納的学習システムを作製するための言語の開発
开发用于创建归纳学习系统的语言
- 批准号:
58780018 - 财政年份:1983
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
外界から得た情報を構造化して自己の知識体系をつくってゆく学習システムの作成
创建一个学习系统,通过构建从外部世界获得的信息来创建知识体系
- 批准号:
X00210----575221 - 财政年份:1980
- 资助金额:
$ 1.15万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
CAREER: Game Theoretic Models for Robust Cyber-Physical Interactions: Inference and Design under Uncertainty
职业:稳健的网络物理交互的博弈论模型:不确定性下的推理和设计
- 批准号:
2336840 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Continuing Grant
Spectral embedding methods and subsequent inference tasks on dynamic multiplex graphs
动态多路复用图上的谱嵌入方法和后续推理任务
- 批准号:
EP/Y002113/1 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Research 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
- 资助金额:
$ 1.15万 - 项目类别:
Research Grant
CAREER: Statistical foundations of particle tracking and trajectory inference
职业:粒子跟踪和轨迹推断的统计基础
- 批准号:
2339829 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Continuing Grant
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic Encryption
合作研究:SHF:小型:基于密文-密文全同态加密的高效、可扩展的隐私保护神经网络推理
- 批准号:
2412357 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Standard Grant
CAREER: Efficient Large Language Model Inference Through Codesign: Adaptable Software Partitioning and FPGA-based Distributed Hardware
职业:通过协同设计进行高效的大型语言模型推理:适应性软件分区和基于 FPGA 的分布式硬件
- 批准号:
2339084 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Continuing Grant
AI4PhotMod - Artificial Intelligence for parameter inference in Photosynthesis Models
AI4PhotMod - 用于光合作用模型中参数推断的人工智能
- 批准号:
BB/Y51388X/1 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Research Grant
CSR: Small: Latency-controlled Reduction of Data Center Expenses for Handling Bursty ML Inference Requests
CSR:小:通过延迟控制减少数据中心处理突发 ML 推理请求的费用
- 批准号:
2336886 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Standard Grant
CAREER: Statistical Inference in Observational Studies -- Theory, Methods, and Beyond
职业:观察研究中的统计推断——理论、方法及其他
- 批准号:
2338760 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Continuing Grant
STATISTICAL AND COMPUTATIONAL THRESHOLDS IN SPIN GLASSES AND GRAPH INFERENCE PROBLEMS
自旋玻璃和图推理问题的统计和计算阈值
- 批准号:
2347177 - 财政年份:2024
- 资助金额:
$ 1.15万 - 项目类别:
Standard Grant