{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T19:19:29Z","timestamp":1722799169958},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2009,5,1]],"date-time":"2009-05-01T00:00:00Z","timestamp":1241136000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2009,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojt\u00e1\u0161, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural languages. In fuzzy linguistic logic programming, truth values are linguistic ones, e.g., <jats:italic>VeryTrue<\/jats:italic>, <jats:italic>VeryProbablyTrue<\/jats:italic> and <jats:italic>LittleFalse<\/jats:italic>, taken from a hedge algebra of a linguistic truth variable, and linguistic hedges (modifiers) can be used as unary connectives in formulae. This is motivated by the fact that humans reason mostly in terms of linguistic terms rather than in terms of numbers, and linguistic hedges are often used in natural languages to express different levels of emphasis. The paper presents: (a) the language of fuzzy linguistic logic programming; (b) a declarative semantics in terms of Herbrand interpretations and models; (c) a procedural semantics which directly manipulates linguistic terms to compute a lower bound to the truth value of a query, and proves its soundness; (d) a fixpoint semantics of logic programs, and based on it, proves the completeness of the procedural semantics; (e) several applications of fuzzy linguistic logic programming; and (f) an idea of implementing a system to execute fuzzy linguistic logic programs.<\/jats:p>","DOI":"10.1017\/s1471068409003779","type":"journal-article","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T08:52:09Z","timestamp":1243500729000},"page":"309-341","source":"Crossref","is-referenced-by-count":23,"title":["Fuzzy linguistic logic programming and its applications"],"prefix":"10.1017","volume":"9","author":[{"given":"VAN HUNG","family":"LE","sequence":"first","affiliation":[]},{"given":"FEI","family":"LIU","sequence":"additional","affiliation":[]},{"given":"DINH KHANG","family":"TRAN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,5,1]]},"reference":[{"key":"S1471068409003779_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"S1471068409003779_ref12","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0165-0114(90)90002-N","article-title":"Hedge algebras: An algebraic approach to structure of sets of linguistic truth values","volume":"35","author":"Nguyen","year":"1990","journal-title":"Fuzzy Sets and Systems"},{"key":"S1471068409003779_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"key":"S1471068409003779_ref22","doi-asserted-by":"publisher","DOI":"10.1109\/69.43406"},{"key":"S1471068409003779_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(75)90036-5"},{"key":"S1471068409003779_ref18","doi-asserted-by":"publisher","DOI":"10.1080\/01969727208542910"},{"key":"S1471068409003779_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2003.11.005"},{"key":"S1471068409003779_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2003.10.019"},{"key":"S1471068409003779_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(97)00077-8"},{"key":"S1471068409003779_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00106-3"},{"key":"S1471068409003779_ref15","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"S1471068409003779_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-2977-0"},{"key":"S1471068409003779_ref1","first-page":"2096","volume-title":"Proc. of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'2006)","author":"Dinh-Khac","year":"2006"},{"key":"S1471068409003779_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7908-1897-0_15"},{"key":"S1471068409003779_ref10","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488599000301"},{"key":"S1471068409003779_ref13","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0165-0114(92)90237-X","article-title":"Extended hedge algebras and their application to fuzzy logic","volume":"52","author":"Nguyen","year":"1992","journal-title":"Fuzzy Sets and Systems"},{"key":"S1471068409003779_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44803-9_22"},{"key":"S1471068409003779_ref16","volume-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman","year":"1988"},{"key":"S1471068409003779_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485052"},{"key":"S1471068409003779_ref21","first-page":"149","volume-title":"Machine Intelligence","author":"Zadeh","year":"1979"},{"key":"S1471068409003779_ref11","doi-asserted-by":"crossref","first-page":"968","DOI":"10.1016\/j.fss.2007.11.001","article-title":"Optimal hedge-algebras-based controller: Design and application","volume":"159","author":"Nguyen","year":"2008","journal-title":"Fuzzy Sets and Systems"},{"key":"S1471068409003779_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(00)00124-X"},{"key":"S1471068409003779_ref8","first-page":"481","volume-title":"Proc. of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'2008)","author":"Morcillo","year":"2008"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068409003779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T15:34:36Z","timestamp":1553960076000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068409003779\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,5]]}},"alternative-id":["S1471068409003779"],"URL":"https:\/\/doi.org\/10.1017\/s1471068409003779","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5]]}}}