Information and evidence in logic systems

DOI10.1080/09528139408953787MaRDI QIDQ4297221zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 4166941
• A logic for reasoning about evidence
• scientific article; zbMATH DE number 408801
• scientific article; zbMATH DE number 1341457
• scientific article; zbMATH DE number 603763

Cites work

• A logic for default reasoning
• A Mathematical Theory of Communication
• An analysis of first-order logics of probability
• Approximate inclusion-exclusion
• Circumscription - a form of non-monotonic reasoning
• Counting propositional models
• Evidential support logic programming
• Generality in artificial intelligence
• scientific article; zbMATH DE number 3118808 (Why is no real title available?)
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 3511413 (Why is no real title available?)
• Information Theory and Statistical Mechanics
• Probabilistic logic
• The complexity of computing the permanent
• Upper and Lower Probabilities Induced by a Multivalued Mapping

Cited in

(19)

• Resolving contradictions: A plausible semantics for inconsistent systems
• Handling and measuring inconsistency in non-monotonic logics
• Analysing inconsistent first-order knowledgebases
• A quantified logic of evidence
• Information and Logical Discrimination
• On knowledge evolution: acquisition, revision, contraction
• Measuring instability in normal residuated logic programs: discarding information
• Philosophical Conceptions of Information
• Extracting Information from Logical Proofs
• Approximate reasoning with credible subsets
• A practical measure of the information in a logical theory
• Logics of Complementarity in Information Systems
• Explaining by evidence
• scientific article; zbMATH DE number 1844516 (Why is no real title available?)
• Is there an alternative to parsimonious semantics?
• Informational logic for automated reasoning
• Another look at the phenomenon of phase transition
• A positive information logic for inferential information
• Interacting explicit evidence systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4297221)