Information and evidence in logic systems

DOI10.1080/09528139408953787zbMath0807.68084OpenAlexW2026799317MaRDI QIDQ4297221

Eliezer L. Lozinskii

Publication date: 3 July 1994

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09528139408953787

zbMATH Keywords

non-monotonic reasoningplausible semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Related Items (11)

Resolving contradictions: A plausible semantics for inconsistent systems ⋮ Measuring Instability in Normal Residuated Logic Programs: Discarding Information ⋮ Analysing inconsistent first-order knowledgebases ⋮ Is there an alternative to parsimonious semantics? ⋮ Handling and measuring inconsistency in non-monotonic logics ⋮ Another look at the phenomenon of phase transition ⋮ Approximate reasoning with credible subsets ⋮ A practical measure of the information in a logical theory ⋮ Philosophical Conceptions of Information ⋮ On knowledge evolution: acquisition, revision, contraction ⋮ Explaining by evidence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• The complexity of computing the permanent
• An analysis of first-order logics of probability
• Probabilistic logic
• Evidential support logic programming
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Approximate inclusion-exclusion
• Counting propositional models
• Information Theory and Statistical Mechanics
• Generality in artificial intelligence
• Upper and Lower Probabilities Induced by a Multivalued Mapping

This page was built for publication: Information and evidence in logic systems