Prime Implicates and Prime Implicants: From Propositional to Modal Logic

@article{Bienvenu2009PrimeIA,
  title={Prime Implicates and Prime Implicants: From Propositional to Modal Logic},
  author={Meghyn Bienvenu},
  journal={J. Artif. Intell. Res.},
  year={2009},
  volume={36},
  pages={71-128}
}
Prime implicates and prime implicants have proven relevant to a number of areas of artificial intelligence, most notably abductive reasoning and knowledge compilation. The purpose of this paper is to examine how these notions might be appropriately extended from propositional logic to the modal logic K. We begin the paper by considering a number of potential definitions of clauses and terms for K. The different definitions are evaluated with respect to a set of syntactic, semantic, and… CONTINUE READING
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 19 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 30 references

Propositional Abduction in Modal Logic

Logic Journal of the IGPL • 1995
View 6 Excerpts
Highly Influenced

Contribution á l’étude des méthodes de construction d’hypothèses en intelligence artificielle

P. Marquis
french, Université de Nancy I. • 1991
View 14 Excerpts
Highly Influenced

Consequence Finding in Modal Logic

M. Bienvenu
Ph.D. thesis, Université de Toulouse. • 2009
View 1 Excerpt

Prime Implicate Normal Form for ALC Concepts

Description Logics • 2008
View 2 Excerpts

Knowledge Compilation for Belief Change

Australian Conference on Artificial Intelligence • 2006
View 2 Excerpts

Similar Papers

Loading similar papers…