Results 11 to 20 of about 150,993 (319)
Autonomous Aerial Vehicle - Based on Non-Monotonic Logic
Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, 2017 In this article we study the case of an autonomous motor-glider. The aims of the aircraft is to maintain its flight as long as possible, taking advantage of the rising air from the ground, known as thermals, despite of limited energy resources and possible external influences, such as turbulences. The pilot task being to make decisions with incomplete,
José Luis Vilchis Medina +2 more
openalex +2 more sources
From Classical to Non-monotonic Deontic Logic Using ASPIC $$^+$$ [PDF]
Logic, Rationality, and Interaction, 2019 In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC\(^+\) to define non-monotonic variants of well-understood modal logics. We illustrate the approach using argumentation about free-choice permission.
Dong, Huimin +3 more
openaire +3 more sources
Ethical System Formalization using Non-Monotonic Logics
, 2007 Ethics is the science of duty, i.e. the science that elucidates the rules of the right behavior. Nevertheless, it seems that the way we rule our lives is intuitive and based on common sense. For instance, it is common to say that ethical rules are default rules, which means that they tolerate exceptions.
Jean‐Gabriel Ganascia
openalex +3 more sources
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME
, 2019 We present a heuristic based algorithm to induce \textit{nonmonotonic} logic programs that will explain the behavior of XGBoost trained classifiers.
Farhad Shakerin, Gopal Gupta
openalex +4 more sources
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic [PDF]
Journal of Logic and Computation, 2013 Mathieu Beirlaen, Christian Straßer
openalex +2 more sources
Inductive inference, theory revision and non-monotonic logic
, 1996 Electrical Engineering, Mathematics and Computer ...
G.J. Akkerman
openalex +3 more sources
Belief Revision in Non-Monotonic Reasoning and Logic Programming
Fundamenta Informaticae, 1996 In order to be able to explicitly reason about beliefs, we've introduced a non-monotonic formalism, called the Autoepistemic Logic of Beliefs, AEB, obtained by augmenting classical propositional logic with a belief operator, β. For this language we've defined the static autoepistemic expansions semantics.
José Júlio Alferes +2 more
openalex +4 more sources
Judicial syllogism - integrating non-monotonic logic in a deductive logical form
Eastern Journal of European StudiesThe judicial syllogism represents one of the most significant and widely accepted applications of logic in the field of law. Alongside the legislative syllogism, it is a part of the broader conceptual framework commonly referred to as the legal syllogism. This logical structure is classified as a type of mediate deductive inference, which proceeds from
Codrin Codrea
openalex +2 more sources
Noise-resistant Landau-Zener sweeps from geometrical curves [PDF]
Quantum, 2022 Landau-Zener physics is often exploited to generate quantum logic gates and to perform state initialization and readout. The quality of these operations can be degraded by noise fluctuations in the energy gap at the avoided crossing.
Fei Zhuang +3 more
doaj +1 more source
f-SHOIQN:a fuzzy and non-monotonic description logic [PDF]
Jisuanji gongcheng, 2019 There is a lot of fuzzy and non-monotonic knowledge in the semantic Web,which cannot be expressed by the current description logic.Aiming at the problem,this paper adds weak negative constructor and proposes a fuzzy and non-monotonic description logic f ...
WANG Xing,ZHAO Qiaoxia,CHEN Ji,LI Jia
doaj +1 more source