Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Evidence-Based Common Knowledge (Technical Report TR-2004018 CUNY Ph.D. Program in Computer Science, revised version)
 

Summary: Evidence-Based Common Knowledge
(Technical Report TR-2004018 CUNY Ph.D. Program in Computer Science, revised version)
Sergei Artemov
Graduate Center CUNY
Ph.D. Program in Computer Science
365 Fifth Avenue, New York, NY 10016
SArtemov@gc.cuny.edu
April 4, 2005
Abstract
In this paper we introduce a new type of knowledge operator, called evidence-
based knowledge, intended to capture the constructive core of common knowledge. An
evidence-based knowledge system is obtained by augmenting a multi-agent logic of
knowledge with a system of evidence assertions t: ("t is an evidence for ") based
on the following plausible assumptions: 1) each axiom has evidence; 3) evidence is
checkable; 3) any evidence implies individual knowledge for each agent. Normally, the
following monotonicity property is also assumed: 4) any piece of evidence is compatible
with any other evidence. We show that the evidence-based knowledge operator is a
stronger version of the common knowledge operator. Evidence-based knowledge is free
of logical omniscience, model-independent, and has a natural motivation. Furthermore,
evidence-based knowledge can be presented by normal multi-modal logics, which are

  

Source: Artemov, Sergei N. - Faculty of Mechanics and Mathematics, Moscow State University

 

Collections: Computer Technologies and Information Sciences