論文の概要: Model Transformations for Ranking Functions and Total Preorders
- arxiv url: http://arxiv.org/abs/2203.14018v1
- Date: Sat, 26 Mar 2022 07:58:33 GMT
- ステータス: 処理完了
- システム内更新日: 2022-03-29 14:44:58.083225
- Title: Model Transformations for Ranking Functions and Total Preorders
- Title（参考訳）: ランキング関数と全前順序に対するモデル変換
- Authors: Jonas Haldimann, Christoph Beierle
- Abstract要約: 一つの視点から別の視点へ認識状態を変換するモデル変換の概念を導入する。
本稿では,モデル変換による信念修正のために,もともと信念集合のために開発された構文分割のよく知られた利点をいかに活用できるかを示す。
- 参考スコア（独自算出の注目度）: 3.42658286826597
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In the field of knowledge representation, the considered epistemic states are
often based on propositional interpretations, also called worlds. E.g.,
epistemic states of agents can be modelled by ranking functions or total
preorders on worlds. However, there are usually different ways of how to
describe a real world situation in a propositional language; this can be seen
as different points of view on the same situation. In this paper we introduce
the concept of model transformations to convert an epistemic state from one
point of view to another point of view, yielding a novel notion of equivalence
of epistemic states. We show how the well-known advantages of syntax splitting,
originally developed for belief sets and later extended to representation of
epistemic states and to nonmonotonic reasoning, can be exploited for belief
revision via model transformation by uncovering splittings not being present
before. Furthermore, we characterize situations where belief change operators
commute with model transformations.
- Abstract（参考訳）: 知識表現の分野において、認識論的と見なされる状態は、しばしば命題的解釈に基づいている(世界とも呼ばれる)。
例えば、エージェントのエピステマティック状態は、世界のランキング関数や総序列によってモデル化することができる。
しかし、通常、命題言語で実世界の状況を記述する方法には異なる方法があり、これは同じ状況に対する異なる視点として見ることができる。
本稿では,認識論的状態をある視点から別の視点へ変換するモデル変換の概念を導入し,認識論的状態の等価性という新しい概念を導出する。
本研究は, 認識論的状態の表現や非単調な推論に拡張され, 従来存在しなかった分割を明らかにすることによって, モデル変換による信念修正を活用できることを示すものである。
さらに,信念変化オペレーターがモデル変換と通勤する状況の特徴付けを行う。
関連論文リスト
- A Complexity-Based Theory of Compositionality [53.025566128892066]
AIでは、構成表現は配布外一般化の強力な形式を可能にすることができる。
ここでは、構成性に関する直観を考慮し、拡張する構成性の公式な定義を提案する。
この定義は概念的には単純で量的であり、アルゴリズム情報理論に基礎を置いており、あらゆる表現に適用できる。
論文 参考訳（メタデータ） (2024-10-18T18:37:27Z) - A hierarchical Bayesian model for syntactic priming [5.765747251519448]
シナティックプライミングの効果は、よく文書化された3つの経験的性質を示す。
本稿では,これら3つの現象を一般学習の枠組みで再現する方法について述べる。
また,構文プライミングの語彙的基礎に対するモデルの影響についても論じる。
論文 参考訳（メタデータ） (2024-05-24T22:26:53Z) - An Axiomatic Approach to Model-Agnostic Concept Explanations [67.84000759813435]
本稿では、線形性、再帰性、類似性という3つの自然な公理を満たす概念的説明へのアプローチを提案する。
次に、従来の概念的説明手法とのつながりを確立し、それらの意味の異なる意味についての洞察を提供する。
論文 参考訳（メタデータ） (2024-01-12T20:53:35Z) - Inverse Decision Modeling: Learning Interpretable Representations of
Behavior [72.80902932543474]
我々は,逆決定モデルに関する表現的,統一的な視点を開拓する。
これを逆問題(記述モデルとして)の形式化に用います。
この構造が(有界な)有理性の学習(解釈可能な)表現を可能にする方法について説明する。
論文 参考訳（メタデータ） (2023-10-28T05:05:01Z) - Algebras of actions in an agent's representations of the world [51.06229789727133]
我々は、対称性に基づく非交叉表現学習形式から対称性に基づく表現を再現するために、我々のフレームワークを使用する。
次に、簡単な強化学習シナリオで発生する特徴を持つ世界の変換の代数について研究する。
私たちが開発した計算手法を用いて、これらの世界の変換の代数を抽出し、それらの性質に応じてそれらを分類する。
論文 参考訳（メタデータ） (2023-10-02T18:24:51Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - A calculus for epistemic interactions [0.5156484100374059]
E-calculusはエージェントの環境との相互作用をモデル化するための概念フレームワークである。
本稿では,エージェントの環境との相互作用をモデル化するための概念フレームワークであるe-calculusを提案する。
e-計算の挙動論は2つの異なる視点で展開される。
論文 参考訳（メタデータ） (2022-06-29T09:54:58Z) - Latent Topology Induction for Understanding Contextualized
Representations [84.7918739062235]
本研究では,文脈的埋め込みの表現空間について検討し,大規模言語モデルの隠れトポロジについて考察する。
文脈化表現の言語特性を要約した潜在状態のネットワークが存在することを示す。
論文 参考訳（メタデータ） (2022-06-03T11:22:48Z) - Probabilistic modelling of rational communication with conditionals [0.0]
条件に関する実用的推論には確率論的アプローチを採用する。
本モデルは,文献で検証された推論を一様に説明できることを示す。
論文 参考訳（メタデータ） (2021-05-12T08:21:25Z) - Distributional Formal Semantics [0.18352113484137625]
形式モデルレベルでの形式的意味論システムへの分布性を統合する分布形式的セマンティクスを提案する。
このアプローチは、本質的に構成的である確率的で分散的な意味表現を提供する。
これらの表現が確率的推論を可能にする方法と、「情報」の情報理論的概念がそれから自然に従う方法を示す。
論文 参考訳（メタデータ） (2021-03-02T13:38:00Z) - Space of Reasons and Mathematical Model [8.475081627511166]
推論関係は私たちの概念の使用を支配します。
概念を理解するためには、意味のある空間に配置する必要がある。
重要な質問は: 言語の使用条件はどのように表現できるのか。
論文 参考訳（メタデータ） (2020-07-06T01:13:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。