{"product_id":"languages-and-the-consistency-jing-li-9781913558000","title":"Languages and the Consistency","description":"\u003cp\u003eThe work described in this book is part of the \"ENGLISH BEANS\" project, which is an online English learning program. Its target is to help the primary and secondary school students to improve the English learning efficiency by using the cutting-edge technologies such as Natural Language Processing, Corpus, and Knowledge Graph. \"English Beans\" has a multiple-level hierarchical architecture and complex structure, and it also involves a variety of third-party modules and tools. Consistency, among different modules and tools, is therefore a key problem for the purpose of the integrity of \"ENGLISH BEANS\" project. EXPRESS (ISO 10303-11) language was introduced into the project to describe the relative knowledge, information, and data in a semi-formal manner. Checking, analysis, simulation work then would apply on this semi-formal level to guarantee the consistency and complete of the overall system. \u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eA correct EXPRESS model should not only be syntactically correct, but also semantically complete and consistent. In this context, the definition of consistency is that there should be no conflicting constraints in the model so that the model and all its sub-components can correctly co-exist in an instantiation. \u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eCurrent approaches to EXPRESS model checking focus on syntactic and language semantic checking and on checking instance data against model constraints. The approach covered in this book is different in that it considers the issues of semantic consistency by analysis of the EXPRESS model definition.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eConsistency is in part the focus of several paradigms such as UML, OWL and Constraint Programming (CP). Addressing consistency issues in those paradigms requires formal semantics and reasoning technologies that can fully cover such formal semantics. The work described here uses these formal approaches, and more particularly Constraint Programming, to provide a consistency checking environment for EXPRESS models.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jing Li,Jie Fang\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1913558002\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781913558000\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Clifford Publishing\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 12\/30\/2020\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 70\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.42lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 11.69h x 8.27w x 0.15d","brand":"Jing Li","offers":[{"title":"Paperback","offer_id":48241548787967,"sku":"9781913558000","price":18.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_93cebd2a-f54a-4e90-b164-31c0900e49c4.jpg?v=1772654916","url":"https:\/\/www.whiterainbookhouse.com\/products\/languages-and-the-consistency-jing-li-9781913558000","provider":"WR Book House","version":"1.0","type":"link"}