Results 81 to 90 of about 13,242 (209)

Disjunctive Logic Programs with Inheritance

, 2001
The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco, Faber, Wolfgang, Leone, Nicola   +2 more
core   +1 more source

Explanations, belief revision and defeasible reasoning

Artificial Intelligence, 2002
We present different constructions for nonprioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (representing explanations), giving representation theorems.
Falappa, Marcelo A., Kern-Isberner, Gabriele, Simari, Guillermo R.   +2 more
openaire   +2 more sources

Ghosting in the Job Market: The Principle of Communicative Reciprocity and the Duty of Transparency

Journal of Social Philosophy, EarlyView.
Niels de Haan
wiley   +1 more source

Inquiry and Logical Form

Philosophical Perspectives, EarlyView.
ABSTRACT Joint inquiry requires agents to exchange public content about some target domain, which in turn requires them to track which content a linguistic form contributes to a conversation. But, often, the inquiry delivers a necessary truth. For example, if we are inquiring whether a particular bird, Tweety, is a woodpecker, and discover that it is ...
Una Stojnić, Matthew Stone
wiley   +1 more source

On Nonfoundational Reasoning

Zagadnienia Filozoficzne w Nauce, 2014
The goal of the paper is to describe the role and structure of nonfoundational reasoning, i.e. a kind of argumentation that meets the revisability, the feedback, the background stability and the disputability conditions.
Bartosz Brożek
doaj  

A Framework for Combining Defeasible Argumentation with Labeled Deduction

, 2003
In the last years, there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI and other related areas.
Chesñevar, Carlos Iván, Simari, Guillermo Ricardo   +1 more
core   +1 more source

Cognitive Defeasible Reasoning: the Extent to Which Forms of Defeasible Reasoning Correspond with Human Reasoning

, 2020
Classical logic forms the basis of knowledge representation and reasoning in AI. In the real world, however, classical logic alone is insufficient to describe the reasoning behaviour of human beings. It lacks the flexibility so characteristically required of reasoning under uncertainty, reasoning under incomplete information and reasoning with new ...
Clayton Kevin Baker, Claire Denny, Paul Freund, Thomas Meyer   +3 more
openaire   +1 more source

Toward a “strong” normativity of fear in Hans Jonas and Aristotle

The Southern Journal of Philosophy, EarlyView.
Abstract What does it mean to say that one “ought” to undergo an emotion? In The Imperative of Responsibility, Hans Jonas provocatively asserts that twentieth‐century citizens “ought” to fear for the well‐being of future generations. I argue that Jonas's demand is not straightforwardly reducible to claims about the fittingness, expedience, or aretaic ...
Magnus Ferguson
wiley   +1 more source

Defeasible logic reasoner to support legal reasoning in smart contracts on blockchain

Frontiers in Blockchain
The introduction of information and communication technologies in the legal domain has enabled the automation of some activities in the legal profession.
Marko Marković, Stevan Gostojić
doaj   +1 more source

Intuitions and the modelling of defeasible reasoning: some case studies

, 2002
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, viz. reinstatement and floating conclusions.
Prakken, Henry
core   +1 more source