Experimenter's bias: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older editNewer edit →
en>Solomonfromfinland
Line 1: Line 1:
'''Default logic''' is a [[non-monotonic logic]] proposed by [[Raymond Reiter]] to formalize reasoning with default assumptions.
== Nike Air Force One Uk  tourism ==


Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that something is false. This is a problem because reasoning often involves facts that are true in the majority of cases but not always. A classical example is: “birds typically fly”. This rule can be expressed in standard logic either by “all birds fly”, which is inconsistent with the fact that penguins do not fly, or by “all birds that are not penguins and not ostriches and ... fly”, which requires all exceptions to the rule to be specified. Default logic aims at formalizing inference rules like this one without explicitly mentioning all their exceptions.
Sports News Online<br><br>premier league predictor featuring manchester united v arsenal online sports news. Watch Live Sports Online. Watch [http://nikeairforce1uk.mycylex.co.uk/ Nike Air Force One Uk] live sports online with the top quality flash sports streams. FIFA Official UEFA Official Premier League Official NBA Official NFL Official MLB Official NHL Official WWE Official No holds barred combat News Boxing ESPN Cricket BBC. Take note: A reverse phone lookup delivers access to information on links and streams to observe sports live online. OnlineSportsZone does not host any live ><br><br>how online sports news would you skate backwards on hockey ice skates online sports. Watch Live Sports Online. Watch live sports online with the good quality flash sports streams. FIFA Official UEFA Official Premier League Official NBA Official NFL Official MLB Official NHL Official WWE Official Ufc News Boxing ESPN Cricket BBC. Please be aware: A reverse phone lookup delivers use of information about links and streams to look at sports live online. OnlineSportsZone doesn't host any live ><br><br>recent sports questions. just how do you skate backwards on hockey ice skates? precisely why are baseball uniforms to get a professional baseball team considered medium difficulty good? how tennis rocket is special for adult , internet gambling casinos and junior? what requirements must an mlb team have to make it into the playoffs this will let you position from it? wouldn't a cricket player watch live sports online. watch live sports online with this high-quality flash sports streams. watch live sports online. watch live sports online with this premium quality flash sports streams. fifa official uefa official premier league official nba official nfl official mlb official nhl official wwe official ufc news boxing espn cricket bbc. take note: the service delivers having access to facts about links and streams to see sports live online. onlinesportszone won't host any live ><br><br>oregon admits to ncaa recruiting violations online sports news online sports zone. updated: february 24, 2012, 8:05 pm et eugene, ore. oregon has agreed in documents who's violated ncaa regulations referring to recruiting and.<br><br>the final time those two teams played, oregon state entered matthew knight arena, and stole a victory from your ducks, so winning to the beavers home court must be a large motivator for any team. "it means a whole lot," said ej singler, from the ducks, who  like his fellow teammates  were confused because of the beavers 1 3 1 zone defense, and admitted that could are already one of the reasons why they lost. however right now they ncaa football  sporting news nikeblog ><br><br>Top Oregon News Stories from the AP. Winning numbers PORTLAND, Ore. (AP)  Ten online travel NCAA Football; NFL Football; Oregon Sports; Portland Timbers<br><br>online for free sport sports betting online sports news information. Youth shaping desolate man online TV, movies, music. KEYC TV AP Sports News Video AP National News Video More>> NYPD monitored students at colleges across Northeast; sent agent on rafting trip, noted prayer. 13 Feb 2012 News: More research into online sports betting necessary says Aussie committee.<br><br>india vs sri lanka live score 5th odi tri online sports news series at sports news. India Vs Australia 2nd T20 Live Score Online 2012. February 2, 2012 latest Sports [http://guccibeltuk.mycylex.co.uk/ Gucci Belt Replica Uk] News Chittagong Kings vs Dhaka Gladiators Live Score Online Dhaka Barisal Burners vs Khulna Royal Bengals Live Score Online ><br><br>india vs srilanka tri series match 5 odi 2012  live cricket score  ind vs sl live star cricket  14th feb. in , free gambling online in depth tutorials match of cb tri series 2012 india has registered their name inside the list of winning team. india has beaten ><br><br>vs Srilanka Tri series Match 5 ODI 2012  Live cricket score India [http://replicaraybansuk.mycylex.co.uk/ Replica Ray Bans Wayfarer Uk] vs Sri Lanka Star Cricket Live Score card  Ten Cricket, Sky Sports, Geo Super Channels and Online for free ><br><br>The Gremlin, garden route, daily online newspaper, tourism, business. csa heads for showdown over professionals pay. one of the ironic consequences of the administrative mess at cricket africa (csa) can it be is more transparent previously. basically, it is actually leaking like a ><br><br>access breaking football news online sports news online news sports travel. cricinfo, fox news, google news, abc news, live cricket score, live tv, live cricket streaming, news24, bbcnews, daily news, down jones, stocks, hedge fund, stock exchange, invest bank.<br><br>local sports announcements: spring users in full swing  announcement, let, sports, please, know, mail, ups, date, need, list. sign ups will be taken for the recreation department or online at cityofbelmont. org. football. champion inc. 7 on  7 passing league  registering players ages 12 18 for teams to compete in local and internet based sports news, and national competitive travel 7 on 7 passing league tournaments. games come from march. for more information, contact dell richardson at ><br><br>news, weather, sports, and free slots online , and services including electronic mail news alerts and downloadable audio/video reports. n established record like a sports editor or journalist [http://nikefreerunnz.blog.co.nz/ Cheap Nike Free Run Nz] at a reputable news organisation; worked within an online news organisation; good understanding of online journalism; understanding seo; the ability to work quickly and ><ul>
 
  <li>[http://www.southernfootballhistory.com/phrum/read.php?49,147723 http://www.southernfootballhistory.com/phrum/read.php?49,147723]</li>
 
  <li>[http://www.juegosetnicos.com.ar/spip.php?article86&lang=zh/ http://www.juegosetnicos.com.ar/spip.php?article86&lang=zh/]</li>
 
  <li>[http://cerisier.info/spip.php?article20/ http://cerisier.info/spip.php?article20/]</li>
 
  <li>[http://102designer.com/forum.php?mod=viewthread&tid=26011 http://102designer.com/forum.php?mod=viewthread&tid=26011]</li>
 
  <li>[http://www.dutchkarma.com/index.php?site=guestbook http://www.dutchkarma.com/index.php?site=guestbook]</li>
 
</ul>


==Syntax of default logic==
== Cheap Nike Free Run Uk More ==
A default theory is a pair <math>\langle W, D \rangle</math>. <math>W</math> is a set of logical formulae, called ''the background theory'', that formalize the facts that are known for sure. <math>D</math> is a set of ''default rules'', each one being of the form:


: <math>\frac{\text{Prerequisite : Justification}_1, \dots , \text{Justification}_n}{\text{Conclusion}}</math>
Australia need regulars to offer punches on Boxing Day<br><br>Related Boxing Wire Articles.<br><br>Boxing Day Test: Can Indian batsmen provide you with the goods? Zee NewsZee NewsBoxing Day Test: Can Indian batsmen deliver the goods?Zee NewsKeeping [http://cheapnikefreerunuk.mycylex.co.uk/ Cheap Nike Free Run Uk] in view the weaknesses for each side in perspective, ><br><br>It our Boxing Day of reckoning The AustralianThe RoarIt our Boxing Day of reckoningThe AustralianHe was inferring that Michael Clarke the male is in a positive place mentally ><br><br>Ind vs Aus: Australia prefer to bat against India in Boxing Day Test Times during IndiaSydney [http://timberlandnz0.blog.co.nz/ Timberland Boots Nz] Morning HeraldInd vs Aus: Australia opt to bat against India in Boxing Day TestTimes of IndiaMichael Clarke won the ><br><br>Boxing Day Test Live: Australia lose eighth wicket; India on top Zee NewsZee NewsBoxing Day Test Live: Australia lose eighth wicket; India on topZee News. on that area yesterday along with the bowlers will ><br><br>Chess boxing catching on in IndiaWhy chess boxing is growing in India<br><br>More: continued here ><br><br>Ind vs Aus: Rain [http://pandoranz0.blog.co.nz/ Pandora Nz] delays start second session in Boxing Day Test Times during IndiaZee NewsInd vs Aus: Rain delays introduction of [http://nikefree50nz.blog.co.nz/ Nike Free Trainer 5.0 Nz] the second session in Boxing Day TestTimes of India(AFP Photo) NEW DELHI: Australia ><br><br>Ind vs Aus: Boxing Day Test poised with a razor edge Points during IndiaThe RoarInd vs Aus: Boxing Day Test poised over a razor edgeTimes of IndiaUmesh Yadav struck twice in her fourth ><ul>
 
  <li>[http://www.zs58tc.com/news/html/?64884.html http://www.zs58tc.com/news/html/?64884.html]</li>
 
  <li>[http://www.answers.tw/node/8#comment-21292151 http://www.answers.tw/node/8#comment-21292151]</li>
 
  <li>[http://www.onlineflashgames.nl/activity/p/260544/ http://www.onlineflashgames.nl/activity/p/260544/]</li>
 
  <li>[http://enseignement-lsf.com/spip.php?article64#forum18079642 http://enseignement-lsf.com/spip.php?article64#forum18079642]</li>
 
  <li>[https://opinionbash.com/activity/p/33649/ https://opinionbash.com/activity/p/33649/]</li>
 
</ul>


According to this default, if we believe that <math>Prerequisite</math> is true, and each of <math>Justification_i</math> is consistent with our current beliefs, we are led to believe that <math>Conclusion</math> is true.
== Air Max 2014 Nz Editor's Choice ==


The logical formulae in <math>W</math> and all formulae in a default were originally assumed to be [[first-order logic]] formulae, but they can potentially be formulae in an arbitrary formal logic. The case in which they are formulae in [[propositional logic]] is one of the most studied.
Ladyboy Lover Wanted Jail<br><br>afp The Catholic Church a single Australian state has said that not less than 620 children have been abused by its clergy for the reason that 1930s, sparking a whole new demand a private inquiry.<br><br>Comment: If it was young ladies being inclined to the Far East for such marriages, there would be an outcry along with a campaign warning on the dangers. Sadly, since it is middle aged men, no-one really cares.<br><br>Editor's Choice: Today's Essential Reading<br><br>A LADYBOY brought two amphetamine tablets on the Pattaya police station and required to be arrested. The ladyboy wished to go back to prison being reunited with a boyfriend. Reports said as many as 3000 people got here while in the capital of scotland - 18,000. Deputy Coroner Professor Paul Marks recorded a verdict.<br><br>A READER reviews last night's Twinpalms house party at Catch Beach Club: That it was awesome. Probably 2000 people there at the least, effectively organised. The disposable food was served in little paper cups (sate, spring rolls, chopped wraps, etc) on several tables which people could just come and grab there was no queuing up, additionally they had roving waiters with trays of food, too. Free sangria was served for a few hours. On the list of few chairs so people must mingle and dance.<br><br>An army of attendants in a car park (the large field) ensured everyone got out and in safely and merely. They had a bar completely produced from ice that shots of vodka were served in glasses which have flashing lights on the bottom. There have been twirling acrobats from Palazzo, there is a soul dance singer, a guitarist and [http://nikeairmax2014nz.blog.co.nz/ Air Max 2014 Nz] stage dancers. A brief rainstorm blew in at midnight. I expect the party raged on for several more time. Two Chinese cargo ships with 13 dead crew members put together to the Thai side of the river in October. We've been dissidents because we don't want to be dissidents,'' Burma's Aung San Suu Kyi said in response to an issue.<br><br>afp Ashley Cole's first goal since May [http://nikeairmaxnz.blog.co.nz/ Cheap Nike Air Max Nz] 2010 saw European champions Chelsea go three points clear near the top of the Premier League [http://michaelkorsnz0.blog.co.nz/ Michael Kors Bags Nz] whenever they left it late to overcome Stoke 1 0.<br><br>aap Two epic battles throughout the home and away season have set activity is for just a high quality AFL grand final when Hawthorn meet Sydney. Hawthorn beat Adelaide by five points within a preliminary final thriller at the MCG.<br><br>On December 1, the Aleenta Phuket Phang Nga Resort and Spa will launch its latest fund raising activity to make money due to the turtle conservation project in the evening soiree at its location on Natai Beach at which the modern batch of turtles will probably be released into your Andaman Sea. Over the past two years, they have raised 600,000 baht.<br><br>Until September 23 [http://nikeairmax90uk.mycylex.co.uk/ Cheap Nike Air Max 90 Hyperfuse Uk] Museums Festival<br><br>October 14 Vegetarian Festival<br><br>October 21 24 Phuket International Sports Fishing titles<br><br>November 25 Laguna Phuket TriathlIt is quite staggering than a minister while in the Pakistani government can retain his job whilst with the death of an citizen of some other country for that archaic law of blasphemy within a movie which he possibly have not even watched. I ponder what sort of US media would react if, say, the director of america dept. of transportation called for the death of protesters burning American flags. It becomes nice to see the Pakistani government distance themselves with this buffoon, by firing him. Muslims need to comprehend that actions like this allow it to be a hardship on lots of people to have much sympathy with Islam.<ul>
 
 
===Examples===
  <li>[http://acollc.org/activity/p/37589/ http://acollc.org/activity/p/37589/]</li>
The default rule “birds typically fly” is formalized by the following default:
 
 
  <li>[http://0738go.com/forum.php?mod=viewthread&tid=3203776 http://0738go.com/forum.php?mod=viewthread&tid=3203776]</li>
:<math>D = \left\{ \frac{Bird(X) : Flies(X)}{Flies(X)} \right\}</math>
 
 
  <li>[http://www.wecaravan.com/ http://www.wecaravan.com/]</li>
This rule means that, if <math>X</math> is a bird, and it can be assumed that it flies, then we can conclude that it flies. A background theory containing some facts about birds is the following one:
 
 
  <li>[http://202.109.115.218:8080/read.php?tid=5547117 http://202.109.115.218:8080/read.php?tid=5547117]</li>
:<math>W = \{ Bird(Condor), Bird(Penguin), \neg Flies(Penguin), Flies(Bee) \}</math>.
 
 
  <li>[http://www.qzmuseum.net/Review.asp?NewsID=139 http://www.qzmuseum.net/Review.asp?NewsID=139]</li>
According to this default rule, a condor flies because the precondition <math>Bird(Condor)</math> is true and the justification <math>Flies(Condor)</math> is not inconsistent with what is currently known. On the contrary, <math>Bird(Penguin)</math> does not allow concluding <math>Flies(Penguin)</math>: even if the precondition of the default <math>Bird(Penguin)</math> is true, the justification <math>Flies(Penguin)</math> is inconsistent with what is known.
 
From this background theory and this default, <math>Bird(Bee)</math> cannot be concluded because the default rule only allows deriving
</ul>
<math>Flies(X)</math> from <math>Bird(X)</math>, but not vice versa. Deriving the antecedents of an inference rule from the consequences is a form of explanation of the consequences, and is the aim of [[abductive reasoning]].
 
A common default assumption is that what is not known to be true is believed to be false. This is known as the [[Closed World Assumption]], and is formalized in default logic using a default like the following one for every fact <math>F</math>.
 
: <math>\frac{:{\neg}F}{{\neg}F}</math>
 
For example, the computer language [[Prolog]] uses a sort of default assumption when dealing with negation: if a negative atom cannot be proved to be true, then it is assumed to be false.
Note, however, that Prolog uses the so-called [[negation as failure]]: when the interpreter has to evaluate the atom <math>\neg F</math>, it tries to prove that <math>F</math> is true, and conclude that <math>\neg F</math> is true if it fails. In default logic, instead, a default having <math>\neg F</math> as a justification can only be applied if <math>\neg F</math> is consistent with the current knowledge.
 
===Restrictions===
 
A default is categorical or prerequisite-free if it has no prerequisite (or, equivalently, its prerequisite is [[tautology (logic)|tautological]]). A default is normal if it has a single justification that is equivalent to its conclusion. A default is supernormal if it is both categorical and normal. A default is seminormal if all its justifications entail its conclusion. A default theory is called categorical, normal, supernormal, or seminormal if all defaults it contains are categorical, normal, supernormal, or seminormal, respectively.
 
==Semantics of default logic==
 
A default rule can be applied to a theory if its precondition is entailed by the theory and its justifications are all '''''consistent with''''' the theory.  The application of a default rule leads to the addition of its consequence to the theory.  Other default rules may then be applied to the resulting theory.  '''When the theory is such that no other default can be applied, the theory is called an extension of the default theory.'''  The default rules may be applied in different order, and this may lead to different extensions. The [[Nixon diamond]] example is a default theory with two extensions:
 
:<math>
\left\langle
\left\{
\frac{Republican(X):\neg Pacifist(X)}{\neg Pacifist(X)},
\frac{Quaker(X):Pacifist(X)}{Pacifist(X)}
\right\},
\left\{Republican(Nixon), Quaker(Nixon)\right\}
\right\rangle
</math>
 
Since [[Richard Nixon|Nixon]] is both a [[American Republican|Republican]] and a [[Quaker]], both defaults can be applied. However, applying the first default leads to the conclusion that Nixon is not a pacifist, which makes the second default not applicable. In the same way, applying the second default we obtain that Nixon is a pacifist, thus making the first default not applicable. This particular default theory has therefore two extensions, one in which <math>Pacifist(Nixon)</math> is true, and one
in which <math>Pacifist(Nixon)</math> is false.  
 
The original semantics of default logic was based on the [[Fixed point (mathematics)|fixed point]] of a function. The following is an equivalent algorithmic definition. If a default contains formulae with free variables, it is considered to represent the set of all defaults obtained by giving a value to all these variables. A default <math>\frac{\alpha:\beta_1,\ldots,\beta_n}{\gamma}</math> is applicable to a propositional theory <math>T</math> if <math>T \models \alpha</math> and
all theories <math>T \cup \{\beta_i\}</math> are consistent. The application of this default to <math>T</math> leads to the theory <math>T \cup \{\gamma\}</math>. An extension can be generated by applying the following algorithm:
 
T=W          /* current theory */
A=0          /* set of defaults applied so far */
&nbsp;
              /* apply a sequence of defaults */
while there is a default d that is not in A and is applicable to T
  add the consequence of d to T
  add d to A
&nbsp;
              /* final consistency check */
if
  for every default d in A
    T is consistent with all justifications of d
then
  output T
 
This algorithm is [[nondeterministic algorithm|non-deterministic]], as several defaults can alternatively be applied to a given theory <math>T</math>. In the Nixon diamond example, the application of the first default leads to a theory to which the second default cannot be applied and vice versa. As a result, two extensions are generated: one in which Nixon is a pacifist and one in which Nixon is not a pacifist.
 
The final check of consistency of the justifications of all defaults that have been applied implies that some theories do not have any extensions. In particular, this happens whenever this check fails for every possible sequence of applicable defaults. The following default theory has no extension:
 
:<math>
\left\langle
\left\{
\frac{:A(b)}{\neg A(b)}
\right\},
\emptyset
\right\rangle
</math>
 
Since <math>A(b)</math> is consistent with the background theory, the default can be applied, thus leading to the conclusion that <math>A(b)</math> is false. This result however undermines the assumption that has been made for applying the first default. Consequently, this theory has no extensions.
 
In a normal default theory, all defaults are normal: each default has the form <math>\frac{\phi : \psi}{\psi}</math>. A normal default theory is guaranteed to have at least one extension. Furthermore, the extensions of a normal default theory are mutually inconsistent, i.e., inconsistent with each other.
 
===Entailment===
 
A default theory can have zero, one, or more extensions. [[Entailment]] of a formula from a default theory can be defined in two ways:
 
; Skeptical : a formula is entailed by a default theory if it is entailed by all its extensions;
 
; Credulous : a formula is entailed by a default theory if it is entailed by at least one of its extensions.
 
Thus, the Nixon diamond example theory has two extensions, one in which Nixon is a pacifist and one in which he is not a pacifist. Consequently, neither <math>Pacifist(Nixon)</math> nor <math>\neg Pacifist(Nixon)</math> are skeptically entailed, while both of them are credulously entailed. As this example shows, the credulous consequences of a default theory may be inconsistent with each other.
 
===Alternative default inference rules===
<!-- these are the alternative default inference rules that are based on the same original syntax of default logic -->
 
The following alternative inference rules for default logic are all based on the same syntax as the original system.
 
; Justified: differs from the original one in that a default is not applied if thereby the set <math>T</math> becomes [[inconsistent]] with a justification of an applied default;
 
; Concise: a default is applied only if its consequence is not already entailed by <math>T</math> (the exact definition is more complicated than this one; this is only the main idea behind it);
 
; Constrained: a default is applied only if the set composed of the background theory, the justifications of all applied defaults, and the consequences of all applied defaults (including this one) is consistent;
 
; Rational: similar to constrained default logic, but the consequence of the default to add is not considered in the consistency check;
 
; Cautious: defaults that can be applied but are conflicting with each other (like the ones of the Nixon diamond example) are not applied.
 
The justified and constrained versions of the inference rule assign at least an extension to every default theory.
 
==Variants of default logic==
<!-- these are the variants of default logic that differ from the original one both in syntax and semantics -->
 
The following variants of default logic differ from the original one on both syntax and semantics.
 
; Assertional variants : An assertion is a pair <math>\langle p: \{r_1,\ldots,r_n\} \rangle</math> composed of a formula and a set of formulae. Such a pair indicates that <math>p</math> is true while the formulae <math>r_1,\ldots,r_n</math> have been assumed consistent to prove that <math>p</math> is true. An assertional default theory is composed of an assertional theory (a set of assertional formulae) called the background theory and a set of defaults defined as in the original syntax. Whenever a default is applied to an assertional theory, the pair composed of its consequence and its set of justifications is added to the theory. The following semantics use assertional theories:
 
*Cumulative default logic
*Commitment to assumptions default logic
*Quasi-default logic
 
; Weak extensions : rather than checking whether the preconditions are valid in the theory composed of the background theory and the consequences of the applied defaults, the preconditions are checked for validity in the extension that will be generated; in other words, the algorithm for generating extensions starts by guessing a theory and using it in place of the background theory; what results from the process of extension generation is actually an extension only if it is equivalent to the theory guessed at the beginning. This variant of default logic is related in principle to [[autoepistemic logic]], where a theory <math>\Box x \rightarrow x</math> has the model in which <math>x</math> is true just because, assuming <math>\Box x</math> true, the formula <math>\Box x \rightarrow x</math> supports the initial assumption.
 
; Disjunctive default logic : the consequence of a default is a set of formulae instead of a single formula. Whenever the default is applied, at least one of its consequences is nondeterministically chosen and made true.
 
; Priorities on defaults : the relative priority of defaults can be explicitly specified; among the defaults that are applicable to a theory, only one of the most preferred ones can be applied. Some semantics of default logic do not require priorities to be explicitly specified; rather, more specific defaults (those that are applicable in fewer cases) are preferred over less specific ones.
 
; Statistical variant : a statistical default is a default with an attached upper bound on its frequency of error; in other words, the default is assumed to be an incorrect inference rule in at most that fraction of times it is applied.
 
==Translations==
 
Default theories can be translated into theories in other logics and vice versa. The following conditions on translations have been considered:
 
; Consequence-Preserving : the original and the translated theories have the same (propositional) consequences;
 
; Faithful : this condition only makes sense when translating between two variants of default logic or between default logic and a logic in which a concept similar to extension exists, e.g., models in modal logic; a translation is faithful if there exists a mapping (typically, a bijection) between the extensions (or models) of the original and translated theories;
 
; Modular : a translation from default logic to another logic is modular if the defaults and the background theory can be translated separately; moreover, the addition of formulae to the background theory only leads to adding the new formulae to the result of the translation;
 
; Same-Alphabet : the original and translated theories are built on the same alphabet;
 
; Polynomial : the running time of the translation or the size of the generated theory are required to be polynomial in the size of the original theory.
 
Translations are typically required to be faithful or at
least consequence-preserving, while the conditions of
modularity and same alphabet are sometimes ignored.
 
The translatability between propositional default logic and
the following logics have been studied:
 
* classical propositional logic;
* autoepistemic logic;
* propositional default logic restricted to seminormal theories;
* alternative semantics of default logic;
* circumscription.
 
Translations exist or not depending on which conditions are imposed. Translations from propositional default logic to classical propositional logic cannot always generate a polynomially sized propositional theory, unless the [[polynomial hierarchy]] collapses. Translations to autoepistemic logic exists or not depending on whether modularity or the use of the same alphabet is required.
 
==Complexity==
 
The [[computational complexity]] of the following problems about default logic is known:
 
; Existence of extensions : deciding whether a propositional default theory has at least one extension is <math>\Sigma^P_2</math>-complete;
 
; Skeptical entailment : deciding whether a propositional default theory skeptically entails a [[propositional formula]] is <math>\Pi^P_2</math>-complete;
 
; Credulous entailment : deciding whether a propositional default theory credulously entails a propositional formula is <math>\Sigma^P_2</math>-complete;
 
; Extension checking : deciding whether a propositional formula is equivalent to an extension of a propositional default theory is <math>\Delta^{P[log]}_2</math>-complete;
 
; Model checking : deciding whether a propositional interpretation is a model of an extension of a propositional default theory is <math>\Sigma^P_2</math>-complete.
 
==Implementations==
 
Three systems implementing default logics are
[ftp://www.cs.engr.uky.edu/cs/manuscripts/deres.ps DeReS],
[http://www.cs.uni-potsdam.de/wv/xray/ XRay] and
[http://www.info.univ-angers.fr/pub/stephan/Research/GADEL/GADEL_prolog.html GADeL]
<!-- algorithms? other implemented systems? -->
 
==See also==
* [[Answer set programming]]
* [[Defeasible logic]]
* [[Non-monotonic logic]]
 
==References==
* G. Antoniou (1999). A tutorial on default logics. ''ACM Computing Surveys'', 31(4):337-359.
* M. Cadoli, F. M. Donini, P. Liberatore, and M. Schaerf (2000). Space efficiency of propositional knowledge representation formalisms. ''Journal of Artificial Intelligence Research'', 13:1-31.
* P. Cholewinski, V. Marek, and M. Truszczynski (1996). Default reasoning system DeReS. In ''Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96)'', pages 518-528.
* J. Delgrande and T. Schaub (2003). On the relation between Reiter's default logic and its (major) variants. In ''Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003)'', pages 452-463.
* J. P. Delgrande, T. Schaub, and W. K. Jackson (1994). Alternative approaches to default logic. ''Artificial Intelligence'', 70:167-237.
* G. Gottlob (1992). Complexity results for nonmonotonic logics. ''Journal of Logic and Computation'', 2:397-425.
* G. Gottlob (1995). Translating default logic into standard autoepistemic logic. ''Journal of the ACM'', 42:711-740.
* T. Imielinski (1987). Results on translating defaults to circumscription. ''Artificial Intelligence'', 32:131-146.
* T. Janhunen (1998). On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription. In ''Proceedings of the Sixth European Workshop on Logics in Artificial Intelligence (JELIA'98)'', pages 216-232.
* T. Janhunen (2003). Evaluating the effect of semi-normality on the expressiveness of defaults. ''Artificial Intelligence'', 144:233-250.
* H. E. Kyburg and C-M. Teng (2006). Nonmonotonic Logic and Statistical Inference. ''Computational Intelligence'', 22(1): 26-51.
* P. Liberatore and M. Schaerf (1998). The complexity of model checking for propositional default logics. In ''Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI'98)'', pages 18–22.
* W. Lukaszewicz (1988). Considerations on default logic: an alternative approach. ''Computational Intelligence'', 4(1):1-16.
* W. Marek and M. Truszczynski (1993). ''Nonmonotonic Logics: Context-Dependent Reasoning''. Springer.
* A. Mikitiuk and M. Truszczynski (1995). Constrained and rational default logics. In ''Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95)'', pages 1509-1517.
* P. Nicolas, F. Saubion and I. Stéphan (2001). Heuristics for a Default Logic Reasoning System. ''International Journal on Artificial Intelligence Tools'', 10(4):503-523.
* R. Reiter (1980). A logic for default reasoning. ''Artificial Intelligence'', 13:81-132.
* T. Schaub, S. Brüning, and P. Nicolas (1996). XRay: A prolog technology theorem prover for default reasoning: A system description. In ''Proceedings of the Thirteenth International Conference on Automated Deduction (CADE'96)'', pages 293-297.
* G. Wheeler (2004). A resource bounded default logic. In ''Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR-04)'', Whistler, British Columbia, 416-422.
* G. Wheeler and C. Damasio (2004). An Implementation of Statistical Default Logic. In ''Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)'', LNCS Series, Springer, pages 121-133.
 
==External links==
* Schmidt, Charles F. [http://www.rci.rutgers.edu/~cfs/472_html/Logic_KR/DefaultTheory.html RCI.Rutgers.edu], Default Logic. Retrieved August 10, 2004.
* Ramsay, Allan (1999). [http://www.ccl.umist.ac.uk/teaching/material/5005/node33.html UMIST.ac.uk], Default Logic. Retrieved August 10, 2004.
* [http://plato.stanford.edu/entries/reasoning-defeasible/ Stanford.edu], Defeasible reasoning, [[Stanford Encyclopedia of Philosophy]].
 
[[Category:Logic programming]]
[[Category:Knowledge representation]]
[[Category:Logical calculi]]
[[Category:Non-classical logic]]

Revision as of 19:57, 7 February 2014

Nike Air Force One Uk tourism

Sports News Online

premier league predictor featuring manchester united v arsenal online sports news. Watch Live Sports Online. Watch Nike Air Force One Uk live sports online with the top quality flash sports streams. FIFA Official UEFA Official Premier League Official NBA Official NFL Official MLB Official NHL Official WWE Official No holds barred combat News Boxing ESPN Cricket BBC. Take note: A reverse phone lookup delivers access to information on links and streams to observe sports live online. OnlineSportsZone does not host any live >

how online sports news would you skate backwards on hockey ice skates online sports. Watch Live Sports Online. Watch live sports online with the good quality flash sports streams. FIFA Official UEFA Official Premier League Official NBA Official NFL Official MLB Official NHL Official WWE Official Ufc News Boxing ESPN Cricket BBC. Please be aware: A reverse phone lookup delivers use of information about links and streams to look at sports live online. OnlineSportsZone doesn't host any live >

recent sports questions. just how do you skate backwards on hockey ice skates? precisely why are baseball uniforms to get a professional baseball team considered medium difficulty good? how tennis rocket is special for adult , internet gambling casinos and junior? what requirements must an mlb team have to make it into the playoffs this will let you position from it? wouldn't a cricket player watch live sports online. watch live sports online with this high-quality flash sports streams. watch live sports online. watch live sports online with this premium quality flash sports streams. fifa official uefa official premier league official nba official nfl official mlb official nhl official wwe official ufc news boxing espn cricket bbc. take note: the service delivers having access to facts about links and streams to see sports live online. onlinesportszone won't host any live >

oregon admits to ncaa recruiting violations online sports news online sports zone. updated: february 24, 2012, 8:05 pm et eugene, ore. oregon has agreed in documents who's violated ncaa regulations referring to recruiting and.

the final time those two teams played, oregon state entered matthew knight arena, and stole a victory from your ducks, so winning to the beavers home court must be a large motivator for any team. "it means a whole lot," said ej singler, from the ducks, who like his fellow teammates were confused because of the beavers 1 3 1 zone defense, and admitted that could are already one of the reasons why they lost. however right now they ncaa football sporting news nikeblog >

Top Oregon News Stories from the AP. Winning numbers PORTLAND, Ore. (AP) Ten online travel NCAA Football; NFL Football; Oregon Sports; Portland Timbers

online for free sport sports betting online sports news information. Youth shaping desolate man online TV, movies, music. KEYC TV AP Sports News Video AP National News Video More>> NYPD monitored students at colleges across Northeast; sent agent on rafting trip, noted prayer. 13 Feb 2012 News: More research into online sports betting necessary says Aussie committee.

india vs sri lanka live score 5th odi tri online sports news series at sports news. India Vs Australia 2nd T20 Live Score Online 2012. February 2, 2012 latest Sports Gucci Belt Replica Uk News Chittagong Kings vs Dhaka Gladiators Live Score Online Dhaka Barisal Burners vs Khulna Royal Bengals Live Score Online >

india vs srilanka tri series match 5 odi 2012 live cricket score ind vs sl live star cricket 14th feb. in , free gambling online in depth tutorials match of cb tri series 2012 india has registered their name inside the list of winning team. india has beaten >

vs Srilanka Tri series Match 5 ODI 2012 Live cricket score India Replica Ray Bans Wayfarer Uk vs Sri Lanka Star Cricket Live Score card Ten Cricket, Sky Sports, Geo Super Channels and Online for free >

The Gremlin, garden route, daily online newspaper, tourism, business. csa heads for showdown over professionals pay. one of the ironic consequences of the administrative mess at cricket africa (csa) can it be is more transparent previously. basically, it is actually leaking like a >

access breaking football news online sports news online news sports travel. cricinfo, fox news, google news, abc news, live cricket score, live tv, live cricket streaming, news24, bbcnews, daily news, down jones, stocks, hedge fund, stock exchange, invest bank.

local sports announcements: spring users in full swing announcement, let, sports, please, know, mail, ups, date, need, list. sign ups will be taken for the recreation department or online at cityofbelmont. org. football. champion inc. 7 on 7 passing league registering players ages 12 18 for teams to compete in local and internet based sports news, and national competitive travel 7 on 7 passing league tournaments. games come from march. for more information, contact dell richardson at >

news, weather, sports, and free slots online , and services including electronic mail news alerts and downloadable audio/video reports. n established record like a sports editor or journalist Cheap Nike Free Run Nz at a reputable news organisation; worked within an online news organisation; good understanding of online journalism; understanding seo; the ability to work quickly and >

Cheap Nike Free Run Uk More

Australia need regulars to offer punches on Boxing Day

Related Boxing Wire Articles.

Boxing Day Test: Can Indian batsmen provide you with the goods? Zee NewsZee NewsBoxing Day Test: Can Indian batsmen deliver the goods?Zee NewsKeeping Cheap Nike Free Run Uk in view the weaknesses for each side in perspective, >

It our Boxing Day of reckoning The AustralianThe RoarIt our Boxing Day of reckoningThe AustralianHe was inferring that Michael Clarke the male is in a positive place mentally >

Ind vs Aus: Australia prefer to bat against India in Boxing Day Test Times during IndiaSydney Timberland Boots Nz Morning HeraldInd vs Aus: Australia opt to bat against India in Boxing Day TestTimes of IndiaMichael Clarke won the >

Boxing Day Test Live: Australia lose eighth wicket; India on top Zee NewsZee NewsBoxing Day Test Live: Australia lose eighth wicket; India on topZee News. on that area yesterday along with the bowlers will >

Chess boxing catching on in IndiaWhy chess boxing is growing in India

More: continued here >

Ind vs Aus: Rain Pandora Nz delays start second session in Boxing Day Test Times during IndiaZee NewsInd vs Aus: Rain delays introduction of Nike Free Trainer 5.0 Nz the second session in Boxing Day TestTimes of India(AFP Photo) NEW DELHI: Australia >

Ind vs Aus: Boxing Day Test poised with a razor edge Points during IndiaThe RoarInd vs Aus: Boxing Day Test poised over a razor edgeTimes of IndiaUmesh Yadav struck twice in her fourth >

Air Max 2014 Nz Editor's Choice

Ladyboy Lover Wanted Jail

afp The Catholic Church a single Australian state has said that not less than 620 children have been abused by its clergy for the reason that 1930s, sparking a whole new demand a private inquiry.

Comment: If it was young ladies being inclined to the Far East for such marriages, there would be an outcry along with a campaign warning on the dangers. Sadly, since it is middle aged men, no-one really cares.

Editor's Choice: Today's Essential Reading

A LADYBOY brought two amphetamine tablets on the Pattaya police station and required to be arrested. The ladyboy wished to go back to prison being reunited with a boyfriend. Reports said as many as 3000 people got here while in the capital of scotland - 18,000. Deputy Coroner Professor Paul Marks recorded a verdict.

A READER reviews last night's Twinpalms house party at Catch Beach Club: That it was awesome. Probably 2000 people there at the least, effectively organised. The disposable food was served in little paper cups (sate, spring rolls, chopped wraps, etc) on several tables which people could just come and grab there was no queuing up, additionally they had roving waiters with trays of food, too. Free sangria was served for a few hours. On the list of few chairs so people must mingle and dance.

An army of attendants in a car park (the large field) ensured everyone got out and in safely and merely. They had a bar completely produced from ice that shots of vodka were served in glasses which have flashing lights on the bottom. There have been twirling acrobats from Palazzo, there is a soul dance singer, a guitarist and Air Max 2014 Nz stage dancers. A brief rainstorm blew in at midnight. I expect the party raged on for several more time. Two Chinese cargo ships with 13 dead crew members put together to the Thai side of the river in October. We've been dissidents because we don't want to be dissidents, Burma's Aung San Suu Kyi said in response to an issue.

afp Ashley Cole's first goal since May Cheap Nike Air Max Nz 2010 saw European champions Chelsea go three points clear near the top of the Premier League Michael Kors Bags Nz whenever they left it late to overcome Stoke 1 0.

aap Two epic battles throughout the home and away season have set activity is for just a high quality AFL grand final when Hawthorn meet Sydney. Hawthorn beat Adelaide by five points within a preliminary final thriller at the MCG.

On December 1, the Aleenta Phuket Phang Nga Resort and Spa will launch its latest fund raising activity to make money due to the turtle conservation project in the evening soiree at its location on Natai Beach at which the modern batch of turtles will probably be released into your Andaman Sea. Over the past two years, they have raised 600,000 baht.

Until September 23 Cheap Nike Air Max 90 Hyperfuse Uk Museums Festival

October 14 Vegetarian Festival

October 21 24 Phuket International Sports Fishing titles

November 25 Laguna Phuket TriathlIt is quite staggering than a minister while in the Pakistani government can retain his job whilst with the death of an citizen of some other country for that archaic law of blasphemy within a movie which he possibly have not even watched. I ponder what sort of US media would react if, say, the director of america dept. of transportation called for the death of protesters burning American flags. It becomes nice to see the Pakistani government distance themselves with this buffoon, by firing him. Muslims need to comprehend that actions like this allow it to be a hardship on lots of people to have much sympathy with Islam.

Retrieved from "https://en.formulasearchengine.com/index.php?title=Experimenter%27s_bias&oldid=234911"