Results 1 to 10 of about 4,404 (137)
Modal nonmonotonic logics [PDF]
Journal of the ACM, 1993 Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be represented faithfully by means of modal nonmonotonic logics in the family proposed by McDermott and Doyle. In this paper properties of logics in this family are thoroughly investigated.
Marek, V. Wiktor +2 more
exaly +5 more sources
Ground Nonmonotonic Modal Logics [PDF]
Journal of Logic and Computation, 1997 The authors develop a theory of ground logics which are nonmonotonic formalisms in the spirit of the McDermott--Doyle nonmonotonic modal logics. The ground logics are intended to formalise reasoning of rational agents who are allowed to make nonmonotonic assumptions only on information concerning the real world and expressed by nonmodal formulas ...
DONINI F. M. +2 more
openaire +4 more sources
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 We present the logic of Hebbian learning, a dynamic logicwhose semantics1 are expressed in terms of a layered neuralnetwork learning via Hebb’s associative learning rule.
Caleb Kisby, Saúl Blanco, Lawrence Moss
doaj +1 more source
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 +1 more source
Ancestor Worship in The Logic of Games. How foundational were Aristotle's contributions?
The Baltic International Yearbook of Cognition, Logic and Communication, 2013 Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the ...
John Woods
doaj +1 more source
Informal Logic, 2011 There are passages in Fallacies suggesting a skeptical attitude to the very idea of inductive arguments, hence to the existence of inductive fallacies.
John Woods
doaj +1 more source
A Description Logic of Typicality for Conceptual Combination [PDF]
, 2018 We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling.
A Lieto +12 more
core +1 more source
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination [PDF]
, 2010 In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed.
Axel Polleres +4 more
core +2 more sources
Reactive preferential structures and nonmonotonic consequence [PDF]
, 2008 We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation ...
Gabbay, Dov, Schlechta, Karl
core +4 more sources
Proof Complexity of Propositional Default Logic [PDF]
, 2010 Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic.
Beyersdorff, O +4 more
core +3 more sources