In the present digital world, we depend on information technology more than ever. Our economy, health, well-being and even our lives depend on it. Information security is a basic requirement, with access control playi...
详细信息
this paper presents a solution for saving large systems from increasing entropy. the solution is proven on a large middleware platform giving good results. the method's objective is to rework the system so that re...
详细信息
ISBN:
(纸本)3540221379
this paper presents a solution for saving large systems from increasing entropy. the solution is proven on a large middleware platform giving good results. the method's objective is to rework the system so that reengineering investments pays off. Reaching agile practices is the methods basis. In order to reach the objective the method cynically relies on measurements to find unwanted characteristics of the system. Subjective opinions due to ownership and politics are ignored in the method. An extensive open source tool, the Cosmos Radar, is given to the community to make these measurements. Various symptoms and measurements are identified and approaches to solutions are discussed.
FIDES is aimed at valuating investment projects in accordance withthe well-known UNIDO standard and making recommendations on a preferable investment, based on multicriteria analysis of available investment options. ...
详细信息
ISBN:
(纸本)9729881618
FIDES is aimed at valuating investment projects in accordance withthe well-known UNIDO standard and making recommendations on a preferable investment, based on multicriteria analysis of available investment options. FIDES should provide a framework for analyzing key financial indicators, using the discounted cash-flow technique, and also allows for non-monetary factors to enter the multicriteria assessment process, whilst retaining an explicit and relatively objective and consistent set of evaluation conventions and clear decision criteria. Moreover, since virtually every investment and financing decision, involving allocation of resources under uncertain conditions, is associated with considerable risk, FIDES should integrate the risk management module. the basic principle governing risk management is intuitive and well articulated, taking into account investor's subjective appetite for and aversion to risk, and the decision sensitivity to the uncertainty and/or imprecision of input data. thus, with FIDES, financial analysts and decision-makers will be provided with effective modeling tools in the absence of complete or precise information and the significant presence of human involvement. the decision aid will be implemented using multiple programming paradigms (Internet programming, production rules, fuzzy programming, multicriteria analysis, etc.), using a three-tier architecture as a backbone. Being Web based, the application is especially convenient for large, geographically dispersed corporations.
this paper presents an AI architecture for multiple robots working collaboratively in a future smart office. this architecture integrates the control, communication, planning, and learning necessary to agentify office...
详细信息
ISBN:
(纸本)354065271X
this paper presents an AI architecture for multiple robots working collaboratively in a future smart office. this architecture integrates the control, communication, planning, and learning necessary to agentify office robots. Such integration is based on our multiagent robot language (MRL), which is an extension of concurrent logicprogramming languages (CCL). While the behavior of an agent is specified within guarded Horn clause logic, the communication and concurrency controls are amenable to the operational semantics of CCL. Our planning module provides well-balanced coordination between single agent planning and supervisor-level planning, yielding the minimum interaction for multiagent communication and control. Furthermore, inductive learning is incorporated into the planning module and is applied to produce empirical rules for action selection, providing the utility of multiagent problem solving. these features allow a unified view of both low- and high-level computation, which enables intelligent collaboration between robotic agents and provides a powerful framework for distributed AI and agent-oriented programming in the real world.
this paper formalises a semantics for statements and expressions (in sequential imperative languages) which includes non-termination, normal termination and abrupt termination (e.g. because of an exception, break, ret...
详细信息
ISBN:
(纸本)3540672613
this paper formalises a semantics for statements and expressions (in sequential imperative languages) which includes non-termination, normal termination and abrupt termination (e.g. because of an exception, break, return or continue). this extends the traditional semantics underlying e.g. Hoare logic, which only distinguishes termination and non-termination. An extension of Hoare logic is elaborated that includes means for reasoning about abrupt termination (and side-effects). It prominently involves rules for reasoning about while loops, which may contain exceptions, breaks, continues and returns. this extension applies in particular to Java. As an example, a standard pattern search algorithm in Java (involving a while loop with returns) is proven correct using the proof-tool PVS.
For visualization of output of database queries, the trial charts like bar graphs, line graphs, scatter plots and pie-charts are inappropriate even for small data set when the results of a query are generated recursiv...
详细信息
ISBN:
(数字)9781538680759
ISBN:
(纸本)9781538680759
For visualization of output of database queries, the trial charts like bar graphs, line graphs, scatter plots and pie-charts are inappropriate even for small data set when the results of a query are generated recursively in the form of a graph or tree structure. Most of the recursive queries are used to retrieve hierarchical relationships among the instances of data within the database tables. Certain constraints are better represented by recursive rules. SQL 1999 standards allow the recursive queries using recursive common table expressions. To write these queries, views of relations have to be defined in terms of same table multiple times making procedural solutions less desirable. Datalog is also used for recursive queries. Since execution of most of the recursive queries can be represented by a syntax tree, therefore their output in most of the application scenarios is a tree. there is no support in SQL 1999 and Datalog to visualize output generated by recursive queries. In this research, the authors present visualization of output in two forms: First, an interactive tree view, and second, a complete non-interactive view of the output in the form of a tree. the correct results obtained from the system suggest that if software developers take care of appropriate ordering of the predicates, Prolog (programming in logic) can be a better option over Datalog because Prolog provides many built-in predicates and many of its features make it suitable as a relational language.
Enterprise software systems need to deal with two dominant data models. While object oriented languages (such as Java, C#, C++) are the dominant ways to write business logic, relational databases are the dominant ways...
详细信息
this paper describes a programming system based on the metaphor of communicating objects. Experience with a running system shows that this model provides flexibility, modularity and compactness. A compiled representat...
详细信息
A hidden Markov model (HMM) is a statistical model in which the system being modeled is assumed to be a Markov process with hidden states. this model has been widely used in speech recognition and biological sequence ...
详细信息
A hidden Markov model (HMM) is a statistical model in which the system being modeled is assumed to be a Markov process with hidden states. this model has been widely used in speech recognition and biological sequence analysis. Viterbi algorithm has been proposed to compute the most probable value of these hidden states in regards to an observed data sequence. Constrained HMM extends this framework by adding some constraints on a HMM process run. In this paper, we propose to introduce constrained HMMs into Constraint programming. We propose new version of the Viterbi algorithm for this new framework. Several constraint techniques are used to reduce the search of the most probable value of hidden states of a constrained HMM. An implementation based on PRISM, a logicprogramming language for statistical modeling, is presented.
Rule-based formalization of eligibility criteria in clinical trials have distinguished features such as declaration, easy maintenance, reusability, and expressiveness. In this paper, we present several knowledge servi...
详细信息
ISBN:
(数字)9783319483351
ISBN:
(纸本)9783319483351;9783319483344
Rule-based formalization of eligibility criteria in clinical trials have distinguished features such as declaration, easy maintenance, reusability, and expressiveness. In this paper, we present several knowledge services which can be provided by the rule-based formalization of eligibility criteria. the rule-based formalization can be generated automatically by using the logicprogramming Prolog withthe support of NLP tools for the semantic annotation and relation extraction with medical ontologies/terminologies such as UMLS and SNOMED CT. We show how those automatically generated rule-based formalization for eligibility criteria can be used for the patient recruitment service in SemanticCT, a semantically-enabled system for clinical trials.
暂无评论