Intelligent Systems require the ability to reason with incomplete information, because in the real world complete information is hard to obtain, even in the most controlled situation. In recent years, many formalisms ...
详细信息
Intelligent Systems require the ability to reason with incomplete information, because in the real world complete information is hard to obtain, even in the most controlled situation. In recent years, many formalisms have been proposed tacking the matter of uncertain, incomplete in logic programs and databases. However, qualitative models and qualitative reasoning have been around in artificialintelligence research for some time, in particular due the growing need to offer support in decision-making processes. the evaluation of knowledge that stems out from logic programs becomes a point of research. the Quality-of- Information concept demonstrated their applicability in many dynamic environments and for decision making purposes. In this paper we present an illustrative example of the inference process in decisions in healthcare environments. Under the Extended logicprogramming paradigm to knowledge representation and reasoning, we present the evolutive perspective of the inference process to achieve logical programs (or theories) corresponding to the best theorems to solve a problem or take a decision. For the evaluation of the best theories we use a quantification of the quality-of-information that stems out from a logic program.
Albeit temporal reasoning and modularity are very prolific fields of research in logicprogramming (LP) we find few examples of their integration. Moreover, in those examples, time and modularity are considered orthog...
详细信息
ISBN:
(纸本)9783642006746
Albeit temporal reasoning and modularity are very prolific fields of research in logicprogramming (LP) we find few examples of their integration. Moreover, in those examples, time and modularity are considered orthogonal to each other. In this paper we propose the addition of temporal annotations to a modular extension of LP such that the usage of a, module is influenced by temporal conditions. Besides illustrative examples we also provide all operational semantics together with a compiler, allowing this way for the development of applications based on such language.
In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain D, and by computing a validity domain for ...
详细信息
ISBN:
(纸本)9783642042430
In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain D, and by computing a validity domain for the variables rather than a truth value for the formula. this allows us to define a continuous degree of satisfaction for a temporal logic formula ill a, given structure, opening up the field of model-checking to optimization. We illustrate this approach with reverse engineering problems coming from systems biology, and provide some performance figures oil parameter optimization problems with respect to temporal logic specifications.
We address a location-allocation problem that;requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capacity constraints, and the allocation of the custo...
详细信息
ISBN:
(纸本)9783642042430
We address a location-allocation problem that;requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capacity constraints, and the allocation of the customers to trucks at those facilities under per truck travel-distance constraints. We present a hybrid approach that combines integer programming and constraint programming using logic-based Benders' decomposition. Computational performance against an existing integer programming model and a, tabu search approach demonstrates that the Benders model is able to find and prove optimal solutions an order of magnitude faster than an integer programming model while also finding better feasible solutions in less time for the majority of problem instances when compared to the tabu search.
Probabilistic conditionals are a powerful means for expressing uncertain knowledge. In this paper, we describe a system implemented in Java performing probabilistic reasoning at optimum entropy. It provides nonmonoton...
详细信息
ISBN:
(纸本)9783642042379
Probabilistic conditionals are a powerful means for expressing uncertain knowledge. In this paper, we describe a system implemented in Java performing probabilistic reasoning at optimum entropy. It provides nonmonotonic belief change operations like revision and up-date and supports advanced querying facilities including diagnosis and what-if-analysis.
the proceedings contain 62 papers. the topics discussed include: constraint-based schedulers, do they really work?;challenges for constraint reasoning and optimization in computational sustainability;observations on s...
ISBN:
(纸本)3642042430
the proceedings contain 62 papers. the topics discussed include: constraint-based schedulers, do they really work?;challenges for constraint reasoning and optimization in computational sustainability;observations on symmetry breaking;generating optimal stowage plans for container vessel bays;real-time Tabu search for video tracking association;pin assignment using stochastic local search constraint programming;modelling equidistant frequency permutation arrays: an application of constraints to mathematics;scheduling the CB1000 nanoproteomic analysis system with Python, Tailor, and Minion;solving nurse rostering problems using soft global constraints;online selection of quorum systems for RAMBO reconfiguration;a hybrid constraint model for the routing and wavelength assignment problem;memorisation for constraint-based local search;on the structure of industrial SAT instances;a gender-based genetic algorithm for the automatic configuration of algorithms;and filtering numerical CSPs using well-constrained subsystems.
the proceedings contain 65 papers. the topics discussed include: logic-based modeling in systems biology;integrating answer set programming and satisfiability modulo theories;splitting a CR-prolog pro;contextual argum...
ISBN:
(纸本)3642042376
the proceedings contain 65 papers. the topics discussed include: logic-based modeling in systems biology;integrating answer set programming and satisfiability modulo theories;splitting a CR-prolog pro;contextual argumentation in ambient intelligence;argumentation context systems: a framework for abstract group argumentation;a revised concept of safety for general answer set programs;magic sets for the bottom-up evaluation of finitely recursive programs;relevance-driven evaluation of modular nonmonotonic logic programs;complexity of the stable model semantics for queries on incomplete databases;manifold answer-set programs for meta-reasoning;computing stable models through reductions to difference logic;module-based framework for multi-language constraint modeling;and induction on failure: learning connected horn theories.
暂无评论