cacophony
发表于 2025-3-23 10:00:38
http://reply.papertrans.cn/89/8839/883843/883843_11.png
似少年
发表于 2025-3-23 16:12:25
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
发表于 2025-3-23 21:45:39
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
发表于 2025-3-24 00:20:21
Updating Directed Belief Networks,usal networks), but instead of probability functions, we use belief functions. Based on the work of Cano .. 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
细查
发表于 2025-3-24 04:19:51
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
显微镜
发表于 2025-3-24 07:12:31
http://reply.papertrans.cn/89/8839/883843/883843_16.png
闪光东本
发表于 2025-3-24 11:56:08
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
朋党派系
发表于 2025-3-24 16:00:06
http://reply.papertrans.cn/89/8839/883843/883843_18.png
abreast
发表于 2025-3-24 21:08:08
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
态学
发表于 2025-3-25 01:08:26
http://reply.papertrans.cn/89/8839/883843/883843_20.png