Goldblattsafebase

INDEXABSTRIPS,155abduction,7,19Abiteboul,S.
,159abnormalitypropositions,371abnormalitytheory,156acceptance,11,22actionsforchanging,150AM,H.
,149adjustment,138,140admissibletransmutations,138AGMformalism,261AGMframework,163,174,179,181,182,185,221,247,255,349,429AGMpostulates,66,86,180,187,202,247,286,291,306,377,399AGM-capacity,174Alchourron,C.
,57,67,85,86,92,159,17~181,195,197,203,204,208,209,221,247-255,261,264,265,272,274,275,279,304,308,349,377,399,429Amir,E.
,148ampliativeinference,8,16,17,44,53analogy,334antiinductivism,8Antoniou,G.
,159argument,345Aristotle,7Arrow,K.
,61ascriptionofbeliefs,415assessmentofriskoferror,26ATMS,438,441autoepistemiclogic,156avoidanceoferror,24,26avoidanceofincoherenceconstraint,33axiomaticformalsystem,149B[x],thesetofpolynomials,282baseclass,333basicpartition,22Bayes,T,163Bayesianconditioning,432,433Bayesianism,11Becher,V.
,263beliefascription,409,410,420,424,425beliefbase,253,303,305,349-365,371,393,395,404,405beliefchange,78,179,393,399,402beliefcontractionfunction,200,205,206beliefcontravening,53beliefcontraveningsuppositionalorhypotheticalreasoning,17belieffunction,433belieffunctionframework,433beliefranking,165beliefrevision,159,163,179,371,401,409,410,420,424,425,429-432,434,436beliefset,60,77,78,179,181,184,186,195,197,282,349-365,377beliefstate,303,393,395,396Benferhat,S.
,296,365,390Bessant,B.
,369Bilgrami,A.
,26444binarychangefunctions,263Bochman,A.
,196,198,201,205-209,212,214-218boldness,32,51Boutilier,C.
,262,275,279Brachman,R.
,149Braithwaite,R.
B.
,23Calabrese,P.
G.
,399Cantwell,J.
,60,83,85,93,95,221capacity,163,164,359capacitybasedrevision,172capacityconstruction,166Carnap,R.
,8categorialmatchingprinciple,303,304certainty,11change,163,349-352,354,356,359,364,365,393,404Chihara,C.
,11choice,359,430,437,438choiceofanultimatepartition,22circumscription,156INDEXclassicalconsequenceoperation,352classicalpreferentialstructure,336Cohen,L.
J.
,41coherence,424,435coherenceproperties,341coherentremovalofdoubt,28coherentsystemsoffilters,334coherentism,216coherentistapproach,212,214commitmentset,60,77complement,166,167complexity,350,363,377,410,439conceptualframework,14conditional,394conditionalisation,138,139conditioning,120conjecture,7conjunctiveconstancy,87conjunctivemode,110conjuntivelynonmonotonic,44consequenceoperation,77,261,317,352,354,402consequencerelations,204consistency,429consistencypreservation,92consistency-preservingLeviIden-tity,92constructionmethod,262,263contraction,11,15,191,195,200,247,429contractionfunctionbasedonepis-temicentrenchment,270contractionfunctionbasedonsys-temsofspheres,268core-retainment,253Cormen,T.
H.
,363Costello,T.
,148countingmeasure,165credalprobability,9credibility,432,434-440credibilityweights,437,441cross-entropy,394,397cut,46,48credalorsubjectiveprobabil-ity,9cutcondition,46Dalal,M.
,430DarwicheandPearlpropertiesforiteratedchange,275Darwiche,A.
,262,275,279,285,286,396,403,406Davidson,D.
,24-26Davis,M.
,380deductiveinference,17deductivelycogent,38default,409defaultlogic,156defaultreasoning,371defeasibleinheritance,345,347defeasibleinheritancediagram,335,337degreesofbelief,40,42degreesofcredibility,436,437,439deliberatedecisionmaking,17Dempster'sruleofcombination,434,439Dempster,A.
P.
,434dependence,214,215,365,438determinable,306Dewey,J.
,24directlyscepticalapproach,338,346disjunctivemode,110distance,135Dixon,S.
E.
,349Dongen,S.
van,365downwardchaining,338,346doxasticcommitment,12Doyle,J.
,431DPpostulates,288,292Dubois,D.
,41,296,352,365,393-395,399,405,406dynamicdoxasticlogic,57,223E-admissible,53E-admissibleoptions,54elaborationtolerance,147Elgot-Drapkin,J.
,354ensconcements,163entrenchment,136,248,255,430entropy,394,397epistemicdistance,136epistemicentrenchmentordering,88,137,163-165,179,221,226,247,248,255,270,350,429,432epistemicstate,195,196,280,281,372,395,396,430,432epistemicutilityfunction,30Epstein,R.
L.
,361expansion,15,16,62expansionintoinconsistency,33expansionviathetestimonyofthesenses,17expectedutilityfunction,31explanation,136exportability,45,46,50,51,53INDEXexpulsiveness,256extendedset,306445extensionbasedapproach,338extensioncapacity,171factoring,189Fagin,R.
,159,201,303,349,364failure,255Falappa,M.
,93,95FarinasdelCerro,L.
,365Feldman,R.
,149,159Ferme,E.
,85,93,95,247,252,253filteringcondition,253,254Finetti,B.
de,11Fisher,R.
A.
,11,23focusing,394,399,405Foo,N.
,95forwardchaining,316foundationalapproach,212,215,216foundationalcontractions,216Freund,M.
,272Friedman,N.
,271,279,311Fuhrmann,A.
,43,52,195,198,203,253,349fullbelief,7,11fullmeetbaserevision,303,373fullmeetcontraction,254fullness,251fusion,110Gardenfors,P.
,7,41,43,45,47,52,57,66,67,78,85,86,88,93,159,179,181,195-197,203,204,208,209,212,218,221,247,248,251-256,261,270,272,279,303,311,349,365,377,393,395,398-402,429,431Gary,K.
,354generalisedepistemicentrenchment,230446geometriccapacities,166Giunchiglia,F.
,148,150,155Gmytrasiewicz,P.
J.
,425goal-directedbeliefrevision,135,141Goldblatt,R.
,83Gregoire,E,369graph,354-356,361,363,365Grove,A.
,57,86,89,90,179,180,182,187,221,249,250,256,257,261,268,269,306Grundy,425Halpern,J.
Y.
,271,279,311,349,364Hammingdistance,140Hansson,B.
,57,59,195,351,352Hansson,S.
0.
,85,89,93,95,195,196,198,201,203,209,216,247,249-256,274,303,311,349,350,353,354,356,359,365Harman,G.
,212Harperidentity,94,265,274Harper,W.
L.
,92,94Henkin,L.
,57Herzig,A.
,352,365heuristic,379,380hierarchy,265Hilpinen,R.
,52Hintikka,J.
,63historicmemory,263,271history,285,354Hoek,W.
vander,57homogeneityprinciple,213humanbeliefchange,135hypertheory,221,225hypothesis,7hypotheticalreasoning,142implementation,349,365,434,436importability,45,46,50,51INDEXimproperfullmeetbaserevision,305improperfullmeetrevisionoper-ator,305inaccessibleworlds,90incisionfunction,249inconsistentbeliefstates,85,303inconsistentknowledgebase,180,188indeterminate,53indexq,32indexofboldness,36induction,7,11,17,19inductiveargument,7inductiveexpansionrule,46,47inductiveinference,12,16,53inductiverejectionrule,32,38,43,46inductivelyextendedconditionals,43inductivelyextendedexpansion,42,46inductivelyextendednonmonotonicimplication,43inductivelyextendedrevision,42,43inference,350,352-354,356,359inferencerelation,149infinitebasicpartition,53informationsource,435informationspace,136,138informationalvalue,31inheritance,327inheritancediagram,333,345inheritancenetwork,328interpretation,409intersubstitutivity,88irretractiblesentence,86iterableAGMfunctions,263iterableepistemicentrenchmentcon-traction,270iterablefunctions,261iterablepartialmeetcontraction,268iterablesafecontraction,266iterablespherecontraction,269iteratedbeliefrevision,137,374,403,407iteratedinductiveexpansion,35iteratedrevision,191,288,292,312,325,401iteratedtheorychange,261iterativeupdating,403,406Jaskowski,S.
,364Jeffreyconditionalization,398Jeffrey,R.
C.
,8,11,163Johnson,R.
W.
,398,403justbecause,254justificatorystructure,252Katsuno,H.
,159,263,286,311,393,399,402Kautz,H.
,379KBrevisionpostulates,187Kern-Isberner,G.
,397,398,403kernel,352,353,373kernelcontraction,249knowledgebase,147,179,181,184,186,315,334,436,440knowledgelevel,181Konieczny,S.
,296Koppel,M.
,149,159Kowalski,R.
A.
,365Kraus,S.
,205,210Kraus,S.
,199Kucera,S.
,176Kuper,G.
M.
,201,303Kyburg,H.
,11,333lazyupdate,263Lehmann,D.
,159,199,205,210,262,272,275,276,279Leiserson,C.
E.
,363Lemmon,E.
J.
,57Levesque,H.
,149Levicontraction,209,255Leviidentity,92,94,253,265,274,429INDEX447Levi,1.
,43,52,85,92,93,209,213,214,217,218,247,253,255Lewis,D.
,57,179,184,364limitassumption,60,180,184,187limitedresources,356Lindenbaum,267Linder,B.
van,57Lindstrom,S.
,83,221,247,256linearbaserevision,385localchange,351,354lodalsearch,379lotteryparadox,39Magidor,M.
,199,205,210,276Makinson,D.
,7,41,43,45,47,52,57,67,85,86,93,159,179,181,195,197,203,204,208,209,221,247-255,261,264,265,268,270,272,274,275,279,303-304,308,349,377,396,399,402,403,429Malfait,B.
,149Markovassumption,271Marquis,P.
,369Martins,J.
P.
,431maxichoice,254maximality,88maximizingexpectedepistemicutil-ity,32,33Mazure,B.
,390McAllester,D.
,379McCarth;v,J.
,147,148,153,371McGee,V.
,11ME-inference,397,398,403,405,406measureofsimilarity,135,141,143Mendelzon,A.
0.
,159,263,286,311,393,399,402Meyer,J.
-J.
,57minimalchange,251,254,401,429minimalmodification,334448minimality,163,251,255Minsky,M.
,149,435model-preferencesemantics,371monotonicity,197,198,209,211,215,353,354,359,401Moore,R.
C.
,156Morreau,M.
,53multisourceenvironment,434multiagent,412,413,423,424Nayak,A.
,247,262Nebel,B.
,159,195,198,303,349,377,409,410,430newerrorfreeinformationalvalue,32Neyman,J.
,23Niederee,R.
,247,252non-prioritizedrevision,85,94nonmonotonic,17,44,53,149,419nonmonotoniclogic,323,393,402nonmonotonicrepresentation,371nonmonotonicsystem,156numericalapproaches,432numericalrevision,441off-pathpreclusion,338Olsson,E.
J.
,85,209,255on-pathpreclusion,338onion,60,78oniondeterminer,78orderingbetweenpolynomials,282orders,334,341,347Pagnucco,M.
,85,217,255,257Paris,J.
,393,395,397,399partialentrenchmentranking,140,430partialmeetcontraction,248,254,267partialmeetfunction,247partitionsensetiveinductiveex-pansionrule,39Pearl,J.
,262,275,279,285,286,396,403,406INDEXPearson,E.
S.
,23Peirce,C.
S.
,7,23,25permisibleutilityfunction,53permissibleexpectedutilityfunc-tion,53permissibleprobabilityfunction,53permutability,45,48,50,51persistence,86,87Plato,24Pollock,J.
,333polynomials,282Poolesystem,306Poole,D.
,199,306Popper,K.
R.
,23Popperian,8Popperianfalsificationists,10possibilitytheory,110possibleworlds,89,181,186,249postulate,207,247,271potentialanswers,18-21potentialcorpora,14potentialstateoffullbelief,14potentialsurprise,40Prade,H.
,41,296,365,393-395,399,405,406pragmatism,24,25preclusion,338predicateabstractions,155preemption,338preference,195,196,198,431preferentialstructures,334,336,339,347preferred-modelsinferencerelation,376principleofcategorialmatching,196,400principleofrecoverability,435,436prioritytotheincominginforma-tion,429prisonerdilemma,426probabilisticbeliefchange,406probabilisticinference,393,396,403probabilisticrevision,393probabilisticupdating,403probabilists,8productstructure,334properfullmeetbaserevsionop-erator,305proposition,89propositionalcontractionoperator,90INDEXpropositionalmodelsofbeliefchangge90psychological,354,356Putnam,H.
,380Quine,W.
V.
0.
,8Rabinowicz,W.
,221,247,256RABIT,354-356,361radicalprobabilists,8,10Raedt,L.
de,149,159Ramseyrevision,253Ramseytest,43Ramsey,F.
P.
,253ranked,336,340rankedrevision,315ratioinductiverejectionrule,34ratioreductionrule,38ratiorejectionrule,33,36,43,44,51,53rationalfullmeetbaserevision,309rationalmonotony,304,308rationality,304,377,427,434rationalitycriteria,179rationalitypostulates,181recoverability,441recoverypostulate,85,203,247,251-253,303referenceclass,333,339,341,345-347Reichenbach,H.
,333Reiter,R.
,156rejectionset,19,20,22relatedness,351,356,358,360,361,363,365relatednessstructure,361relativesuccess,86,93449relevance,356,358-360,364,365,426,430reliability,435,438,439relieffromdoubt,27relievedoubt,23replacement,15representationtheorem,91,206-209,211residualshift,16resourcelimitation,363revision,42-44,62,181,186,285,290,393,395,398,399,405,409,424,430revisiontheory,324revision-preference,375Rich,E.
,425riskoferror,18Rivest,RL.
,363Rodriguez,R,252,256Rodrigues,0.
,361Rorty,R,24,26Rott,H.
,57,85,86,88,95,195-197,203,208,212,216,217,222,230,255-257,264,272,274,303,306,311,349,350,393,399,400,402ruleforties·,31,33,54SaYs,L.
,369safebaserevision,374safecontraction,249,261,264,265safe/kernelcontraction,247,256~aturability,251Schlechta,K.
,276scorebasedinductiveexpansionrule,38scoringfunction,37scoringprocedure,37,38Scott,D.
,57seekinformation,shunerrorprin-ciple,30450seekingnewerrorfreeinformation,29Segerberg,K.
,221Segre,A.
M.
,149,159Seidenfeld,T.
,23selection,410,438,440selectionfunction,185,267selector,61,79Selman,B.
,379seriouspossibility,9severecontraction,255severewithdrawal,217Shackle,G.
L.
S.
,40Shafer,G.
,438Shanahan,M.
,148Shapiro,S.
,431shieldedcontraction,85,86shieldedentrenchment-basedcon-traction,89Shoenfield,J.
R.
,149Shoham,Y.
,371Shore,J.
E.
,398,403shunningerror,26similarity,135,179,184,186similarityordermodel,186,189simplicity,185skeptic,12Spohn,VV.
,41,163,262,296Srivastava,R.
,438stability,34,54stableinductiveexpansionrule,47stableinductiverejectionrule,35,38,43,44,50,53stablesubset,35stratification,307,319,320stratifiedbases,385stratifiedforwardchaining,322stratum,431strongcumulativity,397,405structuredbeliefs,351,357,358,360,361,365subgraph,363subjectiveprobability,9substitutioncapacity,172INDEXsuccesspostulate,85,204,205successpropagation,87sumcapacity,170superselector,79suppositionalreasoning,10,53Surendonk,T.
,57surprise,136,141surprisebasedinductiverejectionrule,41surprisinginformation,135suspensionofjudgement,29,54syllogisticargument,7syntacticfusionandrevision,110syntax-basedrevision,369systemofspheres,90,137,179,182,184,221,247,249,250,257,268,306thethousandticketlottery,33theory,164theorybasechange,159theorychange,261theoryrevision,159,334thousandticketlottery,32topology,58totalorder,282totalpre-orders,296,375transmutation,137,141,175truthisnotavalue,24truthisobjective,25truthmaintenancesystems,431truthovererrorcondition,33Ullman,J.
D.
,159,201,303ultimatepartition,18-21uncertainty,420,421,425,426unittransmutation,138universalinferenceoperation,393,404,407universalprobabilisticinference,397,403updateofrevision,400updatetheory,326updating,393,399,402,405upwardchaining,338,346urcorpus,22utilityofinformationfunction,30utilityoftruthfunction,30Val,A.
del,212,216validpaths,335,345,346Vardi,M.
Y.
,159,201,303Voorbraak,F.
,395,399INDEXWalsh,T.
,148,150,155Wassermann,R.
,350-354,356,359,365weakening,372weight,284,289,293,420,435,437,438,440weightedaverage,30,32wideningrankedmodels,275WIDTIO,374Williams,M.
-A.
,176,262,279,296,349,350,435Winslett,M.
,365witness,342Zadeh,L.
,41451APPLIEDLOGICSERIES1.
D.
Walton:FallaciesArisingfromAmbiguity.
1996ISBN0-7923-4100-72.
H.
Wansing(ed.
):ProofTheoryofModaILogic.
1996ISBN0-7923-4120-13.
F.
BaaderandK.
U.
Schulz(eds.
):FrontiersofCombiningSystems.
FirstInternationalWorkshop,Munich,March1996.
1996ISBN0-7923-4271-24.
M.
MarxandY.
Venema:Multi-DimensionalModalLogic.
1996ISBN0-7923-4345-X5.
S.
Akama(ed.
):Logic,LanguageandComputation.
1997ISBN0-7923-4376-X6.
J.
Goubault-LarrecqandI.
Mackie:ProofTheoryandAutomatedDeduction.
1997ISBN0-7923-4593-27.
M.
deRijke(ed.
):AdvancesinIntensionalLogic.
1997ISBN0-7923-4711-08.
W.
BibelandP.
H.
Schmitt(eds.
):AutomatedDeduction-ABasisforApplic-ations.
VolumeI.
Foundations-CalculiandMethods.
1998ISBN0-7923-5129-09.
W.
BibelandP.
H.
Schmitt(eds.
):AutomatedDeduction-ABasisforApplic-ations.
VolumeII.
SystemsandImplementationTechniques.
1998ISBN0-7923-5130-410.
W.
BibelandP.
H.
Schmitt(eds.
):AutomatedDeduction-ABasisforApplic-ations.
VolumeIII.
Applications.
1998ISBN0-7923-5131-2(Setvols.
I-III:ISBN0-7923-5132-0)11.
S.
O.
Hansson:ATextbookofBeliefDynamics.
TheoryChangeandDatabaseUpdating.
1999Hb:ISBN0-7923-5324-2;Pb:ISBN0-7923-5327-7Solutionstoexercises.
1999.
Pb:ISBN0-7923-5328-5Set:(Hb):ISBN0-7923-5326-9Set:(Pb):ISBN0-7923-5329-312.
R.
PareschiandB.
Fronhofer(eds.
):DynamicWorldsfromtheFrameProblemtoKnowledgeManagement.
1999ISBN0-7923-5535-013.
D.
M.
GabbayandH.
Wansing(eds.
):WhatisNegation1999ISBN0-7923-5569-514.
M.
WooldridgeandA.
Rao(eds.
):FoundationsofRationalAgency.
1999ISBN0-7923-5601-215.
D.
Dubois,H.
PradeandE.
P.
Klement(eds.
):FuzzySets,LogicsandReas-oningaboutKnowledge.
1999ISBN0-7923-5911-116.
H.
Barringer,M.
Fisher,D.
GabbayandG.
Gough(eds.
):AdvancesinTem-poralLogic.
2000ISBN0-7923-6149-017.
D.
Basin,M.
D.
Agostino,D.
M.
Gabbay,S.
MatthewsandL.
Vigano(eds.
):LabelledDeduction.
2000ISBN0-7923-6237-318.
P.
A.
FlachandA.
C.
Kakas(eds.
):AbductionandInduction.
EssaysontheirRelationandIntegration.
2000ISBN0-7923-6250-019.
S.
Holldobler(ed.
):IntellecticsandComputationalLogic.
PapersinHonorofWolfgangBibel.
2000ISBN0-7923-6261-620.
P.
Bonzon,M.
CavalcantiandRolfNossum(eds.
):FormalAspectsofContext.
2000ISBN0-7923-6350-721.
D.
M.
GabbayandN.
Olivetti:Goal-DirectedProofTheory.
2000ISBN0-7923-6473-222.
M.
-A.
WilliamsandH.
Rott(eds.
):FrontiersinBeliefRevision.
2001ISBN0-7923-7021-XKLUWERACADEMICPUBLISHERS-DORDRECHT/BOSTON/LONDON