\(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions

DOI10.1007/s10472-020-09697-0OpenAlexW3036426653MaRDI QIDQ2029709

Haythem O. Ismail, Nourhan Ehab

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

uncertaintynon-monotonicityweighted logicsgraded propositionsunified framework for non-monotonicity

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Editorial: Weighted logics for artificial intelligence -- an introductory discussion
• Conditional entailment: bridging two approaches to default reasoning.
• Epistemic logic for rule-based agents
• Towards a general theory of action and time
• Languages with self-reference. II: Knowledge, belief, and modality
• A model for belief revision
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• An abstract, argumentation-theoretic approach to default reasoning
• Nonmonotonic reasoning, conditional objects and possibility theory
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• A dynamic solution to the problem of logical omniscience
• The dynamics of epistemic attitudes in resource-bounded agents
• All I know: A study in autoepistemic logic
• A family of graded epistemic logics
• Markov logic networks
• Bayesian and Dempster-Shafer fusion
• Preferential Reasoning for Modal Logics
• A first-order conditional probability logic
• BDI: a new decidable clause class
• LogAB: A first-order, non-paradoxical, algebraic logic of belief
• Autoepistemic logic
• Kernel contraction
• The classical decision problem.

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