automated Services composition is an active research area nowadays, most of the approaches are based in Artificial intelligence techniques. However, most of these approaches focus on specific steps of Web services com...
详细信息
automated Services composition is an active research area nowadays, most of the approaches are based in Artificial intelligence techniques. However, most of these approaches focus on specific steps of Web services composition and lacks of details for general application in broader fields such as Convergent Services. In the present work, an architecture based on Natural Language analysis for AI planning processing and automatic deployment in JSLEE is presented. the preliminary experiments show promising results.
Baggage sorting is one of the major requirements for rapid processing in an airport. For larger airport automated system is must to match withthe dynamic world. But there are many small to medium size airports handli...
详细信息
Baggage sorting is one of the major requirements for rapid processing in an airport. For larger airport automated system is must to match withthe dynamic world. But there are many small to medium size airports handling between 1.5 and 6 million passengers a year, still haven't automated. For many of these airports, there are still big gains to be made - in cost, time, efficiency and sorting quality - by introducing automated sorting system. the problem for many of those airports is finding the right systems to do the job. Because in many cases, solutions are designed primarily for the larger airports where much of the automation market is to be found are not cost effective for lower volume environments, and often those system cannot be accommodated within the space constraints of smaller terminal buildings. In the present project, an automated baggage handling and sorting system has been designed using microcontroller so that it could be cheaply implemented on a small size terminal with a low cost. A small scale model of the project has also been constructed. the sorting system is based on bar code reading and tracking of the baggage in a terminal. the baggages are then diverted to their destined terminal using a gate control system. the model can also be used in any packaging and distribution system.
this paper presents a decision support system for radiotherapy treatment planning for head, neck and brain cancer. the aim of a treatment plan is to apply radiation to kill tumor cells, while minimizing the damage to ...
详细信息
this paper presents a decision support system for radiotherapy treatment planning for head, neck and brain cancer. the aim of a treatment plan is to apply radiation to kill tumor cells, while minimizing the damage to healthy tissue and critical organs. Since treatment planning is a complex decision-making process that relies heavily on the subjective experience of clinicians, we propose the use of case-based reasoning (CBR), in which problems are solved based on the solutions of similar past problems. this paper focuses on the case retrieval process of a CBR system. the attributes, which describe the cases, are selected by assessing their effect on the performance of the CBR system. We have developed a context sensitive local weighting scheme that assigns weights to attributes based on their value and the values of other attributes in the target case. A novel two phase retrieval mechanism is developed, in which each phase is optimized to retrieve a particular part of the solution. We also present an original use of fuzzy logic in order to represent nonlinearity in the similarity measure. Experiments, which evaluate the similarity measure using real brain cancer patient cases, show promising results.
Today, there exist many different probabilistic programming languages as well as more inference mechanisms for these languages. Still, most logicprogramming-based languages use backward reasoning based on Selective L...
详细信息
Today, there exist many different probabilistic programming languages as well as more inference mechanisms for these languages. Still, most logicprogramming-based languages use backward reasoning based on Selective Linear Definite resolution for inference. While these methods are typically computationally efficient, they often can neither handle infinite and/or continuous distributions nor evidence. To overcome these limitations, we introduce distributional clauses, a variation and extension of Sato's distribution semantics. We also contribute a novel approximate inference method that integrates forward reasoning with importance sampling, a well-known technique for probabilistic inference. In order to achieve efficiency, we integrate two logicprogramming techniques to direct forward sampling. Magic sets are used to focus on relevant parts of the program, while the integration of backward reasoning allows one to identify and avoid regions of the sample space that are inconsistent withthe evidence.
In order to improve the reliability,stability and automation of electrostatic precipitator,circuits of vibration motor for ESP and vibration control ladder diagram program are investigated using Schneider PLC with hig...
In order to improve the reliability,stability and automation of electrostatic precipitator,circuits of vibration motor for ESP and vibration control ladder diagram program are investigated using Schneider PLC with high performance and programming software of *** results show that after adopting PLC,vibration motor can run automatically;compared with traditional control system of vibration based on single-chip microcomputer,it has higher reliability,better stability and higher dust removal rate,when dust emission concentrations≦50mg m-3,providing a new method for vibration controlling of ESP.
the aim of this paper is to provide a more efficient approach for resolution-based automatedreasoning in latticevalued logic system. In the present paper, an a-generalized linear resolution method for lattice-valued ...
详细信息
Resolution-based automatedreasoning is one of most important research directions in AI, semantic method is one of the most important reform methods for resolution principle, in semantic resolution method, it utilize ...
详细信息
TOOL PRESENTATION: the paper presents a semantic wiki, called Loki, with strong logical knowledge representation using rules. the system uses a coherent logic-based representation for semantic annotations of the conte...
详细信息
TOOL PRESENTATION: the paper presents a semantic wiki, called Loki, with strong logical knowledge representation using rules. the system uses a coherent logic-based representation for semantic annotations of the content and implementing reasoning procedures. the representation uses the logicprogramming paradigm and the Prolog programming language. the proposed architecture allows for rule-based reasoning in the wiki. It also provides a compatibility layer withthe popular Semantic MediaWiki platform, directly parsing its annotations.
We introduce the first approach to Reactive Answer Set programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal...
详细信息
ISBN:
(纸本)9783642208942
We introduce the first approach to Reactive Answer Set programming, aiming at reasoning about real-time dynamic systems running online in changing environments. We start by laying the theoretical foundations by appeal to module theory. Withthis, we elaborate upon the composition of the various offline and online programs in order to pave the way for stream-driven grounding and solving. Finally, we describe the implementation of a reactive ASP solver, oclingo.
Description logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning. However, the existing implementations are inefficient in the prese...
详细信息
ISBN:
(纸本)9783939897316
Description logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning. However, the existing implementations are inefficient in the presence of large amounts of data. this paper summarizes the results in transforming DL axioms to a set of function-free clauses of first-order logic which can be used for efficient, query oriented data reasoning. the described method has been implemented in a module of the DLog reasoner openly available on SourceForge to download.
暂无评论