Encapsulation constructs with import/export declarations is the structuring facility offered in most commercial Prolog systems. However, real-life applications have shown to require a finer information exchange betwee...
详细信息
ISBN:
(纸本)3540592938
Encapsulation constructs with import/export declarations is the structuring facility offered in most commercial Prolog systems. However, real-life applications have shown to require a finer information exchange between encapsulated pieces of code. In this paper, a refinement of import/export declarations for modules of logic programs is presented. this offers a stricter form of communication between the modules and a larger variety of visibility states of their predicates, the standard approaches being special cases of it. the semantics of this module system has been examined and model-theoretic, fixpoint and operational ones are given and have been proved to be equivalent. Instead of using other logics, all these semantics extend the ones of Horn clause logic using concepts commonly used in it. In addition, the module system has been naturally transformed to Horn clause logic exploiting the distinction of the predicates within a module according to the interface declarations of this module. A form of equivalence withthe other semantics of the system is given. In addition, the employed transformation has provided us with a basis for a preprocessor based implementation of the module system.
this paper presents a new knowledge representation language for expert systems and deductive databases, which extends disjunctive logicprogramming with inheritance and true negation. A model-theoretic semantics of th...
详细信息
Level-confluence is an important property of conditional term rewriting systems that allow extra variables in the rewrite rale because it guarantees the completeness of narrowing for such systems. In this paper we pre...
详细信息
We develop a proof technique for dealing with narrowing and refutational theorem proving in a uniform way, clarifying the exact relationship between the existing results in both fields and allowing us to obtain severa...
详细信息
Mass transit fare collection has advanced over the last couple of decades from cash and tokens to magnetic stripe cards. Smart cards are emerging as the desirable new fare collection medium because of the numerous pro...
详细信息
Mass transit fare collection has advanced over the last couple of decades from cash and tokens to magnetic stripe cards. Smart cards are emerging as the desirable new fare collection medium because of the numerous problems associated, withthe operations and maintenance of the magnetic stripe cards. Smart cards are microprocessor based memory cards with built-in logic all embedded in a chip and contained in a credit card sized plastic carrier. they have the ability to store large amount of data which can be altered and updated by programming. In mass transit applications, smart cards combine the secure, cashless transactions and personalized applications that encourage passengers to use mass transit, while they provide transit authorities with demographic information. Smart cards can be used as debit, credit or stored-value cards for transit. Fraud and fare evasion can also be reduced by adopting the smart cards-based fare systems. the cards are more difficult to counterfeit than tokens or magnetic stripe card, and they can be programmed to prevent immediate re-use. Recent publications indicate that the chip is the principal element in achieving security in the smart card end product. therefore, security in smart cards application is attained during the initial design by the chip manufacturer where elements of the design may include memory and access control.
In this paper, we present a general framework for integrating artificial neural networks (ANN) into constraint logicprogramming for solving CSP's. this framework is realized in a novel programming language PROCLA...
详细信息
Associative computation is characterized by the in-tertwining of search by content and data parallel com-putation. this intertwining facilitates the integration of knowledge retrieval and data parallel computation. th...
详细信息
the proceedings contains 137 papers on the various applications of artificial intelligence. Some of the topics discussed are: software engineering, scheduling, strategic planning, pattern recognition, robot programmin...
详细信息
the proceedings contains 137 papers on the various applications of artificial intelligence. Some of the topics discussed are: software engineering, scheduling, strategic planning, pattern recognition, robot programming, neural networks, logicprogramming, natural language processing systems, computer aided language translation, information management, fuzzy control and expert systems.
the concepts of maintenance sequence of a knowledge base and their limits are introduced. Some concepts used in maintenance of knowledge bases, such as new laws, user's rejections, and reconstructions of a base ar...
详细信息
this paper deals with consistency techniques over sequences constraints embedded in Constraint logicprogramming CLPS. CLP Sequences constraints are defined over Hereditarily Homogeneous Finite Sets HHFS built on atom...
详细信息
暂无评论