Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic

@inproceedings{Bolander2014SeeingIB,
  title={Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic},
  author={Thomas Bolander},
  booktitle={ECSI},
  year={2014}
}
In this paper we show how to formalise false-belief tasks like the SallyAnne task and the second-order chocolate task in Dynamic Epistemic Logic (DEL). False-belief tasks are used to test the strength of the Theory of Mind (ToM) of humans, that is, a human’s ability to attribute mental states to other agents. Having a ToM is known to be essential to human social intelligence, and hence likely to be essential to social intelligence of artificial agents as well. It is therefore important to find… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 41 references

Children's Application of Theory of Mind in Reasoning and Language

Journal of Logic, Language and Information • 2008
View 6 Excerpts
Highly Influenced

Knowledge and Belief: An Introduction to the Logic of the Two Notions

Jaakko Hintikka
1962
View 6 Excerpts
Highly Influenced

Announcements to Attentive Agents

Journal of Logic, Language and Information • 2016
View 3 Excerpts

Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic

Thomas Bolander
Proceedings of the European Conference on Social Intelligence (ECSI-2014), • 2014
View 2 Excerpts

Similar Papers

Loading similar papers…