A logic for reasoning about counterfactual emotions (Q543627): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The authors extend a certain fragment of the multi-agent {\text\textsf STIT} logic due to Belnap and Horty by knowledge operators for each agent. In this way, they are capable of formalizing so-called counterfactual emotions like regret and disappointment. As contrasted with the full {\text\textsf STIT} logic, including groups, the fragment considered in the paper turns out to be finitely axiomatizable, and its satisfiability problem to be NP-complete. Both axiomatizability and decidability extend to the logic enriched with the knowledge operators, while the complexity increases in the same way as it is known from the integrated epistemic logic then. Finally, for the purposes of giving a concrete example from the field of intelligent tutoring systems, the logic is further extended by public announcement operators. The paper contains instructive examples and an impressive list of references. | |||
Property / review text: The authors extend a certain fragment of the multi-agent {\text\textsf STIT} logic due to Belnap and Horty by knowledge operators for each agent. In this way, they are capable of formalizing so-called counterfactual emotions like regret and disappointment. As contrasted with the full {\text\textsf STIT} logic, including groups, the fragment considered in the paper turns out to be finitely axiomatizable, and its satisfiability problem to be NP-complete. Both axiomatizability and decidability extend to the logic enriched with the knowledge operators, while the complexity increases in the same way as it is known from the integrated epistemic logic then. Finally, for the purposes of giving a concrete example from the field of intelligent tutoring systems, the logic is further extended by public announcement operators. The paper contains instructive examples and an impressive list of references. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Bernhard Heinemann / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68T27 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B45 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5909464 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
STIT logic | |||
Property / zbMATH Keywords: STIT logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
epistemic logic | |||
Property / zbMATH Keywords: epistemic logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
public announcement logic | |||
Property / zbMATH Keywords: public announcement logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
formalizing emotions | |||
Property / zbMATH Keywords: formalizing emotions / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.artint.2010.11.022 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2025799736 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logical formalization of the OCC theory of emotions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternating-time temporal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternative axiomatics and complexity of deliberative STIT theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embedding Alternating-time Temporal Logic in Strategic Logic of Agency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Alternation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5715677 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intention is choice with commitment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many-dimensional modal logics: theory and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5688815 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A guide to completeness and complexity for modal logics of knowledge and belief / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3086943 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5422030 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The deliberative stit: A study of action, omission, ability, and obligation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cognitive structure of surprise: looking for basic principles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reasoning about emotional agents / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logical approach to the dynamics of commitments / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Modal Logic for Coalitional Power in Games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic logic of preference upgrade / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Toward a Dynamic Logic of Questions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:05, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A logic for reasoning about counterfactual emotions |
scientific article |
Statements
A logic for reasoning about counterfactual emotions (English)
0 references
17 June 2011
0 references
The authors extend a certain fragment of the multi-agent {\text\textsf STIT} logic due to Belnap and Horty by knowledge operators for each agent. In this way, they are capable of formalizing so-called counterfactual emotions like regret and disappointment. As contrasted with the full {\text\textsf STIT} logic, including groups, the fragment considered in the paper turns out to be finitely axiomatizable, and its satisfiability problem to be NP-complete. Both axiomatizability and decidability extend to the logic enriched with the knowledge operators, while the complexity increases in the same way as it is known from the integrated epistemic logic then. Finally, for the purposes of giving a concrete example from the field of intelligent tutoring systems, the logic is further extended by public announcement operators. The paper contains instructive examples and an impressive list of references.
0 references
STIT logic
0 references
epistemic logic
0 references
public announcement logic
0 references
formalizing emotions
0 references
0 references