量的時間推論のための積構成への統一的アプローチ
本稿では、確率的プログラムや加重プログラムを含む様々な量的モデルに適用可能な、時間推論のための統一的な枠組みを提案しています。この枠組みは、システムと時間的性質の両方を余代数としてモデル化し、それらの積構成を分配法則として捉えることで、時間推論を体系的に行うことを可能にします。
A Unifying Coalgebraic Framework for Product Constructions in Quantitative Temporal Inference
This paper proposes a novel coalgebraic framework to unify and analyze product constructions used for efficient temporal inference in quantitative systems, including probabilistic and weighted programs.
페아노 공리계와 선형 논리 기반 산술 체계인 μMALL의 표현력 비교
본 논문에서는 선형 논리에 기반한 산술 체계인 μMALL을 소개하고, 이를 통해 고전적인 페아노 공리계를 표현할 수 있음을 보여준다. 특히, μMALL에서 정의된 함수의 계산 가능성을 증명하고, 고전 논리의 특징인 약화 규칙과 축약 규칙을 추가한 μLK+ p 증명 체계를 제시한다. 또한, μLK+ p 가 페아노 공리계를 포함하며 μMALL에 대한 보존적 확장임을 증명한다.
ペアノ算術と線形論理に基づく算術の形式化：μMALL
本稿では、線形論理に基づく算術の形式体系であるμMALLを紹介し、その証明能力と計算可能性について論じる。特に、アッカーマン関数のような帰納的関数の全域性を証明できることがμMALLの特徴である。
ペトリネットの決定可能性問題に関する25年間の研究概要
ペトリネットの決定可能性に関する広範な研究にもかかわらず、多くの重要な問題、特に振る舞い的等価性と分岐時間時相論理に関する問題は、依然として決定不能である。
サブチューリング対話型計算可能性に関する考察：計算資源のゲーム意味論的分析
従来の計算可能性論理（CoL）では無限の計算資源を前提としていたが、現実の計算機は有限の資源しか持たない。本稿では、無限のメモリなどの資源を外部資源とみなし、ゲーム意味論を用いて有限資源環境下での計算可能性を表現するCoLの新たな方向性を提案する。
Sub-Turing Interactive Computability in Computability Logic
This article proposes a shift in Computability Logic (CoL) from Turing computability to sub-Turing computability by treating infinite resources like memory as external factors, leading to a more nuanced understanding of computational resources and complexity.
多代理系統中責任的量化方法
本文提出了一種基於量化指標來衡量多代理系統中代理責任的方法，並探討了不同指標在不同情境下的適用性。
멀티 에이전트 시스템에서의 책임 측정: 행동 기반의 양적 접근 방식
본 논문은 멀티 에이전트 시스템에서 에이전트의 행동을 기반으로 특정 결과에 대한 책임 정도를 정량화하는 방법을 제시합니다.
マルチエージェントシステムにおける責任の度合いの測定
本稿では、マルチエージェントシステムにおけるエージェントの責任の度合いを、確率やエントロピーなどの尺度を用いて定量的に評価する枠組みを提案しています。
© 2024 by Linnk AI