We describe a toot to help users construct and explore graphs representing possibly incomplete or uncertain relations between propositions in a domain of interest selected by the user the inference engine for this arg...
详细信息
ISBN:
(纸本)0818677430
We describe a toot to help users construct and explore graphs representing possibly incomplete or uncertain relations between propositions in a domain of interest selected by the user the inference engine for this argument-based system (ABS) is derived from defeasible logic [15]. Our prototype ABS implements a modification of an algorithm for reasoning withthese graphs first reported in [17] We also report improved soundness and completeness results of the sort found in [17].
the proceedings contain 29 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: Knowledge discovery in databases;on the complexity of some inductive logicprogramming pro...
ISBN:
(纸本)3540635149
the proceedings contain 29 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: Knowledge discovery in databases;on the complexity of some inductive logicprogramming problems;inductive logicprogramming and constraint logicprogramming;learning phonetic rules in a speech recognition system;cautious induction in inductive logicprogramming;generating numerical literals during refinement;lookahead and discretization in ILP;the application of progol to a database of enantioseparations;part-of-speech tagging using progol;maximum entropy modeling with clausal constraints;mining association rules in multiple relations;using logical decision trees for clustering;induction of slovene nominal paradigms;normal forms for inductive logicprogramming;induction of logic programs with more than one recursive clause by analyzing saturations;a logical framework for graph theoretical decision tree learning;learning with abduction;systematic predicate invention in inductive logicprogramming;learning programs in the event calculus;distance between herbrand interpretations;realizing progol by forward reasoning;probabilistic first-order classification;learning horn definitions with equivalence and membership queries;using abstraction schemata in inductive logicprogramming and distance induction in first order logic.
We present a new method, called non-Horn magic sets (NHM), to enhance forward reasoning provers by combining top-down and bottom-up computations. this method is a natural extension of Horn magic sets and is applicable...
详细信息
ISBN:
(纸本)3540631046
We present a new method, called non-Horn magic sets (NHM), to enhance forward reasoning provers by combining top-down and bottom-up computations. this method is a natural extension of Horn magic sets and is applicable to range-restricted non-Horn clauses. We show two types of transformations to get non-Horn magic sees from the given clause sets: breadth-first NHM and depth-first NHM. the first transformation evaluates the antecedent atoms of an original clause in parallel. the second one evaluates them sequentially while propagating the bindings in an antecedent atom to the next by using continuation predicates. these transformations are shown to be sound and complete. the NHM method has been implemented on a UNIX workstation. We evaluated effects of NHM by proving some typical problems taken from the TPTP problem library.
the proceedings contain 17 papers. the special focus in this conference is on logic Program Synthesis and Transformation. the topics include: A multi-level approach to program synthesis;programs without failures;gener...
ISBN:
(纸本)3540650741
the proceedings contain 17 papers. the special focus in this conference is on logic Program Synthesis and Transformation. the topics include: A multi-level approach to program synthesis;programs without failures;generalised logic program transformation schemas;logic program schemas, constraints and semi-unification;implicit program synthesis by a reversible metainterpreter;termination analysis for tabled logicprogramming;on correct program schemas;analysis of logic programs with delay;constraint-based partial evaluation of rewriting-based functional logic programs;preserving termination of tabled logic programs while unfolding;unfolding the mystery of mergesort;towards a logic for reasoning about logic programs transformation;a higher order reconstruction of stepwise enhancement;development of correct transformation schemata for prolog programs;constrained regular approximation of logic programs;a logic framework for the incremental inductive synthesis of datalog theories and to parse or not to parse.
the proceedings contain 28 papers. the special focus in this conference is on Concurrency theory. the topics include: Recent developments in the mathematics of reactive systems;partial-order reduction in the weak moda...
ISBN:
(纸本)3540631410
the proceedings contain 28 papers. the special focus in this conference is on Concurrency theory. the topics include: Recent developments in the mathematics of reactive systems;partial-order reduction in the weak modal ran-calculus;cyclic vector languages;a product version of dynamic linear time temporal logic;reasoning about cryptographic protocols in the spi calculus;modularity for timed and hybrid systems;a universal reactive machine;bounded stacks, bags and queues;adding partial orders to linear temporal logic;reachability analysis of pushdown automata;synthesis of nets with inhibitor arcs;an algebraic theory of multiple clocks;horizontal and vertical structuring techniques for statecharts;proving safety properties of infinite state systems by compilation into presburger arithmetic;axiomatizing flat iteration;probabilistic concurrent constraint programming;on the complexity of verifying concurrent transition systems;high level expressions withtheir SOS semantics;causal ambiguity and partial orders in event structures;bisimulation and propositional intuitionistic logic;a rigorous analysis of concurrent operations on b-trees and first-order axioms for asynchrony.
the objective of control generation in logicprogramming is to automatically derive a computation rule for a program that is efficient and yet does not compromise program correctness. Progress in solving this importan...
详细信息
Case-based reasoning involves reasoning from cases: specific pieces of experience, the reasoner's or another's, that can be used to solve problems. We use the term "graph-structured" for representati...
详细信息
We present a technique that efficiently translates prepositional intuitionistic formulas into propositional classical formulas. this technique allows the use of arbitrary classical theorem provers for deciding the int...
详细信息
the proceedings contain 60 papers. the special focus in this conference is on logic for AI, Learning and Discovery Systems. the topics include: Goal-oriented multimedia dialogue with variable initiative;knowledge-base...
ISBN:
(纸本)3540636145
the proceedings contain 60 papers. the special focus in this conference is on logic for AI, Learning and Discovery Systems. the topics include: Goal-oriented multimedia dialogue with variable initiative;knowledge-based image retrieval with spatial and temporal constructs;verification and validation of AI systems that control deep-space spacecraft;data mining and knowledge discovery;embedding prioritized circumscription in logic programs;extending temporal logic for capturing evolving behaviour;a description logic model for querying knowledge bases for structured documents;refining first order theories with neural networks;a way of increasing both autonomy and versatility of a KDD system;a comparison of attribute selection strategies for attribute-oriented generalization;boolean reasoning for feature extraction problems;world model construction in children during physics learning;well-behaved evaluation functions for numerical attributes;an improved inductive learning algorithm with a preanalysis of data;efficient induction of numerical constraints;learning english syllabification for words;towards conceptual query answering;an implementation platform for query-answering in default logics;automating spoken dialogue systems;handwritten digit recognition by local principal components analysis;from conceptual model to internal model;speeding GA-based attribute selection for image interpretation;using recurrent selection to improve GA performance;a coevolutionary approach to concept learning;representation of music in a learning classifier system;on multi-class problems and discretization in inductive logicprogramming and discovering empirical equations from robot-collected data.
暂无评论