2 results
Stable model semantics for founded bounds
- REHAN ABDUL AZIZ, GEOFFREY CHU, PETER J. STUCKEY
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 517-532
-
- Article
- Export citation
-
Answer Set Programming (ASP) is a powerful form of declarative programming used in areas such as planning or reasoning. ASP solvers enforce stable model semantics, which rule out solutions representing certain kinds of circular reasoning. Unfortunately, current ASP solvers are incapable of solving problems involving cyclic dependencies between multiple integer or continuous quantities effectively. In this paper, we generalize the notion of stable models to bound founded variables with arbitrary domains, where bounds on such variables need to be justified by some rule in the program in order for the model to be stable. We show how to handle significantly more general rule forms where bound founded variables can act as head or body variables, and where head and body variables can be related via complex constraints subject to certain monotonicity requirements. We describe a new unfounded set detection algorithm which allows us to enforce this generalization of the stable model semantics. We also show how these unfounded sets can be explained in order to allow effective conflict-directed clause learning. The new solver merges the best features of CP, SAT and ASP solvers and allows new types of problems to be solved very efficiently.
Contributors
-
- By Jane E. Adcock, Yahya Aghakhani, A. Anand, Eva Andermann, Frederick Andermann, Alexis Arzimanoglou, Sandrine Aubert, Nadia Bahi-Buisson, Carman Barba, Agatino Battaglia, Geneviève Bernard, Nadir E. Bharucha, Laurence A. Bindoff, William Bingaman, Francesca Bisulli, Thomas P. Bleck, Stewart G. Boyd, Andreas Brunklaus, Harry Bulstrode, Jorge G. Burneo, Laura Canafoglia, Laura Cantonetti, Roberto H. Caraballo, Fernando Cendes, Kevin E. Chapman, Patrick Chauvel, Richard F. M. Chin, H. T. Chong, Fahmida A. Chowdhury, Catherine J. Chu-Shore, Rolando Cimaz, Andrew J. Cole, Bernard Dan, Geoffrey Dean, Alessio De Ciantis, Fernando De Paolis, Rolando F. Del Maestro, Irissa M. Devine, Carlo Di Bonaventura, Concezio Di Rocco, Henry B. Dinsdale, Maria Alice Donati, François Dubeau, Michael Duchowny, Olivier Dulac, Monika Eisermann, Brent Elliott, Bernt A. Engelsen, Kevin Farrell, Natalio Fejerman, Rosalie E. Ferner, Silvana Franceschetti, Robert Friedlander, Antonio Gambardella, Hector H. Garcia, Serena Gasperini, Lorenzo Genitori, Gioia Gioi, Flavio Giordano, Leif Gjerstad, Daniel G. Glaze, Howard P. Goodkin, Sidney M. Gospe, Andrea Grassi, William P. Gray, Renzo Guerrini, Marie-Christine Guiot, William Harkness, Andrew G. Herzog, Linda Huh, Margaret J. Jackson, Thomas S. Jacques, Anna C. Jansen, Sigmund Jenssen, Michael R. Johnson, Dorothy Jones-Davis, Reetta Kälviäinen, Peter W. Kaplan, John F. Kerrigan, Autumn Marie Klein, Matthias Koepp, Edwin H. Kolodny, Kandan Kulandaivel, Ruben I. Kuzniecky, Ahmed Lary, Yolanda Lau, Anna-Elina Lehesjoki, Maria K. Lehtinen, Holger Lerche, Michael P. T. Lunn, Snezana Maljevic, Mark R. Manford, Carla Marini, Bindu Menon, Giulia Milioli, Eli M. Mizrahi, Manish Modi, Márcia Elisabete Morita, Manuel Murie-Fernandez, Vivek Nambiar, Lina Nashef, Vincent Navarro, Aidan Neligan, Ruth E. Nemire, Charles R. J. C. Newton, John O'Donavan, Hirokazu Oguni, Teiichi Onuma, Andre Palmini, Eleni Panagiotakaki, Pasquale Parisi, Elena Parrini, Liborio Parrino, Ignacio Pascual-Castroviejo, M. Scott Perry, Perrine Plouin, Charles E. Polkey, Suresh S. Pujar, Karthik Rajasekaran, R. Eugene Ramsey, Rahul Rathakrishnan, Roberta H. Raven, Guy M. Rémillard, David Rosenblatt, M. Elizabeth Ross, Abdulrahman Sabbagh, P. Satishchandra, Swati Sathe, Ingrid E. Scheffer, Philip A. Schwartzkroin, Rod C. Scott, Frédéric Sedel, Michelle J. Shapiro, Elliott H. Sherr, Michael Shevell, Simon D. Shorvon, Adrian M. Siegel, Gagandeep Singh, S. Sinha, Barbara Spacca, Waney Squier, Carl E. Stafstrom, Bernhard J. Steinhoff, Andrea Taddio, Gianpiero Tamburrini, C. T. Tan, Raymond Y. L. Tan, Erik Taubøll, Robert W. Teasell, Mario Giovanni Terzano, Federica Teutonico, Suzanne A. Tharin, Elizabeth A. Thiele, Pierre Thomas, Paolo Tinuper, Dorothée Kasteleijn-Nolst Trenité, Sumeet Vadera, Pierangelo Veggiotti, Jean-Pierre Vignal, J. M. Walshe, Elizabeth J. Waterhouse, David Watkins, Ruth E. Williams, Yue-Hua Zhang, Benjamin Zifkin, Sameer M. Zuberi
- Edited by Simon D. Shorvon, Frederick Andermann, Renzo Guerrini
-
- Book:
- The Causes of Epilepsy
- Published online:
- 05 March 2012
- Print publication:
- 14 April 2011, pp ix-xvi
-
- Chapter
- Export citation