Results 1 to 10 of about 719,711 (199)
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Axioms, 2020 Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference ...
Sopo Pkhakadze, Hans Tompits
doaj +2 more sources
Common Knowledge, Common Attitudes and Social Reasoning
Bulletin of the Section of Logic, 2021 For as long as there have been theories about common knowledge, they have been exposed to a certain amount of skepticism. Recent more sophisticated arguments question whether agents can acquire common attitudes and whether they are needed in social ...
Richmond H. Thomason
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
A Tractable Logic for Molecular Biology [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory, formulas describe protein structures and dynamic changes. They can be composed in order to add or remove static and dynamic observations.
Adrien Husson, Jean Krivine
doaj +1 more source
Detecting Malware Activities With MalpMiner: A Dynamic Analysis Approach
IEEE Access, 2023 Day by day, malware as a service becomes more popular and easy to acquire, thus allowing anyone to start an attack without any technical background, which in turn introduces challenges for detecting such attacks.
Mustafa F. Abdelwahed +2 more
doaj +1 more source
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem.
Farhad Shakerin
doaj +1 more source
Qualitative Mechanical Problem-Solving by Artificial Agents:
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Qualitative mechanical problem-solving (QMPS) is central to human-level intelligence. Human agents use their capacity for such problem-solving to succeed in tasks as routine as opening the tap to drink or hanging a picture on the wall, as well as for ...
Shreya Banerjee +3 more
doaj +1 more source
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this article we present an implementation of non-monotonic reasoning in an embedded system. As a part of an autonomous motor-glider, it simulates piloting decisions of an airplane.
José Luis Vilchis Medina +3 more
doaj +1 more source
Towards a mental probability logic
Psychologica Belgica, 2005 We propose probability logic as an appropriate standard of reference for evaluating human inferences. Probability logical accounts of nonmonotonic reasoning with SYSTEM P, and conditional syllogisms (MODUS PONENS, etc.) are explored.
Niki Pfeifer, Gernot D. Kleiter
doaj +1 more source
Tunneling current and noise of entangled electrons in correlated double quantum dot
Scientific Reports, 2021 We developed general approach for the analysis of tunneling current and its zero frequency noise for a wide class of systems where electron transport occurs through the intermediate structure with localized electrons.
N. S. Maslova +2 more
doaj +1 more source