defeasible reasoning
21Falsifiability — Are all swans white? Falsifiability or refutability of an assertion, hypothesis or theory is the logical possibility that it can be contradicted by an observation or the outcome of a physical experiment. That something is falsifiable does not… …
22Frame problem — In artificial intelligence, the frame problem was initially formulated as the problem of expressing a dynamical domain in logic without explicitly specifying which conditions are not affected by an action. John McCarthy and Patrick J. Hayes… …
23List of topics in epistemology — * A Defence of Common Sense * A priori and a posteriori (philosophy) * Adaptive representation * Aenesidemus * Aenesidemus (book) * Agrippa the Sceptic * Alison Wylie * Alvin Goldman * Analytic synthetic distinction * Androcentrism * Android… …
24Henry E. Kyburg, Jr. — Henry E. Kyburg, Jr. (1928 – 2007) was Gideon Burbank Professor of Moral Philosophy and Professor of Computer Science at the University of Rochester, New York, and Pace Eminent Scholar at The Institute for Human and Machine Cognition, Pensacola,… …
25Inheritance (object-oriented programming) — In object oriented programming (OOP), inheritance is a way to reuse code of existing objects, establish a subtype from an existing object, or both, depending upon programming language support. In classical inheritance where objects are defined by …
26Franz Guenthner — is a professor of Computational Linguistics at the Center for Information and Language Processing (CIS) at the Ludwig Maximilians Universitaet (LMU) in Munich, Germany. His background is in philosophy[1] and linguistics. Guenthner s research… …
27Logique Défaisable — La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes  elles spécifient qu un fait… …
28Logique defaisable — Logique défaisable La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes  elles… …
29Logique défaisable — La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes  elles spécifient qu un fait… …
30Inference — is the act or process of deriving a conclusion based solely on what one already knows. Inference is studied within several different fields. * Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of… …
