Authors
Ewa Orlowska
Institute of Telecommunications and Information Technology
Abstract
One of the important issues in research on knowledge based computer systems is development of methods for reasoning about knowledge. In the present paper semantics for knowledge operators is introduced. The underlying logic is developed with epistemic operators relative to indiscernibility. Facts about knowledge expressible in the logic are discussed, in particular common knowledge and joint knowledge of n group of agents. Some paradoxes of epistemic logic are shown to be eliminated in the given system. A formal logical analysis of reasoning about knowledge is a subject of investigations both in logic and computer science , and several epistemic systems have been proposed to formalize the operator ‘an agent knows’. In the present paper we propose a formalization based on a semantic treatment of knowledge within the framework of rough set theory . The inspiration for the underlying epistemic logic came from the analysis of knowledge transfer in distributed systems developed in Orlowska and Sanders and from the author’s earlier work on indiscernibility and relative accessibility semantics
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19890350612
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,077
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

An Essay in Modal Logic.G. H. von Wright - 1951 - Amsterdam: North-Holland Pub. Co..
Recent Work in Epistemic Logic.Wolfgang Lenzen - 1978 - Acta Philosophica Fennica 30:1-219.

Add more references

Citations of this work BETA

The Modal Multilogic of Geometry.Philippe Balbiani - 1998 - Journal of Applied Non-Classical Logics 8 (3):259-281.
A Hierarchy of Modal Logics with Relative Accessibility Relations.Philippe Balbiani & Ewa Orlowska - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):303-328.
A Logic with Relative Knowledge Operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.
Display Calculi for Logics with Relative Accessibility Relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.

Add more citations

Similar books and articles

A Hybrid Logic for Reasoning About Knowledge and Topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
Reasoning and Logic.Jim Mackenzie - 1989 - Synthese 79 (1):99 - 117.
Reasoning About Knowledge Using Defeasible Logic.Douglas Walton - 2011 - Argument and Computation 2 (2-3):131 - 155.
Guest Editors’ Introduction.James Delgrande & Jérôme Lang - 2015 - Journal of Philosophical Logic 44 (2):111-115.
On the Emergence of Reasons in Inductive Logic.J. Paris & M. Wafy - 2001 - Logic Journal of the IGPL 9 (2):207-216.
Topological Reasoning and the Logic of Knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.
Knowledge and Practical Reasoning.Igor Douven - 2008 - Dialectica 62 (1):101–118.
Knowledge, Practical Reasoning and Action.Peter Baumann - 2012 - Logos and Episteme 3 (1):7-26.
Reasoning, Logic and Computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.

Analytics

Added to PP index
2013-12-01

Total views
34 ( #321,090 of 2,454,524 )

Recent downloads (6 months)
1 ( #449,188 of 2,454,524 )

How can I increase my downloads?

Downloads

My notes