Results 21 to 30 of about 697,506 (186)
Temporal Context-Based Delegation
In this paper, we put forward a dynamic delegation model based on a temporal context. Delegation is the process of granting a specific authorization from a user to another user of the same system to carry out some functions on his behalf.
Ouarda Bettaz +2 more
doaj +1 more source
Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic [PDF]
This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what ...
Ricardo Sousa Silvestre
doaj
Ancestor Worship in The Logic of Games. How foundational were Aristotle's contributions?
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
Relevance-driven evaluation of modular nonmonotonic logic programs [PDF]
. Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input from other modules, while allowing (mutually) recursive module calls.
Krennwallner, Thomas +7 more
core +1 more source
A logic of nonmonotone inductive definitions [PDF]
Well-known principles of induction include monotone induction and different sorts of nonmonotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing induction over well-founded sets and monotone and iterated induction.
Denecker, Marc, Ternovska, Eugenia
openaire +2 more sources
Ideal reasoners don’t believe in zombies
The negative zombie argument states that p&~q is ideally negatively conceivable and, therefore, possible, what would entail that physicalism is false (Chalmers, 2002, 2010}.
Danilo Fraga Dantas
doaj +1 more source
Nonmonotonic Logics and Semantics
Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may be deduced from a set A of formulas iff a holds in all of the "preferred" models in which all the elements of A ...
openaire +4 more sources
A logical semantics for nonmonotonic sorts [PDF]
Suppose we have a feature system, and we wish to add default values in a well-defined way. We might start with Kasper-Rounds logic, and use Reiter's example to form it into a default logic. Giving a node a default value would be equivalent to saying "if it is consistent for this node to have that value, then it does." Then we could use default theories
Mark A. Young, William C. Rounds
openaire +1 more source
The SP Theory of Intelligence: An Overview
This article is an overview of the SP theory of intelligence, which aims to simplify and integrate concepts across artificial intelligence, mainstream computing and human perception and cognition, with information compression as a unifying theme.
J Gerard Wolff
doaj +1 more source
Disorder‐Broadened Topological Hall Phase and Anomalous Hall Scaling in FeGe
By systematically introducing defects into FeGe via ion‐beam modification, we demonstrate that disorder broadens the temperature regime over which the topological Hall effect ‐ a signature of skyrmions or other chiral textures — appears, while also increasing its magnitude.
Chaman Gupta +11 more
wiley +1 more source

