{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,8]],"date-time":"2022-11-08T05:51:00Z","timestamp":1667886660156},"reference-count":0,"publisher":"Association for the Advancement of Artificial Intelligence (AAAI)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAAI"],"abstract":"\n \n This paper provides a theoretical insight for the integration of logical constraints into a learning process. In particular it is proved that a fragment of the \u0141ukasiewicz logic yields a set of convex constraints. The fragment is enough expressive to include many formulas of interest such as Horn clauses. Using the isomorphism of \u0141ukasiewicz formulas and McNaughton functions, logical constraints are mapped to a set of linear constraints once the predicates are grounded on a given sample set. In this framework, it is shown how a collective classification scheme can be formulated as a quadratic programming problem, but the presented theory can be exploited in general to embed logical constraints into a learning process. The proposed approach is evaluated on a classification task to show how the use of the logical rules can be effective to improve the accuracy of a trained classifier.\n \n <\/jats:p>","DOI":"10.1609\/aaai.v32i1.11640","type":"journal-article","created":{"date-parts":[[2022,6,24]],"date-time":"2022-06-24T21:08:34Z","timestamp":1656104914000},"source":"Crossref","is-referenced-by-count":0,"title":["Characterization of the Convex \u0141ukasiewicz Fragment for Learning From Constraints"],"prefix":"10.1609","volume":"32","author":[{"given":"Francesco","family":"Giannini","sequence":"first","affiliation":[]},{"given":"Michelangelo","family":"Diligenti","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Gori","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Maggini","sequence":"additional","affiliation":[]}],"member":"9382","published-online":{"date-parts":[[2018,4,29]]},"container-title":["Proceedings of the AAAI Conference on Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/download\/11640\/11499","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/download\/11640\/11499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T18:49:15Z","timestamp":1667846955000},"score":1,"resource":{"primary":{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/11640"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,29]]},"references-count":0,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2018,2,8]]}},"URL":"https:\/\/doi.org\/10.1609\/aaai.v32i1.11640","relation":{},"ISSN":["2374-3468","2159-5399"],"issn-type":[{"value":"2374-3468","type":"electronic"},{"value":"2159-5399","type":"print"}],"subject":[],"published":{"date-parts":[[2018,4,29]]}}}