The intersection of these two trends is what we call The Issue and it is helping businesses in every industry to become more efficient and productive. One's aim is to have an insight into the development and maint...
详细信息
The intersection of these two trends is what we call The Issue and it is helping businesses in every industry to become more efficient and productive. One's aim is to have an insight into the development and maintenance of comprehensive and integrated health information systems that enable sound policy and effective health system management in order to improve health and health care. Undeniably, different sorts of technologies have been developed, each with their own advantages and disadvantages, which will be sorted out by attending at the impact that Artificial Intelligence and Decision Support Systems have to everyone in the healthcare sector engaged to quality-of-care, i.e., making sure that doctors, nurses, and staff have the training and tools they need to do their jobs.
Industrial seedling rearing is an important part of seedling transplanting technique. At present, there exists the phenomenon that soil base on the tray may have empty seedling on it, which will lead to a large number...
详细信息
Industrial seedling rearing is an important part of seedling transplanting technique. At present, there exists the phenomenon that soil base on the tray may have empty seedling on it, which will lead to a large number of leakage and reduce the yield in the course of automatic transplanting in the field. To solve this problem, automatic seedling identification method is studied to skip picking empty soil bases. An intelligent transplanting system are designed with the use of the picking mechanism five-bar and fixed-axis gear train, the seedling tray conveying mechanism (with transverse and longitudinal seedlings feeding function), the eccentric disk parallel four-bar duck mouthpiece planting mechanism, the electric sensor for seedling detection and identification of the seedling tray, the position sensor, stepper motor and PLC control system. By use of computer logic programming and control, it can be used to identify effectively whether the soil base is empty or not, and to control the automatic transmission of seedling tray. The tray is moved to quickly skip the action path of the manipulator to avoid the picking of empty soil base. The system was tested by using pepper seedlings on indoor condition. The results showed that when the transplanting frequency was 90/min, the rate of success seedling picking was 88.23% and the leakage rate was 16.46%, which could meet the requirement of pepper transplanting. Compared with the transplanting model without seedling identification, the average rate of leakage was reduced about 12%. The research provides a useful reference for the development of intelligent agricultural transplanting technology and equipment. (C) 2018 Elsevier B.V. All rights reserved.
logical geometry provides a broad framework for systematically studying the logical (and other) properties of Aristotelian diagrams. The main aim of this paper is to present and illustrate the foundations of a computa...
详细信息
logical geometry provides a broad framework for systematically studying the logical (and other) properties of Aristotelian diagrams. The main aim of this paper is to present and illustrate the foundations of a computational approach to logical geometry. In particular, after briefly discussing some key notions from logical geometry, I describe a logical problem concerning Aristotelian diagrams that is of considerable theoretical importance, viz. the task of finding the maximal Boolean complexity of a given family of Aristotelian diagrams, and I then present and discuss a simple algorithm for automatically solving this task. This algorithm is naturally implemented within the paradigm of logic programming (in particular, Prolog). In order to illustrate the theoretical fruitfulness of this algorithm, I also show how it sheds new light on several well-known families of Aristotelian diagrams.
With the wide expansion of multiprocessor architectures, the analysis and reasoning for programs under weak memory models has become an important concern. This work presents MMFilter, an original constraint solver for...
详细信息
With the wide expansion of multiprocessor architectures, the analysis and reasoning for programs under weak memory models has become an important concern. This work presents MMFilter, an original constraint solver for generating program behaviors respecting a particular memory model. It is implemented in Prolog using CHR (Constraint Handling Rules). The CHR formalism provides a convenient generic solution for specifying memory models. It benefits from the existing optimized implementations of CHR and can be easily extended to new models. We present MMFilter design, illustrate the encoding of memory model constraints in CHR and discuss the benefits and limitations of the proposed technique. (C) 2018 Elsevier Ltd. All rights reserved.
Web Ontology Language (OWL) provides means to semantically represent domain knowledge as ontologies. Then, ontological reasoning allows software agents to effectively share and semantically interpret the knowledge. OW...
详细信息
In this paper we discuss our practical experiences with the use of different search strategies in functional logic programs. In particular, we show that complete strategies, like breadth-first search or iterative deep...
详细信息
Information extraction (IE) programs for the web consume and produce a lot of data. In order to better understand the program output, the developer and user often desire to know the details of how the output was creat...
详细信息
ISBN:
(纸本)9781450312301
Information extraction (IE) programs for the web consume and produce a lot of data. In order to better understand the program output, the developer and user often desire to know the details of how the output was created. Provenance can be used to learn about the creation of the output. We collect fine-grained provenance by leveraging ongoing work in the IE community to write IE programs in a logic programming language. The logic programming language exposes the semantics of the program, allowing us to gather fine-grained provenance during program execution. We discuss a case study using a web-based community information management system, then present results regarding the performance of queries over the provenance data gathered by our logic program interpreter. Our findings show that it is possible to gather useful fine-grained provenance during the execution of a logic based web information extraction program. Additionally, queries over this provenance information can be performed in a reasonable amount of time. Copyright is held by the author/owner(s).
In this paper we describe a logic programming based implementation of the OWL 2 RL fragment. We show how goals are used for querying, forward reasoning permits to infer new knowledge, and ontology inconsistency is han...
详细信息
In fuzzy linguistic logic programming, there are two approaches to compute answers to queries w.r.t. a logic program: (i) by bottom-up iterating the immediate consequence operator TP;or (ii) by using the procedural se...
详细信息
We describe a prototype that performs structure-based classification of molecular structures. The software we present implements a sound and complete reasoning procedure of a formalism that extends logic programming a...
详细信息
We describe a prototype that performs structure-based classification of molecular structures. The software we present implements a sound and complete reasoning procedure of a formalism that extends logic programming and builds upon the DLV deductive databases system. We capture a wide range of chemical classes that are not expressible with OWL-based formalisms such as cyclic molecules, saturated molecules and alkanes. In terms of performance, a noticeable improvement is observed in comparison with previous approaches. Our evaluation has discovered subsumptions that are missing from the the manually curated ChEBI ontology as well as discrepancies with respect to existing subclass relations. We illustrate thus the potential of an ontology language which is suitable for the Life Sciences domain and exhibits an encouraging balance between expressive power and practical feasibility.
暂无评论