Results 251 to 260 of about 26,020 (289)
Some of the next articles are maybe not open access.
Restricted semantics for default reasoning
Annals of Mathematics and Artificial Intelligence, 2018zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zuoquan Lin
exaly +2 more sources
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence, 1997 We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases. The framework can be understood
Francesca Toni
exaly +2 more sources
A modal logic for subjective default reasoning
Artificial Intelligence, 2000 In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of “If α, then normally β”.
Shai Ben-David
exaly +2 more sources
On the Dynamics of Default Reasoning
International Journal of Intelligent Systems, 1999Summary: Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it does not reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default theory are made. This paper studies the dynamic
openaire +2 more sources
Default Reasoning with Specificity
2000We present a new approach to reasoning with specificity which subsumes inheritance reasoning. The new approach differs from other approaches in the literature in the way priority between defaults is handled. Here, it is context sensitive rather than context independent as in other approaches.
Phan Minh Dung, Tran Cao Son
openaire +1 more source
Default reasonableness and the mathoids
Synthese, 2012In this paper I will argue that (principled) attempts to ground a priori knowledge in default reasonable beliefs cannot capture certain common intuitions about what is required for a priori knowledge. I will describe hypothetical creatures who derive complex mathematical truths like Fermat’s last theorem via short and intuitively unconvincing arguments.
openaire +1 more source
Reasoning with prioritized defaults
1998The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a domain independent system of axioms, written as an extended logic program, which defines reasoning with prioritized defaults.
Michael Gelfond, Tran Cao Son
openaire +1 more source
Modeling default reasoning using defaults
User Modeling and User-Adapted Interaction, 1991User modeling research can benefit from formal automated reasoning tools. However existing formal tools may need to be modified to suit the needs of user modeling. Theorist is a simple framework for default reasoning. It can be used as a tool for building and maintaining a user model, and as a model of a user's default reasoning.
openaire +1 more source
2006
AbstractBecause of its extremely ecumenical view of what considerations might count as reasons, particularism threatens to ‘flatten the moral landscape’ by making it seem that there is no deep difference between, for example pain and shoelace color. After all, particularists have claimed, either could provide a reason provided a suitable moral context.
Sean McKeever, Michael Ridge
openaire +1 more source
AbstractBecause of its extremely ecumenical view of what considerations might count as reasons, particularism threatens to ‘flatten the moral landscape’ by making it seem that there is no deep difference between, for example pain and shoelace color. After all, particularists have claimed, either could provide a reason provided a suitable moral context.
Sean McKeever, Michael Ridge
openaire +1 more source