the paper presents an approach for the rapid distributed application development, based on the separation of business-logicprogramming and system-level mechanisms. the proposed approach is supported by specially deve...
详细信息
Workflow languages provide a natural way to express business processes, and therefore they are preferred over general-purpose programming languages to specify such processes. However, current workflow languages offer ...
详细信息
ISBN:
(纸本)9780769530444
Workflow languages provide a natural way to express business processes, and therefore they are preferred over general-purpose programming languages to specify such processes. However, current workflow languages offer no support for separating crosscutting concerns which results in workflows that are hard to maintain and evolve. Recent research introduces aspect-oriented extensions to these languages, but many advanced features of aspect-oriented programming technology are still unavailable for workflow languages. In this paper we present the implementation of one such advanced feature: "stateful aspects". We introduce a high-level, logic-based pointcut language to express aspect activation depending on past and current state of the workflow execution. We propose a weaving strategy based on finite state automata in order to transparently weave history tracking code in the workflow. Our approach is implemented as an extension of the Padus AOP language for WS-BPEL.
Object-oriented programming and logicprogramming are two of the most used programming paradigms in artificial intelligence. this paper describes a proposal to combine these two paradigms into a common logical framewo...
详细信息
ISBN:
(纸本)0818642009
Object-oriented programming and logicprogramming are two of the most used programming paradigms in artificial intelligence. this paper describes a proposal to combine these two paradigms into a common logical framework. the combined framework encompasses the main features of both paradigms, making it a suitable tool for developing AI applications. First, the combined paradigm is defined as the combination of the main properties of both paradigms. then, we describe the main features of the Plog programming language, a logical language that supports such a paradigms.
In this paper, we propose a new semantics for disjunctive logicprogramming and deductive databases. the semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non disjunctive) programs...
详细信息
ISBN:
(纸本)3540667490
In this paper, we propose a new semantics for disjunctive logicprogramming and deductive databases. the semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non disjunctive) programs but differs from disjunctive stable model semantics (the extension of stable model semantics for disjunctive programs). Compared with disjunctive stable model semantics, the minimal founded semantics seems to be, in some case, more intuitive, it gives meaning to programs which are meaningless under stable model semantics and it is not harder to compute. We study the expressive power of the semantics and show that for general disjunctive datalog programs it has the same power of disjunctive stable model semantics. We also present a variation of the minimal founded semantics, called strongly founded which on stratified programs coincide withthe perfect model semantics.
Power split hybrid electric vehicles (HEVs) offer high fuel efficiency. the complex powertrain structure brings difficulties as well as opportunities for energy management. In this paper, energy management strategies ...
详细信息
ISBN:
(纸本)9781424426003
Power split hybrid electric vehicles (HEVs) offer high fuel efficiency. the complex powertrain structure brings difficulties as well as opportunities for energy management. In this paper, energy management strategies for the torque distribution are established and implemented. First, the optimal results are obtained based on the Dynamic programming (DP) method, then through analyzing the result of DP, the fuzzy membership function and rules are established according to the ratio of engine power to system power, vehicle speed, acceleration and battery SOC. An online fuzzy energy management controller is imbedded into the vehicle controller. Finally simulation results verify the effectiveness of controller.
We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduct instead of referring to the SM oper...
详细信息
Extended logic programs and annotated logic programs are two important extensions of normal logic programs that allow for a more concise and declarative representation of knowledge. Extended logic programs add explici...
详细信息
ISBN:
(纸本)3540667490
Extended logic programs and annotated logic programs are two important extensions of normal logic programs that allow for a more concise and declarative representation of knowledge. Extended logic programs add explicit negation to the default negation of normal programs in order to distinguish what can be shown to be false from what cannot be proven true. Annotated logic programs generalize the set of truth values over which a program is interpreted by explicitly annotating atoms with elements of a new domain of truth values. In this paper coherent well-founded annotated programs are defined, and shown to generalize both consistent and paraconsistent extended programs, along with several classes of annotated programs.
We use the formal model for similarity-based fuzzy unification in multi-adjoint logic programs to provide new tools for flexible querying. Our approach is based on a general framework for logicprogramming, which give...
详细信息
ISBN:
(纸本)3540000747
We use the formal model for similarity-based fuzzy unification in multi-adjoint logic programs to provide new tools for flexible querying. Our approach is based on a general framework for logicprogramming, which gives a formal model of fuzzy logicprogramming extended by fuzzy similarities and axioms of first-order logic with equality. As a source of similarities we consider different approaches, such as statistical generation of fuzzy similarities, or similarities generated by some information retrieval techniques or similarities arising from fuzzy conceptual lattices.
Chatbots have been used to teach programming languages for novice students of introductory courses. Code Tutor helps students learn JAVA online with coding suggestions and error corrections. ProgBot provides three lan...
详细信息
this paper reports on systematic research which aims to classify non-monotonic logics by their expressive power. the classification is based on translation functions that satisfy three important criteria: polynomialit...
详细信息
ISBN:
(纸本)3540667490
this paper reports on systematic research which aims to classify non-monotonic logics by their expressive power. the classification is based on translation functions that satisfy three important criteria: polynomiality, faithfulness and modularity (PFM for short). the basic method for classification is to prove that PFM translation functions exist (or do not exist) between certain logics. As a result, non-monotonic logics can be arranged to form a hierarchy. this paper gives an overview of the current expressive power hierarchy (EPH) and investigates semi-normal default logic as well as prerequisite-free and semi-normal default logic in order to locate their exact positions in the hierarchy.
暂无评论