NDLI: Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness

Please wait, while we are loading the content...

No regrets: or: Edith Piaf revamps decision theory

Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness

Learning, regret minimization and option pricing

Alternating-time temporal logics with irrevocable strategies

Games, geometry, and the computational complexity of finding equilibria

Epistemic analysis of strategic games with arbitrary strategy sets

Commonsense reasoning by distance semantics

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability

From conditional probability to the logic of doxastic actions

Knowledge-based modelling of voting protocols

Merging frameworks for interaction: DEL and ETL

The computational complexity of choice sets

A normal simulation of coalition logic and an epistemic extension

Limited verification of identities to induce false-name-proofness

Imaging and Sleeping Beauty: a case for double-halfers

Inexact knowledge, margin for error and positive introspection

Vote manipulation in the presence of multiple sincere ballots

Incorporating unawareness into contract theory

Theorems and unawareness

Common p-belief and uncertainty

A flexible mechanism for dialogue design

Dealing with logical omniscience

A canonical model for interactive unawareness

Unawareness, beliefs and games

Explaining quantity implicatures

Communication, consensus, and order.: Who wants to speak first?

Preservation of epistemic properties in security protocol implementations

Robust equilibria under non-common priors

Unawareness and strategic announcements in games with uncertainty

Perfect cryptography, S5 knowledge, and algorithmic knowledge

Judgment aggregation and the problem of truth-tracking

Generalized solution concepts in games with possibly unaware players

Convergence of behavior in social networks

Alternating-time temporal logic with explicit strategies

Sequential voting rules and multiple elections paradoxes

Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness

Content Provider	ACM Digital Library
Author	Alechina, Natasha Ågotnes, Thomas
Abstract	In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as "Ann knows that Bill is aware of something Ann is not aware of" - without using a stronger statement such as "Ann knows that Bill is aware of p and Ann is not aware of p", for some particular p. Recently, however, Halpern and Rêgo (2006) introduced a logic in which such statements about knowledge of unawareness can be expressed. The logic extends the traditional framework with quantification over formulae, and is thus very expressive. As a consequence, it is not decidable. In this paper we introduce a decidable logic which can be used to reason about certain types of unawareness. The logic extends the traditional framework with an operator expressing full awareness, i.e., the fact that an agent is aware of everything, and another operator expressing relative awareness, the fact that one agent is aware of everything another agent is aware of The logic is less expressive than Halpern's and Rêgo's logic. It is, however, expressive enough to express all of Halpern's and Rêgo's motivating examples. In addition to proving that the logic is decidable and that its satisfiability problem is PSPACE-complete, we present an axiomatisation which we show is sound and complete.
Starting Page	6
Ending Page	14
Page Count	9
File Format	PDF
DOI	10.1145/1324249.1324255
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-06-25
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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