Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling
Every year about one third of the food production intended for humans gets lost or wasted. This wastefulness of resources leads to the emission of unnecessary greenhouse gas, contributing to global warming and climate change. The solution proposed by the SORT project is to “recycle” the surplus of f...
Uloženo v:
| Vydáno v: | Engineering applications of artificial intelligence Ročník 95; s. 103861 |
|---|---|
| Hlavní autoři: | , , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Ltd
01.10.2020
|
| Témata: | |
| ISSN: | 0952-1976, 1873-6769 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Every year about one third of the food production intended for humans gets lost or wasted. This wastefulness of resources leads to the emission of unnecessary greenhouse gas, contributing to global warming and climate change.
The solution proposed by the SORT project is to “recycle” the surplus of food by reconditioning it into animal feed or fuel for biogas/biomass power plants. In order to maximize the earnings and minimize the costs, several choices must be made during the reconditioning process. Given the extremely complex nature of the process, Decision Support Systems (DSSs) could be helpful to reduce the human effort in decision making.
In this paper, we present a DSS for food recycling developed using two approaches for finding the optimal solution: one based on Binary Linear Programming (BLP) and the other based on Answer Set Programming (ASP), which outperform our previous approach based on Constraint Logic Programming (CLP) on Finite Domains (CLP(FD)).
In particular, the BLP and the CLP(FD) approaches are developed in ECLiPSe, a Prolog system that interfaces with various state-of-the-art Mathematical and Constraint Programming solvers. The ASP approach, instead, is developed in clingo. The three approaches are compared on several synthetic datasets that simulate the operative conditions of the DSS.
•We propose a Decision Support System (DSS) for aiding the process of food recycling.•Three techniques are compared: Constraint Logic Programming, Binary Linear Programming and Answer Set Programming.•The method based on Binary Linear Programming scales better in this application. |
|---|---|
| AbstractList | Every year about one third of the food production intended for humans gets lost or wasted. This wastefulness of resources leads to the emission of unnecessary greenhouse gas, contributing to global warming and climate change.
The solution proposed by the SORT project is to “recycle” the surplus of food by reconditioning it into animal feed or fuel for biogas/biomass power plants. In order to maximize the earnings and minimize the costs, several choices must be made during the reconditioning process. Given the extremely complex nature of the process, Decision Support Systems (DSSs) could be helpful to reduce the human effort in decision making.
In this paper, we present a DSS for food recycling developed using two approaches for finding the optimal solution: one based on Binary Linear Programming (BLP) and the other based on Answer Set Programming (ASP), which outperform our previous approach based on Constraint Logic Programming (CLP) on Finite Domains (CLP(FD)).
In particular, the BLP and the CLP(FD) approaches are developed in ECLiPSe, a Prolog system that interfaces with various state-of-the-art Mathematical and Constraint Programming solvers. The ASP approach, instead, is developed in clingo. The three approaches are compared on several synthetic datasets that simulate the operative conditions of the DSS.
•We propose a Decision Support System (DSS) for aiding the process of food recycling.•Three techniques are compared: Constraint Logic Programming, Binary Linear Programming and Answer Set Programming.•The method based on Binary Linear Programming scales better in this application. |
| ArticleNumber | 103861 |
| Author | Mello, Paola Cota, Giuseppe Riguzzi, Fabrizio Gavanelli, Marco Lamma, Evelina Chesani, Federico |
| Author_xml | – sequence: 1 givenname: Federico surname: Chesani fullname: Chesani, Federico email: federico.chesani@unibo.it organization: Dipartimento di Informatica - Scienza e Ingegneria – Università di Bologna, Viale Risorgimento 2, 40136, Bologna, Italy – sequence: 2 givenname: Giuseppe surname: Cota fullname: Cota, Giuseppe email: giuseppe.cota@unife.it organization: Dipartimento di Scienze Matematiche, Fisiche e Informatiche – Università degli Studi di Parma, Parco Area delle Scienze, 53/A, 43124 Parma, Italy – sequence: 3 givenname: Marco surname: Gavanelli fullname: Gavanelli, Marco email: marco.gavanelli@unife.it organization: Dipartimento di Ingegneria – Università degli Studi di Ferrara, Via Saragat 1, 44122, Ferrara, Italy – sequence: 4 givenname: Evelina surname: Lamma fullname: Lamma, Evelina email: evelina.lamma@unife.it organization: Dipartimento di Ingegneria – Università degli Studi di Ferrara, Via Saragat 1, 44122, Ferrara, Italy – sequence: 5 givenname: Paola surname: Mello fullname: Mello, Paola email: paola.mello@unibo.it organization: Dipartimento di Informatica - Scienza e Ingegneria – Università di Bologna, Viale Risorgimento 2, 40136, Bologna, Italy – sequence: 6 givenname: Fabrizio surname: Riguzzi fullname: Riguzzi, Fabrizio email: fabrizio.riguzzi@unife.it organization: Dipartimento di Matematica e Informatica – Università degli Studi di Ferrara, Via Saragat 1, 44122, Ferrara, Italy |
| BookMark | eNqFkM1KAzEQgINUsK2-guQFtib7k92AB6X-QkWheg5pMtum7CZLEgt9e1OqFy89DMMM880w3wSNrLOA0DUlM0oou9nOwK7lMEgzy0l-aBYNo2doTJu6yFjN-AiNCa_yjPKaXaBJCFtC0lDJxmj1AKqTXkazAyytxm8ybqBPtZId_vBu7WXfG7vG6YJ3Um0g4OhwwkwwzuLl9zA4H_FyHyL0AbfOp3Aae1B71SXyEp23sgtw9Zun6Ovp8XP-ki3en1_n94tMFYzErClJrekKdNuSFWeSStYUFSdQFQ3RleK1zktd1qC44nJFiaK6Ac141aRfVFlMETvuVd6F4KEVgze99HtBiTiYElvxZ0ocTImjqQTe_gOVicmAs9FL053G7444pOd2BrwIyoBVoE1yEIV25tSKHzC_jWk |
| CitedBy_id | crossref_primary_10_1016_j_scs_2021_103644 crossref_primary_10_1016_j_seps_2025_102205 crossref_primary_10_1016_j_eti_2023_103011 |
| Cites_doi | 10.1007/s10817-006-9033-2 10.1145/1149114.1149117 10.1016/S0004-3702(02)00187-X 10.1007/s10472-015-9459-5 10.1017/S1471068411000469 10.1016/j.artint.2004.04.004 10.3233/AIC-2011-0491 |
| ContentType | Journal Article |
| Copyright | 2020 Elsevier Ltd |
| Copyright_xml | – notice: 2020 Elsevier Ltd |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.engappai.2020.103861 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Applied Sciences Computer Science |
| EISSN | 1873-6769 |
| ExternalDocumentID | 10_1016_j_engappai_2020_103861 S0952197620302165 |
| GroupedDBID | --K --M .DC .~1 0R~ 1B1 1~. 1~5 29G 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABMAC ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD ADTZH AEBSH AECPX AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W JJJVA KOM LG9 LY7 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SES SET SEW SPC SPCBC SST SSV SSZ T5K TN5 UHS WUQ ZMT ~G- 9DU AATTM AAXKI AAYWO AAYXX ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c360t-8407d1bedff0b96a1a683590e5380d5c97d24d47ec9c9ab10c1d8ed6958038c43 |
| ISICitedReferencesCount | 4 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000612217200019&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0952-1976 |
| IngestDate | Tue Nov 18 22:11:26 EST 2025 Sat Nov 29 07:05:41 EST 2025 Fri Feb 23 02:49:40 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Decision Support System Binary Linear Programming Answer Set Programming Food recycling Constraint Logic Programming |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c360t-8407d1bedff0b96a1a683590e5380d5c97d24d47ec9c9ab10c1d8ed6958038c43 |
| OpenAccessLink | https://www.sciencedirect.com/science/article/abs/pii/S0952197620302165 |
| ParticipantIDs | crossref_primary_10_1016_j_engappai_2020_103861 crossref_citationtrail_10_1016_j_engappai_2020_103861 elsevier_sciencedirect_doi_10_1016_j_engappai_2020_103861 |
| PublicationCentury | 2000 |
| PublicationDate | October 2020 2020-10-00 |
| PublicationDateYYYYMMDD | 2020-10-01 |
| PublicationDate_xml | – month: 10 year: 2020 text: October 2020 |
| PublicationDecade | 2020 |
| PublicationTitle | Engineering applications of artificial intelligence |
| PublicationYear | 2020 |
| Publisher | Elsevier Ltd |
| Publisher_xml | – name: Elsevier Ltd |
| References | Simons, Niemelä, Soininen (b15) 2002; 138 Chesani, Cota, Lamma, Mello, Riguzzi (b2) 2018 Lin, Zhao (b10) 2004; 157 Nethercote, Stuckey, Becket, Brand, Duck, Tack (b11) 2007 Gelfond, Lifschitz (b5) 1988 Schimpf, Shen (b13) 2012; 12 Amadini, Gabbrielli, Mauro (b1) 2016; 76 Gebser, Kaminski, Kaufmann, Ostrowski, Schaub, Schneider (b3) 2011; 24 Gebser, Kaminski, Kaufmann, Schaub (b4) 2012; 6 Shen, Schimpf (b14) 2005; vol. 3709 Giunchiglia, Lierler, Maratea (b6) 2006; 36 (b7) 2018 Saltzman (b12) 2002; vol. 18 Gustavsson, Cederberg, Sonesson, van Otterdijk, Meybeck (b8) 2011 Leone, Pfeifer, Faber, Eiter, Gottlob, Perri, Scarcello (b9) 2006; 7 Amadini (10.1016/j.engappai.2020.103861_b1) 2016; 76 Gelfond (10.1016/j.engappai.2020.103861_b5) 1988 Nethercote (10.1016/j.engappai.2020.103861_b11) 2007 Lin (10.1016/j.engappai.2020.103861_b10) 2004; 157 Saltzman (10.1016/j.engappai.2020.103861_b12) 2002; vol. 18 Simons (10.1016/j.engappai.2020.103861_b15) 2002; 138 Gebser (10.1016/j.engappai.2020.103861_b4) 2012; 6 Gustavsson (10.1016/j.engappai.2020.103861_b8) 2011 Giunchiglia (10.1016/j.engappai.2020.103861_b6) 2006; 36 (10.1016/j.engappai.2020.103861_b7) 2018 Leone (10.1016/j.engappai.2020.103861_b9) 2006; 7 Shen (10.1016/j.engappai.2020.103861_b14) 2005; vol. 3709 Chesani (10.1016/j.engappai.2020.103861_b2) 2018 Schimpf (10.1016/j.engappai.2020.103861_b13) 2012; 12 Gebser (10.1016/j.engappai.2020.103861_b3) 2011; 24 |
| References_xml | – year: 2018 ident: b7 article-title: Gurobi optimizer reference manual – start-page: 529 year: 2007 end-page: 543 ident: b11 article-title: MiniZinc: Towards a standard CP modelling language publication-title: International Conference on Principles and Practice of Constraint Programming – volume: 138 start-page: 181 year: 2002 end-page: 234 ident: b15 article-title: Extending and implementing the stable model semantics publication-title: Artificial Intelligence – volume: 36 start-page: 345 year: 2006 end-page: 377 ident: b6 article-title: Answer set programming based on propositional satisfiability publication-title: J. Autom. Reason. – volume: 76 start-page: 229 year: 2016 end-page: 246 ident: b1 article-title: Portfolio approaches for constraint optimization problems publication-title: Ann. Math. Artif. Intell. – volume: 157 start-page: 115 year: 2004 end-page: 137 ident: b10 article-title: ASSAT: computing answer sets of a logic program by SAT solvers publication-title: Artificial Intelligence – volume: vol. 3709 start-page: 622 year: 2005 end-page: 636 ident: b14 article-title: Eplex: Harnessing mathematical programming solvers for constraint logic programming publication-title: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings – year: 2011 ident: b8 article-title: Global Food Losses and Food Waste: Extent, Causes and Prevention – volume: 6 start-page: 1 year: 2012 end-page: 238 ident: b4 article-title: Answer set solving in practice publication-title: Synth. Lect. Artif. Intell. Mach. Learn. – volume: 7 start-page: 499 year: 2006 end-page: 562 ident: b9 article-title: The DLV system for knowledge representation and reasoning publication-title: ACM Trans. Comput. Log. – volume: vol. 18 year: 2002 ident: b12 article-title: COIN-OR: An open-source library for optimization publication-title: Programming Languages and Systems in Computational Economics and Finance – start-page: 1070 year: 1988 end-page: 1080 ident: b5 article-title: The stable model semantics for logic programming. publication-title: 5th International Conference and Symposium on Logic Programming (ICLP/SLP 1988), Vol. 88 – start-page: 117 year: 2018 end-page: 131 ident: b2 article-title: A decision support system for food recycling based on constraint logic programming and ontological reasoning publication-title: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018, Vol. 2214 – volume: 24 start-page: 105 year: 2011 end-page: 124 ident: b3 article-title: Potassco: The Potsdam answer set solving collection publication-title: AI Commun. – volume: 12 start-page: 127 year: 2012 end-page: 156 ident: b13 article-title: ECL publication-title: Theor. Pract. Log. Prog. – volume: 36 start-page: 345 issue: 4 year: 2006 ident: 10.1016/j.engappai.2020.103861_b6 article-title: Answer set programming based on propositional satisfiability publication-title: J. Autom. Reason. doi: 10.1007/s10817-006-9033-2 – volume: 6 start-page: 1 issue: 3 year: 2012 ident: 10.1016/j.engappai.2020.103861_b4 article-title: Answer set solving in practice publication-title: Synth. Lect. Artif. Intell. Mach. Learn. – volume: vol. 3709 start-page: 622 year: 2005 ident: 10.1016/j.engappai.2020.103861_b14 article-title: Eplex: Harnessing mathematical programming solvers for constraint logic programming – year: 2011 ident: 10.1016/j.engappai.2020.103861_b8 – start-page: 1070 year: 1988 ident: 10.1016/j.engappai.2020.103861_b5 article-title: The stable model semantics for logic programming. – year: 2018 ident: 10.1016/j.engappai.2020.103861_b7 – volume: 7 start-page: 499 issue: 3 year: 2006 ident: 10.1016/j.engappai.2020.103861_b9 article-title: The DLV system for knowledge representation and reasoning publication-title: ACM Trans. Comput. Log. doi: 10.1145/1149114.1149117 – start-page: 529 year: 2007 ident: 10.1016/j.engappai.2020.103861_b11 article-title: MiniZinc: Towards a standard CP modelling language – volume: vol. 18 year: 2002 ident: 10.1016/j.engappai.2020.103861_b12 article-title: COIN-OR: An open-source library for optimization – volume: 138 start-page: 181 issue: 1–2 year: 2002 ident: 10.1016/j.engappai.2020.103861_b15 article-title: Extending and implementing the stable model semantics publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(02)00187-X – volume: 76 start-page: 229 issue: 1–2 year: 2016 ident: 10.1016/j.engappai.2020.103861_b1 article-title: Portfolio approaches for constraint optimization problems publication-title: Ann. Math. Artif. Intell. doi: 10.1007/s10472-015-9459-5 – volume: 12 start-page: 127 issue: 1–2 year: 2012 ident: 10.1016/j.engappai.2020.103861_b13 article-title: ECLiPSe - from LP to CLP publication-title: Theor. Pract. Log. Prog. doi: 10.1017/S1471068411000469 – start-page: 117 year: 2018 ident: 10.1016/j.engappai.2020.103861_b2 article-title: A decision support system for food recycling based on constraint logic programming and ontological reasoning – volume: 157 start-page: 115 issue: 1–2 year: 2004 ident: 10.1016/j.engappai.2020.103861_b10 article-title: ASSAT: computing answer sets of a logic program by SAT solvers publication-title: Artificial Intelligence doi: 10.1016/j.artint.2004.04.004 – volume: 24 start-page: 105 issue: 2 year: 2011 ident: 10.1016/j.engappai.2020.103861_b3 article-title: Potassco: The Potsdam answer set solving collection publication-title: AI Commun. doi: 10.3233/AIC-2011-0491 |
| SSID | ssj0003846 |
| Score | 2.3066015 |
| Snippet | Every year about one third of the food production intended for humans gets lost or wasted. This wastefulness of resources leads to the emission of unnecessary... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 103861 |
| SubjectTerms | Answer Set Programming Binary Linear Programming Constraint Logic Programming Decision Support System Food recycling |
| Title | Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling |
| URI | https://dx.doi.org/10.1016/j.engappai.2020.103861 |
| Volume | 95 |
| WOSCitedRecordID | wos000612217200019&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-6769 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0003846 issn: 0952-1976 databaseCode: AIEXJ dateStart: 19950201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LTxsxELZS6KGXvqvS0sqH3qKl-_LaPiII0AohpNIqt5XX9qKgsImSENEfw39lvLZ3TYtEq6qXVeRo1snMl9nxZOYbhD7JuqpJIWXEKamiPBNpJAwDLa8FjwuRadLmdH8c05MTNh7z08HgxvfCrKe0adj1NZ__V1PDGhjbtM7-hbm7m8ICvAajwxXMDtc_Mvy-llPP522rKDwxK1jj1JZjXbatiY5O3JI87LthO0Mz5xNics9l3tYh1ob7GHzjT9NIeX4nm9_zGQ7DP8Pb-oJFW4jUjgUJmD_7igK9tBOlhgeG0gIw2b01s0Ht4eRqqefzTuRQQOBvbuTajHqJY_hSrchobTrsRZjNgKOrr4tzKTbfZtPXNNlcZRolnDrObOupGc0iU58bunI7r_O3p4JNUFzs6OYcNCEmO2bnlhreEsH_wrj9zexntkvBA6ZJQR6hzZQSDk5zc_fLaPy1e9RnzHaC-c8XtKDfv9v90U8Q0Zw9R0_dUQTvWgi9QAPdvETP3LEEO6e_hCU_-cOvvUJVADIMIMMhyHAAMtyDDK9m2IMMO5BhBzIMIMMGZLgD2Wv0_WB0tncUuWkdkcyKeBWxPKYqqbSq67jihUhEAdE9jzU8UmNFJKcqzVVOteSSiyqJZaKYVgUnDFQj8-wN2mhmjX6LcJakhRBUUs50LohikrIKzhUqTRkRWb6FiNdiKR2VvZmoMi19zeJF6bVfGu2XVvtb6HMnN7dkLg9KcG-k0oWkNtQsAVsPyL77B9n36En_69hGG6vFlf6AHsv1arJcfHQwvAW2LLnt |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Declarative+and+Mathematical+Programming+approaches+to+Decision+Support+Systems+for+food+recycling&rft.jtitle=Engineering+applications+of+artificial+intelligence&rft.au=Chesani%2C+Federico&rft.au=Cota%2C+Giuseppe&rft.au=Gavanelli%2C+Marco&rft.au=Lamma%2C+Evelina&rft.date=2020-10-01&rft.pub=Elsevier+Ltd&rft.issn=0952-1976&rft.eissn=1873-6769&rft.volume=95&rft_id=info:doi/10.1016%2Fj.engappai.2020.103861&rft.externalDocID=S0952197620302165 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0952-1976&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0952-1976&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0952-1976&client=summon |