1
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Exploiting Belief Bases for Building Rich Epistemic Structures

      Preprint

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We introduce a semantics for epistemic logic exploiting a belief base abstraction. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and epistemic alternative are primitive, in the proposed semantics they are non-primitive but are defined from the concept of belief base. We show that this semantics allows us to define the universal epistemic model in a simpler and more compact way than existing inductive constructions of it. We provide (i) a number of semantic equivalence results for both the basic epistemic language with "individual belief" operators and its extension by the notion of "only believing", and (ii) a lower bound complexity result for epistemic logic model checking relative to the universal epistemic model.

          Related collections

          Most cited references28

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          Word problems requiring exponential time(Preliminary Report)

            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            Modal Logic

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              A guide to completeness and complexity for modal logics of knowledge and belief

                Bookmark

                Author and article information

                Journal
                21 July 2019
                Article
                10.4204/EPTCS.297.21
                1907.09114
                ba9932ed-a6cd-4d5a-9137-e52eb789e147

                http://arxiv.org/licenses/nonexclusive-distrib/1.0/

                History
                Custom metadata
                EPTCS 297, 2019, pp. 332-353
                In Proceedings TARK 2019, arXiv:1907.08335
                cs.GT cs.AI cs.LO
                EPTCS

                Theoretical computer science,Artificial intelligence
                Theoretical computer science, Artificial intelligence

                Comments

                Comment on this article