論理と形式手法

Logga in

insikt - 論理と形式手法

LTLからCOCOAへの直接的な変換手順を提案し、LTLからパリティ自動機への変換にも応用できる。この変換手順は自然色の定義を活用し、従来の複雑な構成を回避できる。

本論文では、構成的μ-計算のためのゲームセマンティクスを定義し、二関係Kripkeセマンティクスとの同値性を証明する。さらに、このゲームセマンティクスを用いて、μ-計算がIS5上でモーダル論理に崩壊することを示し、μIS5の完全性を証明する。

スキップフリーガードKleene代数テスト(GKAT)の大きな断片について、ビシミュレーション意味論と言語意味論の両方に関して完全な代数的な公理化を提示する。

時間付き論理において、任意の時間区間内での事象の数え上げを表現する方法を明らかにした。特に、区間 ⟨a,b⟩ 内での数え上げを、区間 [0,b⟩ 内での数え上げを用いて表現できることを示した。

本論文では、アーベル論理の拡張であるアーベル指向論理(superabelian logic)と、無限値論理の拡張である無限値アーベル論理(infinitary Lukasiewicz unbound logic)の関係を明らかにする。

o-最小構造 T の T-凸拡大において、弱即時型は T-λ-球面完備化を特徴づける。

本論文では、推移的閉包のモーダル論理K+に対応する正当化論理J+を提示し、これらの2つのシステム間の正常な実現定理を確立する。この結果は、非良形式証明を許容する sequent calculus を用いて得られた。

確率論的プログラミングは、一般的なコンピュータープログラミング、統計的推論、および形式的意味論を組み合わせて、不確実性に直面するシステムの意思決定を支援する。本研究では、確率論的関係を提案し、これらの課題に取り組むための一歩を踏み出す。

大規模言語モデルの論理推論能力を向上させるために、入力コンテキストから論理的表現を抽出し、拡張し、自然言語に翻訳して入力プロンプトに組み込む。

本論文は、二値論理推論タスクのための新しいプロンプトエンジニアリング手法「Judgment of Thought (JoT)」を提案する。JoTは弁護士、検察官、裁判官の3つの役割を使って、より信頼性の高い推論を行う。

Produkter | Resurser

Insikter