the proceedings contain 27 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: Probabilistic relational models;inductive databases (abstract);some elements of machine le...
ISBN:
(纸本)3540661093
the proceedings contain 27 papers. the special focus in this conference is on Inductive logicprogramming. the topics include: Probabilistic relational models;inductive databases (abstract);some elements of machine learning (extended abstract);refinement operators can be (weakly) perfect;combining divide-and-conquer and separate-and-conquer for efficient and;effective rule induction;refining complete hypotheses in ILP;acquiring graphic design knowledge withnonmonotonic inductive learning;morphosyntactic tagging of Slovene using progol;experiments in predicting biodegradability;a first-order Bayesian classifier;building background knowledge into a refinement operator for inductive logicprogramming;a strong complete schema for inductive functional logicprogramming;application of different learning methods to Hungarian part-of-speech tagging;combining lapis and wordnet for the learning of LR parsers with optimal semantic constraints;learning word segmentation rules for tag prediction;approximate ILP rules by back propagation neural network;rule evaluation measures: a unifying view;improving part-of-speech disambiguation rules by adding linguistic knowledge;on sufficient conditions for learnability of logic programs from positive data;a bounded search space of clausal theories;discovering new knowledge from graph data using inductive logicprogramming;analogical prediction;generalizing refinement operators to learn prenex conjunctive normal forms;theory recovery;instance based function learning;some properties of inverse resolution in normal logic programs;an assessment of ILP-assisted models for toxicology and the PTE-3 experiment.
We describe a coherent view of learning and reasoning with relational representations in the context of natural language processing. In particular, we discuss the Neuroidal Architecture, Inductive logicprogramming an...
详细信息
We describe a coherent view of learning and reasoning with relational representations in the context of natural language processing. In particular, we discuss the Neuroidal Architecture, Inductive logicprogramming and the SNoW system explaining the relationships among these, and thereby offer an explanation of the theoretical basis for the SNoW system. We suggest that extensions of this system along the lines suggested by the theory may provide new levels of scalability and functionality.
the proceedings contain 40 papers. the topics discussed include: the gain of failures: using side-effects of anaphora resolution for term consistency checks;constraint solving in logicprogramming and in automated ded...
ISBN:
(纸本)354064993X
the proceedings contain 40 papers. the topics discussed include: the gain of failures: using side-effects of anaphora resolution for term consistency checks;constraint solving in logicprogramming and in automated deduction: a comparison;reasoning about generalized intervals;formalizing belief reports - the approach and a case study;extension calculus and query answering in prioritized default logic;study of symmetry in qualitative temporal interval networks;a blackboard architecture for guiding interactive proofs;combining nonmonotonicreasoning and belief revision: a practical approach;using linear temporal logic to model and solve planning problems;tailorable interactive agents for scheduling meetings;planning diagonalization proofs;theories and proofs in fault diagnosis;nonmonotonicreasoning under uncertain evidence;and planning via model checking in deterministic domains: preliminary report.
the proceedings contain 34 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasonin...
ISBN:
(纸本)9783540632559
the proceedings contain 34 papers. the special focus in this conference is on logicprogramming and nonmonotonicreasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasoning with quantified Boolean constraints;complexity of only knowing;affordable classes of normal logic programs;automated reasoning with non-monotonic logics;simulations between programs as cellular automata;separating disbeliefs from beliefs in autoepistemic reasoning;resolution for skeptical stable semantics;computing non-ground representations of stable models;industry needs for integrated information services;towards a systematic approach to representing knowledge in declarative logicprogramming;a paraconsistent semantics with contradiction support detection;a general framework for revising non-monotonic theories;modular logicprogramming and generalized quantifiers;programs with universally quantified embedded implications;generalized query answering in disjunctive deductive databases;towards a disjunctive logicprogramming system;a deductive system for non-monotonic reasoning;flexible solutions to complex problems;an implementation of the stable model and well-founded semantics for normal lp;an implementation platform for query-answering in default logics and the x-ray system, its implementation and evaluation.
the fourthinternationalconference on logicprogramming and nonmonotonicreasoning (LPNMR) was held in Dagstuhl, Germany from the 28th to the 31st of July 1997. this year9;s installment of LPNMR reflected a new st...
详细信息
the fourthinternationalconference on logicprogramming and nonmonotonicreasoning (LPNMR) was held in Dagstuhl, Germany from the 28th to the 31st of July 1997. this year's installment of LPNMR reflected a new stage in the development of this cross-disciplinary field, with demonstrations of ten implemented system joining the submitted papers, invited talks and panel discussions. the details of the conference together withthe various topics tackled are presented.
A general framework for revision of nonmonotonictheories is presented. this framework can be applied if the intended nonmonotonic semantics is not (weakly) cumulative. For weaker-semantics, it is shown that revision ...
详细信息
ISBN:
(纸本)3540632557
A general framework for revision of nonmonotonictheories is presented. this framework can be applied if the intended nonmonotonic semantics is not (weakly) cumulative. For weaker-semantics, it is shown that revision by contraction is not possible whenever the intended semantics satisfies Weak Cut and revision by expansion fails whenever Weak (Cautious) Monotony fails. Furthermore, it turns out that revision by expansion can be used to test whether the framework can be applied successfully and we analyse the case for logicprogramming.
this paper gives a brief high-level description of the implementation of a disjunctive logicprogramming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logic Programmin...
详细信息
ISBN:
(纸本)3540632557
this paper gives a brief high-level description of the implementation of a disjunctive logicprogramming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logicprogramming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.
暂无评论