Titlebook: Symbolic and Quantitative Approaches to Reasoning and Uncertainty; European Conference, Anthony Hunter,Simon Parsons Conference proceedings

cacophony

似少年

A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas,s-Putnam-style procedure for solving the propositional satisfiability problem in regular CNF formulas (regular SAT). Regular-GSAT is a GSAT-style procedure for finding satisfying interpretations in regular CNF formulas. Our experimental results provide experimental evidence that Regular-GSAT outperf

BIPED

Query-answering in Prioritized Default Logic,rtial order on default rules. In a previous work, we have defined an alternative approach for characterizing extensions in prioritized default theories initially proposed by Brewka. We present here another approach for computing default proofs for query answering in prioritized normal default logic.

Synovial-Fluid

Updating Directed Belief Networks,usal networks), but instead of probability functions, we use belief functions. Based on the work of Cano .. [1992] in which they have presented an axiomatic framework for propagating valuations in directed acyclic graph using Shafer-Shenoy’s axioms of valuation-based system (VBS), we show how the De

细查

Inferring Causal Explanations,re often unsatisfactory from a common-sense point of view. We define a framework allowing us to distinguish causal implication from mere logical implication. Causal explanations are then deduced through two inference schemes so that explaining is in some way “less than implying” and “more than imply

显微镜

闪光东本

Connecting Lexicographic with Maximum Entropy Entailment,efaults be assigned specific strengths and it is shown that lex-entailment can be equated to me-entailment for a class of specific strength assignments. By clarifying the assumptions which underlie lex-entailment, it is argued that me-entailment is a superior method of handling default inference for

朋党派系

abreast

Anchoring Symbols to Vision Data by Fuzzy Logic, entities which these symbols refer to. Anchoring must rely on perceptual data which is inherently affected by uncertainty. We propose an anchoring technique based on the use of fuzzy sets to represent uncertainty, and of degree of subset-hood to compute the partial match between signatures of objec

态学