Results 21 to 30 of about 150,993 (319)
A Unified Algebraic Framework for Non-Monotonicity [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much called for ...
Nourhan Ehab, Haythem O. Ismail
doaj +1 more source
EPSILoN: Environmental Problem Solving Interface Logic Non-monotonic
, 2011 English: The goal of this thesis is to study the viability of an IDSS based on a LFAC. At the end, we intend to develop a complete IDSS application based on a LFAC which implements a real domain and which can be put to use in real scenarios.
Dario García-Gasulla
openalex +3 more sources
Minimally inconsistent reasoning in Semantic Web. [PDF]
PLoS ONE, 2017 Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is unavoidable in real applications. For this, different paraconsistent approaches, due to their capacity to draw as nontrivial conclusions by tolerating ...
Xiaowang Zhang
doaj +1 more source
Non-Axiomatic Logic Modeling of English Texts for Knowledge Discovery and Commonsense Reasoning
Applied Sciences, 2023 Non-axiomatic logic (NAL) is a term-based, non-monotonic, multi-valued logic with evidence-based formal semantics. All those characteristics position NAL as an excellent candidate for modeling natural language expressions and supporting artificial agents
Osiris Juárez +2 more
doaj +1 more source
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions.
Francesco Olivieri +3 more
doaj +1 more source
On the Strong Equivalences for LPMLN Programs [PDF]
Logical Methods in Computer Science, 2021 LPMLN is a powerful knowledge representation and reasoning tool that combines the non-monotonic reasoning ability of Answer Set Programming (ASP) and the probabilistic reasoning ability of Markov Logic Networks (MLN).
Bin Wang +3 more
doaj +1 more source
On the Expressiveness of TPTL and MTL over ω-Data Words [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages.
Claudia Carapelle +3 more
doaj +1 more source
Local Logics, Non-Monotonicity and Defeasible Argumentation [PDF]
Journal of Logic, Language and Information, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bodanza, Gustavo Adrian +1 more
openaire +2 more sources
Evaluating and selecting arguments in the context of higher order uncertainty
Frontiers in Artificial Intelligence, 2023 Human and artificial reasoning has to deal with uncertain environments. Ideally, probabilistic information is available. However, sometimes probabilistic information may not be precise or it is missing entirely.
Christian Straßer, Lisa Michajlova
doaj +1 more source
Reasoning with Expectations About Causal Relations
Studies in Logic, Grammar and Rhetoric, 2022 Reasoning is not just following logical rules, but a large part of human reasoning depends on our expectations about the world. To some extent, non-monotonic logic has been developed to account for the role of expectations.
Gärdenfors Peter
doaj +1 more source