本稿では、小さなベースカテゴリ上のブール理論に量化子の最初の層を自由にどのように追加するかを示す。これは、普遍理論を法として量化子の交替深度が高々1の式のヘルブランドの定理の理論版に相当する。
This paper presents a method for constructing the fragment of a Boolean doctrine representing formulas with quantifier alternation depth at most one, by leveraging a doctrinal interpretation of Herbrand's theorem.
確率論理プログラミング(PLP)におけるクエリに対する従来の説明は、関連性の低い情報を含む場合があり、因果関係の構造が欠如しているため、人間の理解を深めるために、クエリ駆動型の推論メカニズムと、よりコンパクトで操作しやすい選択表現を用いた説明の解釈方法を提案する。
This paper introduces a novel approach to enhancing explainability in Probabilistic Logic Programming (PLP) by combining proof trees with a new, compact representation for sets of choices called "choice expressions."
본 문서는 전이 시스템, 특히 페트리 넷에서 불변성 및 홈 공간의 개념을 소개하고, 선형 대수를 활용하여 이러한 개념을 기반으로 시스템의 동작 속성을 분석하고 검증하는 방법을 제시합니다.
本稿では、遷移システム、特にペトリネットにおける不変量の概念と計算手法を線形代数を用いて解説し、セミフローと生成集合に関する新たな知見を提供することで、ペトリネットの挙動解析における不変量の有用性を示す。
This lecture note explores the use of linear algebra and algebraic geometry for analyzing invariants and home spaces in transition systems, particularly Petri Nets, to formally verify system behavior.
본 논문에서는 상태 전이 시스템을 비교하기 위해 방향성 비시뮬레이션과 양의 Hennessy-Milner 논리를 사용하여 한 상태의 이론이 다른 상태의 이론에 포함되는 조건을 특징짓는 새로운 관점을 제시합니다.
ラベル付き遷移システムにおける状態の等価性を検証する手法として、分岐双模倣とHennessy-Milner論理の密接な関係が知られています。本論文では、従来の理論の包含関係に着目し、正のHennessy-Milner論理と呼ぶ新しい論理を導入することで、状態間のより詳細な関係性を捉えることを提案しています。さらに、Apartnessと呼ばれる双模倣の双対概念を用いることで、この関係性をより分かりやすく証明しています。
This paper introduces a "directed" variant of the Hennessy-Milner theorem for branching bisimulation, showing that one state is directed branching bisimilar to another precisely when its theory in Positive Hennessy-Milner Logic with Until (PHMLU) is included in the other.