Log_AG: an algebraic non-monotonic logic for reasoning with graded propositions

DOI10.1007/S10472-020-09697-0MaRDI QIDQ2029709zbMATH OpenOpenAlexFDO

Authors Nourhan Ehab, Haythem O. Ismail

Publication date 4 June 2021

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-020-09697-0

zbMATH Keywords

graded propositionsnon-monotonicityuncertaintyunified framework for non-monotonicityweighted logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Preferential logics for reasoning with graded uncertainty
• Nonmonotonic Logics and Their Algebraic Foundations
• scientific article; zbMATH DE number 67506
• Reasoning with knowledge and belief
• scientific article; zbMATH DE number 935037

Cites work

• A dynamic solution to the problem of logical omniscience
• A family of graded epistemic logics
• A first-order conditional probability logic
• A logic for default reasoning
• A model for belief revision
• All I know: A study in autoepistemic logic
• An abstract, argumentation-theoretic approach to default reasoning
• Autoepistemic logic
• Bayesian and Dempster-Shafer fusion
• BDI: a new decidable clause class
• Circumscription - a form of non-monotonic reasoning
• Conditional entailment: bridging two approaches to default reasoning.
• Editorial: Weighted logics for artificial intelligence -- an introductory discussion
• Epistemic logic for rule-based agents
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• Handbook of epistemic logic
• scientific article; zbMATH DE number 4166925 (Why is no real title available?)
• scientific article; zbMATH DE number 3930376 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 695095 (Why is no real title available?)
• scientific article; zbMATH DE number 1748571 (Why is no real title available?)
• scientific article; zbMATH DE number 1759390 (Why is no real title available?)
• scientific article; zbMATH DE number 2168212 (Why is no real title available?)
• scientific article; zbMATH DE number 6741894 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Kernel contraction
• Languages with self-reference. II: Knowledge, belief, and modality
• LogAB: A first-order, non-paradoxical, algebraic logic of belief
• Markov logic networks
• Natural language processing and knowledge representation. Language for knowledge and knowledge for language
• Nonmonotonic reasoning, conditional objects and possibility theory
• Nonmonotonic reasoning, preferential models and cumulative logics
• Preferential reasoning for modal logics
• The classical decision problem.
• The dynamics of epistemic attitudes in resource-bounded agents
• Towards a general theory of action and time
• What does a conditional knowledge base entail?

Cited in

(4)

• Correction to: ``\(Log_A \mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
• LogAB: A first-order, non-paradoxical, algebraic logic of belief
• scientific article; zbMATH DE number 4181310 (Why is no real title available?)
• A unified algebraic framework for non-monotonicity

This page was built for publication: \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions

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