Skip to main content Accessibility help
×
Home

On the stable model semantics for intensional functions

  • MICHAEL BARTHOLOMEW (a1) and JOOHYUNG LEE (a1)

Abstract

Several extensions of the stable model semantics are available to describe ‘intensional’ functions—functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited for alleviating the grounding bottleneck involving functional fluents. However, the extensions were defined in different ways under different intuitions. In this paper we provide several reformulations of the extensions, and note that they are in fact closely related to each other and coincide on large syntactic classes of logic programs.

Copyright

References

Hide All
Balduccini, M. 2012a. An answer set solver for non-Herbrand programs: Progress report. In ICLP (Technical Communications), 49–60.
Balduccini, M. 2012b. A “conservative” approach to extending answer set programming with non-Herbrand functions. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, 24–39.
Bartholomew, M. and Lee, J. 2012. Stable models of formulas with intensional functions. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 2–12.
Bartholomew, M. and Lee, J. 2013. Functional stable model semantics and answer set programming modulo theories. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), To appear.
Cabalar, P. 2011. Functional answer set programming. TPLP 11, 2–3, 203233.
Ferraris, P., Lee, J. and Lifschitz, V. 2011. Stable models and circumscription. Artificial Intelligence 175, 236263.
Lifschitz, V. 2012. Logic programs with intensional functions. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 24–31.
Lifschitz, V., Morgenstern, L. and Plaisted, D. 2008. Knowledge representation and classical logic. In Handbook of Knowledge Representation, van Harmelen, F., Lifschitz, V. and Porter, B., Eds. Elsevier, 388.
Truszczynski, M. 2012. Connecting first-order ASP and the logic FO(ID) through reducts. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, 543–559.

Keywords

Type Description Title
PDF
Supplementary materials

Bartholomew supplementary material
Bartholomew supplementary material

 PDF (339 KB)
339 KB

On the stable model semantics for intensional functions

  • MICHAEL BARTHOLOMEW (a1) and JOOHYUNG LEE (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed