Pith Number

pith:W67YXOI5

pith:2026:W67YXOI56CLY7IXXA362MVXLOL

not attested not anchored not stored refs resolved

Human Emotion Verification by Action Languages via Answer Set Programming

Andreas Br\"annstr\"om, Juan Carlos Nieves

The C-MT action language models human mental state evolution using multi-dimensional emotion configurations and a forbids-to-cause rule to enforce psychological transition principles.

arxiv:2601.12912 v1 · 2026-01-19 · cs.AI

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{W67YXOI56CLY7IXXA362MVXLOL}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

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. This enables controlled reasoning about the dynamic evolution of human mental states.

C2weakest assumption

That established psychological theories such as Appraisal Theory can be faithfully encoded as multi-dimensional configurations and transition constraints without losing essential aspects of real human mental dynamics.

C3one line summary

C-MT extends ASP with mental-state transition rules and a forbids-to-cause construct to enable logical verification of emotion dynamics via trajectories and invariance properties.

References

78 extracted · 78 resolved · 2 Pith anchors

[1] A logical formalization of the OCC theory of emotions 2009

[2] A BDI emotional reasoning engine for an artificial companion 2014

[3] Empathic conversational agents for real-time monitoring and co-facilitation of patient-centered healthcare 2022

[4] Human-aware plan- ning: A survey related to joint human-agent activities 2014

[5] The theory of planned behavior 1991

Formal links

2 machine-checked theorem links

Receipt and verification

First computed	2026-06-19T16:10:34.385673Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

b7bf8bb91df0978fa2f706fda656eb72c43bf8e20b13b4f08d90fd0003d725a1

Aliases

arxiv: 2601.12912 · arxiv_version: 2601.12912v1 · doi: 10.48550/arxiv.2601.12912 · pith_short_12: W67YXOI56CLY · pith_short_16: W67YXOI56CLY7IXX · pith_short_8: W67YXOI5

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/W67YXOI56CLY7IXXA362MVXLOL \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: b7bf8bb91df0978fa2f706fda656eb72c43bf8e20b13b4f08d90fd0003d725a1

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "085c4af3645092c3701e5e003bc209ccca6c5e2ebd837c66d19ebe2f57f48727",
    "cross_cats_sorted": [],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2026-01-19T10:06:21Z",
    "title_canon_sha256": "1ab98ebee774526e342b6fb0e9857fcd9bb58580397835c1dd5e086d4b58b431"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2601.12912",
    "kind": "arxiv",
    "version": 1
  }
}