NDLI: The interrogative model of inquiry meets dynamic epistemic logics

Content Provider	Springer Nature Link
Author	Hamami, Yacin
Copyright Year	2014
Abstract	The Interrogative Model of Inquiry (IMI) and Dynamic Epistemic Logics (DELs) are two central paradigms in formal epistemology. This paper is motivated by the observation of a significant complementarity between them: on the one hand, the IMI provides a framework for investigating inquiry represented as an idealized game between an Inquirer and Nature, along with an account of the interaction between questions and inferences in information-seeking processes, but is lacking a formulation in the multi-agent case; on the other hand, DELs model various operations of information change in multi-agent systems, but the field is lacking a proper integration of question and inference dynamics, along with an application to the investigation of inquiry processes. The goal of this paper is to integrate the two paradigms in such a way as to combine their respective insights. To this end, we develop a formal system called DEL $$_\mathrm{IMI }$$ which aims to represent the interaction between question and inference dynamics in inquiry—as described by the IMI—in a multi-agent setting, and this in such a way as to enable an investigation of inquiry games with multi-agent dimensions. The DEL $$_\mathrm{IMI }$$ system is designed to represent the possible moves of such inquiry games through three types of epistemic actions: agents addressing questions to Nature, agents addressing questions to other agents, agents drawing logical inferences. We then show how the resulting framework can be used to formally define multi-agent inquiry games. We conclude by evaluating the interest of the DEL $$_\mathrm{IMI }$$ system for the IMI and DELs paradigms.
Starting Page	1609
Ending Page	1642
Page Count	34
File Format	PDF
ISSN	00397857
Journal	Synthese
Volume Number	192
Issue Number	6
e-ISSN	15730964
Language	English
Publisher	Springer Netherlands
Publisher Date	2014-08-26
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Interrogative model of inquiry Dynamic epistemic logics Question Inference Multi-agent inquiry games Philosophy of Science Epistemology Logic Philosophy of Language Metaphysics
Content Type	Text
Resource Type	Article
Subject	Philosophy Social Sciences

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Dynamic logics of knowledge and access

Logics of temporal-epistemic actions

Inference and update

Multi-agent Justification Logic: communication and evidence elimination

The game of inquiry: the interrogative approach to inquiry and belief revision theory

Logics for Epistemic Programs

Exploring the tractability border in epistemic tasks

Comparing Semantics of Logics for Multi-Agent Systems

Extending probabilistic dynamic epistemic logic

The interrogative model of inquiry meets dynamic epistemic logics

Similar Documents

Dynamic logics of knowledge and access

Logics of temporal-epistemic actions

Inference and update

Multi-agent Justification Logic: communication and evidence elimination

The game of inquiry: the interrogative approach to inquiry and belief revision theory

Logics for Epistemic Programs

Exploring the tractability border in epistemic tasks

Comparing Semantics of Logics for Multi-Agent Systems

Extending probabilistic dynamic epistemic logic

The interrogative model of inquiry meets dynamic epistemic logics