{"paper":{"title":"Human Emotion Verification by Action Languages via Answer Set Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"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.","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andreas Br\\\"annstr\\\"om, Juan Carlos Nieves","submitted_at":"2026-01-19T10:06:21Z","abstract_excerpt":"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, f"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"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.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"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.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"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.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"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.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"9a4b5004b52446f0c5809793a89312d15101828270696bb1748b6040facb78db"},"source":{"id":"2601.12912","kind":"arxiv","version":1},"verdict":{"id":"e4bb622b-96dd-4d8f-b1a6-edf5bba3b457","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-16T13:49:24.202876Z","strongest_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.","one_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.","pipeline_version":"pith-pipeline@v0.9.0","weakest_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.","pith_extraction_headline":"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."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2601.12912/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":78,"sample":[{"doi":"","year":2009,"title":"A logical formalization of the OCC theory of emotions","work_id":"d4dd59c9-f8e4-4116-a290-f5fd9b0e1d68","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2014,"title":"A BDI emotional reasoning engine for an artificial companion","work_id":"217a4c56-93d9-4677-971a-0a29e3d9a00c","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"Empathic conversational agents for real-time monitoring and co-facilitation of patient-centered healthcare","work_id":"4ec062e9-5a3b-4568-bbd7-87c1abce370b","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2014,"title":"Human-aware plan- ning: A survey related to joint human-agent activities","work_id":"332cfea8-4161-4410-ae40-8c60208e16fb","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1991,"title":"The theory of planned behavior","work_id":"ba455ddb-7d4f-4a36-91e8-06c8c42c728f","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":78,"snapshot_sha256":"7ef0e52cdc0f3ac8b7d38ddda54c507d880eb3a1a2813ef9f1503da646390c48","internal_anchors":2},"formal_canon":{"evidence_count":2,"snapshot_sha256":"e91ea5d91ec64d1a30d7ca1fd10db9b1a75419f57a4d2ae9b6bcc9c1c96841a4"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}