Strategic Knowledge Acquisition

Deuser, Kaya; Naumov, Pavel

doi:10.1145/3459993

Cited by 4 publications

(2 citation statements)

References 48 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The operator is also somewhat similar to the converse modality in logics of actions, such as, for example, Propositional Dynamic Logic (Parikh 1978;Schild 1991;De Giacomo and Lenzerini 1994). Unlike the converse modality or converse action in (Deuser and Naumov 2021), our past is unique, in common with widely accepted intuitions in temporal logic: the past is linear, even if the future is branching. There is just one history that actually happened.…”

Section: Related Workmentioning

confidence: 99%

Group Responsibility for Exceeding Risk Threshold

Gladyshev

Alechina

Dastani

et al. 2023

Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning

View full text Add to dashboard Cite

The need for tools and techniques to formally analyze and trace the responsibility for unsafe outcomes to decision-making actors is urgent. Existing formal approaches assume that the unsafe outcomes for which actors can be held responsible are actually realized. This paper considers a broader notion of responsibility where unsafe outcomes are not necessarily realized, but their probabilities are unacceptably high. We present a logic combining strategic, probabilistic and temporal primitives designed to express concepts such as the risk of an undesirable outcome and being responsible for exceeding a risk threshold. We demonstrate that the proposed logic is complete and decidable.

show abstract

Section: Related Workmentioning

confidence: 99%

Group Responsibility for Exceeding Risk Threshold

Gladyshev

Alechina

Dastani

et al. 2023

Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning

View full text Add to dashboard Cite

show abstract

“…The name "data-informed knowledge" is suggested by us in (Jiang and Naumov 2022a). We also proposed a dynamic logic for this modality (Deuser et al 2024).…”

Section: Introductionmentioning

confidence: 99%

The Logic of Doxastic Strategies

Jiang,

Naumov

2024

AAAI

View full text Add to dashboard Cite

In many real-world situations, there is often not enough information to know that a certain strategy will succeed in achieving the goal, but there is a good reason to believe that it will. The paper introduces the term "doxastic" for such strategies. The main technical contribution is a sound and complete logical system that describes the interplay between doxastic strategy and belief modalities.

show abstract