Skip to main content
Springer Nature Link
Log in

Implementing Prioritized Merging with ASP

  • Conference paper
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods (IPMU 2010)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 80))

  • 1012 Accesses

Abstract

The paper addresses the extension of the removed sets framework to prioritized removed sets fusion (PRSF). It discusses the links between PRSF and iterated removed sets revision and shows that PRSF satisfy most of the postulates proposed for prioritized merging. An implementation of this new syntactic prioritized fusion operator is proposed thanks to answer sets programming.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Anger, C., Konczak, K., Linke, T.: Nomore: Non-monotonic reasoning with logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 521–524. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  2. Baral, C., Brewka, G., Schlipf, J. (eds.): LPNMR 2007. LNCS (LNAI), vol. 4483. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  3. Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining knowledge bases consisting of first order theories. In: Raś, Z.W., Zemankova, M. (eds.) ISMIS 1991. LNCS, vol. 542, pp. 92–101. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  4. Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proc. of IJCAI 1993, pp. 640–647 (1993)

    Google Scholar 

  5. Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Possibilistic Merging and Distance-based Fusion of Propositional Information. AMAI 34(1-3), 217–252 (2002)

    MathSciNet  MATH  Google Scholar 

  6. Benferhat, S., Dubois, D., Prade, H.: Reasoning in inconsistent stratified knowledge bases. In: Proc. of ISMVL 1996, pp. 184–189 (1996)

    Google Scholar 

  7. Benferhat, S., Dubois, D., Prade, H., Williams, M.-A.: A practical approach to revising prioritized knowledge bases. In: KES, pp. 170–173 (1999)

    Google Scholar 

  8. Benferhat, S., Kaci, S.: Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases. Artif. Intell. 148(1-2), 291–333 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  9. Benferhat, S., Kaci, S., Le Berre, D., Williams, M.-A.: Weakening conflicting information for iterated revision and knowledge integration. Artif. Intell. 153(1-2), 339–371 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  10. Bloch, I., Lang, J.: Towards mathematical morpho-logics. In: Technologies for constructing intelligent systems: tools, pp. 367–380. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Cholvy, L.: Reasoning about merging information. In: Handbook of DRUMS, vol. 3, pp. 233–263 (1998)

    Google Scholar 

  12. Delgrande, J., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proc. of KR 2006, pp. 210–220 (2006)

    Google Scholar 

  13. Dubois, D., Lang, J., Prade, H.: Possibilistic Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439–513 (1994)

    Google Scholar 

  14. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The kr system dlv: progress report, comparison and benchmarks. In: Proc. of KR 1998, pp. 406–417 (1998)

    Google Scholar 

  15. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Int. Conf. on Log. Prog., pp. 1070–1080 (1988)

    Google Scholar 

  16. Giunchiglia, E., Lierler, Y., Maratea, M.: Sat-based answer set programming. In: Proc. of AAAI 2004, pp. 25–29 (2004)

    Google Scholar 

  17. Hue, J., Papini, O., Würbel, E.: Syntactic propositional belief bases fusion with removed sets. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 66–77. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  18. Hunter, A., Liu, W.: Knowledge base stratification and merging based on degree of support. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 383–395. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  19. Hue, J., Papini, O., Würbel, E.: Removed sets fusion: Performing off the shelf. In: Proc. of ECAI 2008. Frontiers in Artificial Intelligence and Applications, pp. 94–98. IOS Press, Amsterdam (2008)

    Google Scholar 

  20. Konieczny, S.: On the difference between merging knowledge bases and combining them. In: Proc of KR 2000, pp. 135–144. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  21. Konieczny, S., Lang, J., Marquis, P.: Distance-based merging: A general framework and some complexity results. In: Proc. of KR 2002, pp. 97–108 (2002)

    Google Scholar 

  22. Konieczny, S., Pino Pérez, R.: On the logic of merging. In: Proc. of KR 1998, pp. 488–498 (1998)

    Google Scholar 

  23. Lafage, C., Lang, J.: Logical representation of preferences for group decision making. In: Proc. of KR 2000, pp. 457–468. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  24. Lin, F., Zhao, Y.: Assat: computing answer sets of a logic program by sat solvers. Artif. Intell. 157(1-2), 115–137 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  25. Meyer, T., Ghose, A., Chopra, S.: Syntactic representations of semantic merging operations. In: Proc. of Workshop IDK. IJCAI 2001, pp. 36–42 (2001)

    Google Scholar 

  26. Niemelä, I., Simons, P.: An implementation of stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420–429. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  27. Qi, G.: A semantic approach for iterated revision in possibilistic logic. In: Proc. of AAAI 2008, pp. 523–528 (2008)

    Google Scholar 

  28. Rao, P., Sagonas, K., Swift, T., Warren, D.S., Friere, J.: Xsb: A system for efficiently computing well-founded semantics. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 430–440. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  29. Revesz, P.Z.: On the semantics of arbitration. Journ. of Alg. and Comp. 7(2), 133–160 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  30. Fagin, R., Kuper, G.M., Ullman, J.D., Vardi, M.Y.: Updating logical databases. In: Advances in computing research, pp. 1–18 (1986)

    Google Scholar 

  31. Simons, P.: Extending and implementing the stable model semantics (2000)

    Google Scholar 

  32. Würbel, E., Jeansoulin, R., Papini, O.: Revision: An application in the framework of gis. In: Proc. of KR 2000, pp. 505–516 (2000)

    Google Scholar 

  33. Yue, A., Liu, W., Hunter, A.: Approaches to constructing a stratified merged knowledge base. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 54–65. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LSIS-CNRS 6168, Université du Sud Toulon -Var., BP 132, 83957, La Garde Cedex, France

    Julien Hue & Eric Würbel

  2. LSIS-CNRS 6168, ESIL, Université de la Méditerranée, 163 Av de Luminy,Case, 925 13288, Marseille Cedex 9, France

    Odile Papini

Authors
  1. Julien Hue
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Odile Papini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eric Würbel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Marburg, Germany

    Eyke Hüllermeier

  2. Department of Knowledge Processing and Language Engineering, Otto-von-Guericke University of Magdeburg, Universitätsplatz 2, 39106, Magdeburg, Germany

    Rudolf Kruse

  3. Fakultät für Elektrotechnik und Informationstechnik, Technische Universität Dortmund, 44221, Dortmund, Germany

    Frank Hoffmann

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hue, J., Papini, O., Würbel, E. (2010). Implementing Prioritized Merging with ASP. In: Hüllermeier, E., Kruse, R., Hoffmann, F. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods. IPMU 2010. Communications in Computer and Information Science, vol 80. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14055-6_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14055-6_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14054-9

  • Online ISBN: 978-3-642-14055-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics