論文の概要: Human Emotion Verification by Action Languages via Answer Set Programming

• arxiv url: http://arxiv.org/abs/2601.12912v1
• Date: Mon, 19 Jan 2026 10:06:21 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-01-21 22:47:22.851506
• Title: Human Emotion Verification by Action Languages via Answer Set Programming
• Title（参考訳）: 回答セットプログラミングによる行動言語による人間感情の検証
• Authors: Andreas Brännström, Juan Carlos Nieves,
• Abstract要約: 動作言語C-MT(Mind Transition Language)を紹介する。 応答セットプログラミング(ASP)とトランジションシステムの上に構築されている。 感情などの精神状態を多次元構成として定式化する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this paper, we introduce the action language C-MT (Mind Transition Language). It is built on top of answer set programming (ASP) and transition systems to represent how human mental states evolve in response to sequences of observable actions. Drawing on well-established psychological theories, such as the Appraisal Theory of Emotion, we formalize mental states, such as emotions, as multi-dimensional configurations. With the objective to address the need for controlled agent behaviors and to restrict unwanted mental side-effects of actions, we extend the language with a novel causal rule, forbids to cause, along with expressions specialized for mental state dynamics, which enables the modeling of principles for valid transitions between mental states. These principles of mental change are translated into transition constraints, and properties of invariance, which are rigorously evaluated using transition systems in terms of so-called trajectories. This enables controlled reasoning about the dynamic evolution of human mental states. Furthermore, the framework supports the comparison of different dynamics of change by analyzing trajectories that adhere to different psychological principles. We apply the action language to design models for emotion verification. Under consideration in Theory and Practice of Logic Programming (TPLP).
• Abstract（参考訳）: 本稿では,動作言語C-MT(Mind Transition Language)を紹介する。 応答セットプログラミング(ASP)とトランジションシステムの上に構築され、観察可能な行動のシーケンスに応じて人間の精神状態がどのように進化するかを表現する。 感情評価理論のような確立された心理学理論に基づいて、感情のような精神状態を多次元的な構成として定式化する。 制御されたエージェント行動の必要性に対処し、行動の望ましくない精神的副作用を制限することを目的として、我々は、精神状態ダイナミクスに特化した表現とともに、精神状態間の有効な遷移に関する原則のモデリングを可能にする、新しい因果規則で言語を拡張した。 これらの心的変化の原理は、遷移制約と不変性に変換され、いわゆる軌道論の観点から遷移系を用いて厳密に評価される。 これにより、人間の精神状態の動的進化に関する制御された推論が可能になる。 さらに、このフレームワークは、異なる心理的原則に従う軌跡を分析することによって、変化の異なるダイナミクスの比較を支援する。 我々は感情検証のためのモデルの設計にアクション言語を適用した。 論理プログラミングの理論と実践(TPLP)

関連論文リスト

• A Unified Spoken Language Model with Injected Emotional-Attribution Thinking for Human-like Interaction [50.05919688888947]
  本稿では,感情的インテリジェンスのための統一言語モデルを提案する。 IEATは、ユーザーの感情状態とその根本原因をモデルの内部推論プロセスに組み込んでおり、明示的な監督として扱われるのではなく、感情を意識した推論を内部化することができる。 HumDial(Human-like Spoken Dialogue Systems Challenge)Emotional Intelligenceベンチマークの実験は、提案手法が感情軌道モデリング、感情的推論、共感的応答生成にまたがるトップランクのパフォーマンスを達成することを示した。
  論文  参考訳（メタデータ） (2026-01-08T14:07:30Z)
• Sentient Agent as a Judge: Evaluating Higher-Order Social Cognition in Large Language Models [75.85319609088354]
  SAGE(Sentient Agent as a Judge)は、大規模言語モデルの評価フレームワークである。 SAGEは人間のような感情の変化や内的思考をシミュレートするSentient Agentをインスタンス化する。 SAGEは、真に共感的で社会的に適応的な言語エージェントへの進捗を追跡するための、原則付き、スケーラブルで解釈可能なツールを提供する。
  論文  参考訳（メタデータ） (2025-05-01T19:06:10Z)
• From Rational Answers to Emotional Resonance: The Role of Controllable Emotion Generation in Language Models [16.350658746140788]
  大規模言語モデル(LLM)は、一貫性があり、制御可能で、文脈的に適切な方法で感情を表現するのに苦労する。 感情ベクトル(EV)に基づく制御可能な感情生成フレームワークを提案する。 本手法は、追加のトレーニングやアーキテクチャの変更なしに、感情のトーンを微調整し、連続的に調整することができる。
  論文  参考訳（メタデータ） (2025-02-06T13:38:57Z)
• A Computationally Grounded Framework for Cognitive Attitudes (extended version) [14.866324473006255]
  本稿では, エージェントの認知的態度を認知型と動機型の両方で推論するための新しい言語を紹介した。 私たちの言語には、暗黙の信念、完全な魅力、完全な反発、現実的な魅力、現実的な反発のための5種類のモーダル演算子が含まれています。 本稿では,信念変化操作の効果の推論を支援する言語の拡張について述べる。
  論文  参考訳（メタデータ） (2024-12-18T17:17:07Z)
• Improving Language Models for Emotion Analysis: Insights from Cognitive Science [0.0]
  心理学と認知科学の主な感情理論を提示する。 本稿では,自然言語処理における感情アノテーションの主な手法を紹介する。 感情分析のための言語モデルを改善するための方向性を提案する。
  論文  参考訳（メタデータ） (2024-06-11T07:42:13Z)
• AGENT: A Benchmark for Core Psychological Reasoning [60.35621718321559]
  直観心理学は、観察可能な行動を駆動する隠された精神変数を推論する能力です。 他のエージェントを推論する機械エージェントに対する近年の関心にもかかわらず、そのようなエージェントが人間の推論を駆動するコア心理学の原則を学ぶか保持するかは明らかではない。 本稿では,プロシージャが生成する3dアニメーション,エージェントを4つのシナリオで構成したベンチマークを提案する。
  論文  参考訳（メタデータ） (2021-02-24T14:58:23Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。