Prime implicates and prime implicants in modal logic

Authors:
Meghyn Bienvenu
Affiliations:
IRIT, Université Paul Sabatier, Toulouse Cedex, France
Venue:
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Year:
2007

Citing 3
Cited 4

Modal resolution in clausal form

Theoretical Computer Science
Modal logic

Modal logic
A knowledge compilation map

Journal of Artificial Intelligence Research

Uniform Interpolation by Resolution in Modal Logic

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Prime implicate normal form for ALC concepts

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Prime implicates and prime implicants: from propositional to modal logic

Journal of Artificial Intelligence Research
Linkless normal form for ALC concepts and TBoxes

KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of this paper is to extend the notions of prime implicates and prime implicants to the basic modal logic κ. We consider a number of different potential definitions of clauses and terms for κ, which we evaluate with respect to their syntactic, semantic, and complexity-theoretic properties. We then continue our analysis by comparing the definitions with respect to the properties of the notions of prime implicates and prime implicants that they induce. We provide algorithms and complexity results for the prime implicate generation and recognition tasks for the two most satisfactory definitions.