IMPLEMENTING PRIORITIZED REASONING IN LOGIC PROGRAMMING

Luciano Caroprese, Irina Trubitsyna, Ester Zumpano

2007

Abstract

Prioritized reasoning is an important extension of logic programming and is a powerful tool for expressing desiderata on the program solutions in order to establish the best ones. This paper discusses the implementation of the case of preference relation among atoms and introduces a system, called CHOPPER, realizing choice optimization recently proposed in (Caroprese et al., 2007). CHOPPER supports the ASOCh and ASOFCh semantics based on the concept of “choice”, as a set of preference rules describing common choice options in different contexts, and the ASO semantics (Brewka et al., 2003), which valuates each preference rule separately. This paper outlines the architecture of the system, discusses aspects of the choice identification strategies and of the feasibility of choice options. Moreover, the comparison of the proposed approach with the other implementation approaches proposed in the literature is provided.

References

  1. Brewka, G. (2002). Logic programming with ordered disjunction. In Proc. of the 18th Nat. Conf. on Artificial Intelligence (AAAI/IAAA), pages 100-105. AAAI Press.
  2. Brewka, G. and Eiter, T. (1999). Preferred answer sets for extended logic programs. Artificial Intelligence, 109(1-2):297-356.
  3. Brewka, G., Niemela, I., and Truszczynski, M. (2003). Answer set optimization. In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, pages 867-872. Morgan Kaufmann.
  4. Caroprese, L., Trubitsyna, I., and Zumpano, E. (2007). A framework for prioritized reasoning based on the choice evaluation. In Proc. of the 22nd Annual ACM Symposium on Applied Computing.
  5. Cholewinski, P., Marek, V. W., and Truszczynski, M. (1996). Default reasoning system deres. In Proc. of the 5th Int. Conf. KR'97, pages 518-528. Morgan Kaufmann.
  6. Delgrande, J. P., Schaub, T., and Tompits, H. (2000). Logic programs with compiled preferences. In Proc. of the 14th Eur. Conf. on Artificial Intelligence, pages 464- 468. IOS Press.
  7. Delgrande, J. P., Schaub, T., and Tompits, H. (2003). A framework for compiling preferences in logic programs. TPLP, 3(2):129-187.
  8. Delgrande, J. P., Schaub, T., Tompits, H., and K., W. (2004). A classification and survey of preference handling approaches in nonmonotonic reasoning. Computational Intelligence, 20(2):308-334.
  9. Gelfond, M. and Son, T. (1997). Reasoning with prioritized defaults. In Proc. of the 3d Int. Workshop LPKR'97, pages 164-223. Springer.
  10. Janhunen, T., Niemela, I., Simons, P., and You, J.-H. (2000). Unfolding partiality and disjunctions in stable model semantics. In Proc. of the 7th Int. Conf. KR'00, pages 411-419. Morgan Kaufmann.
  11. Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell'Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Koch, K., Perri, S., and Polleres, A. (2002). The dlv system. In Proc. of Eur. Conf. JELIA'02, pages 537-540. Springer.
  12. Sakama, C. and Inoue, K. (2000). Priorized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123:185-222.
  13. Syrjanen, T. and Niemela, I. (2001). The smodels system. In Proc. of the 6th Int. Conf. LPNMR'01, pages 434- 438. Springer.
  14. Wakaki, T., Inoue, K. nd Sakama, C., and Nitta, K. (2003). Computing preferred answer sets in answer set programming. In Proc. of the 10th Int. Conf. LPAR'03, pages 259-273. Springer.
Download


Paper Citation


in Harvard Style

Caroprese L., Trubitsyna I. and Zumpano E. (2007). IMPLEMENTING PRIORITIZED REASONING IN LOGIC PROGRAMMING . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-972-8865-89-4, pages 94-100. DOI: 10.5220/0002353800940100


in Bibtex Style

@conference{iceis07,
author={Luciano Caroprese and Irina Trubitsyna and Ester Zumpano},
title={IMPLEMENTING PRIORITIZED REASONING IN LOGIC PROGRAMMING},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2007},
pages={94-100},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002353800940100},
isbn={978-972-8865-89-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - IMPLEMENTING PRIORITIZED REASONING IN LOGIC PROGRAMMING
SN - 978-972-8865-89-4
AU - Caroprese L.
AU - Trubitsyna I.
AU - Zumpano E.
PY - 2007
SP - 94
EP - 100
DO - 10.5220/0002353800940100