Buch, Englisch, 402 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1280 g
European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings
Buch, Englisch, 402 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1280 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-540-66131-3
Verlag: Springer Berlin Heidelberg
Theprogrammecommitteeisverygratefulforallthehardworkcontributed bythereviewers. Hopefully,wehavenotmissedanyonefromthefollowing list:BruceD’Ambrosio,FlorenceBannay,SalemBenferhat,PhilippeBesnard, HuguesBersini,ChristianBorgelt,RachelBourne,StefanBrass,LaurenceCholvy, RogerCooke,AdnanDarwiche,YannisDimopoulos,JurgenDix,DidierDubois, UweEgly,LindavanderGaag,JoergGebhardt,SiegfriedGottwald,RolfHaenni, Jean-YvesJa?ray,RadimJirousek,RuthKempson,U?eKjaerulf,FrankK- wonn,AljoschaKlose,JuergKohlas,PaulKrause,GerhardLakemeyer,Mounia Lalmas,JeromeLang,KimG. Larsen,NorbertLehmann,T. Y. Lin,Thomas Linke,KhalidMellouli,JeromeMengin,J. -J. Ch. Meyer,SanjayModgil,Yves Moinard,Sera?nMoral,DetlefNauck,AnnNicholson,PascalNicolas,Dennis VI Preface Nilsson,KristianG. Olesen,RainerPalm,ZdzislawPawlak,VincentRisch,Regis Sabbadin,CamillaSchwind,PrakashP. Shenoy,MilanStudeny,HeikoTimm, HansTompits,MarcoValtorta,andCeesWitteven. April1999 AnthonyHunterandSimonParsons TableofContents Onthedynamicsofdefaultreasoning GrigorisAntoniou. 1 Non-monotonicandparaconsistentreasoning:Frombasicentailmentsto plausiblerelations OferArieliandArnonAvron. 11 AcomparisonofsystematicandlocalsearchalgorithmsforregularCNF formulas Ram´onB´ejarandFelipMany`a. 22 Query-answeringinprioritizeddefaultlogic FaridBenhammadi,PascalNicolasandTorstenSchaub. 32 Updatingdirectedbeliefnetworks BoutheinaBenYaghlaneandKhaledMellouli. 43 Inferringcausalexplanations PhilippeBesnardandMarie-OdileCordier. 55 Acritiqueofinductivecausation ChristianBorgeltandRudolfKruse. 68 Connectinglexicographicwithmaximumentropyentailment RachelA. BourneandSimonParsons. 80 Avoidingnon-groundvariables StefanBruning ¨ andTorstenSchaub. 92 Anchoringsymbolstovisiondatabyfuzzylogic SilviaCoradeschiandAlessandroSa?otti. 104 Filteringvsrevisionandupdate:Letusdebate! CorineCossartandCatherineTessier. 116 Irrelevanceandindependenceaxiomsinquasi-Bayesiantheory FabioG. Cozman. 128 Assessingthevalueofacandidate:Aqualitativepossibilisticapproach DidierDubois,MichelGrabischandHenriPrade. 137 VIII TableofContents Learningdefaulttheories B´eatriceDuvalandPascalNicolas. 148 Knowledgerepresentationforinductivelearning PeterA. Flach. 160 Handling inconsistency e?ciently in the incremental construction of strati?ed beliefbases EricGr´egoire. 168 Roughknowledgediscoveryandapplications J. W. GuanandD. A. Bell. 179 GradientdescenttrainingofBayesiannetworks FinnV. Jensen. 190 Opendefaulttheoriesovercloseddomains:Anextendedabstract MichaelKaminski. 201 Shopboteconomics Je?reyO. KephartandAmyR. Greenwald. 208 OptimizedalgorithmforlearningBayesiannetworkfromdata F´ediaKhalfallahandKhaledMellouli. 221 Mergingwithintegrityconstraints S´ebastienKoniecznyandRam´onPinoP´erez. 233 Boolean-likeinterpretationofSugenointegral IvanKramosil. 245 AnalternativetooutwardpropagationforDempster-Shaferbelieffunctions NorbertLehmannandRolfHaenni. 256 Onbottom-uppre-processingtechniquesforautomateddefaultreasoning ThomasLinkeandTorstenSchaub. 268 Probabilisitclogicprogrammingundermaximumentropy ThomasLukasiewiczandGabrieleKern-Isberner. 279 Lazypropagationandindependenceofcausalin?uence AndersL. MadsenandBruceD’Ambrosio. 293 TableofContents IX AMonteCarloalgorithmforcombiningDempster-Shaferbeliefbasedon approximatepre-computation Seraf´?nMoralandAntonioSalmer´on. 305 Anextensionofalinguisticnegationmodelallowingustodenynuanced propertycombinations DanielPacholczyk. 316 Argumentationandqualitativedecisionmaking SimonParsonsandShawGreen. 328 Handling di?erent forms of uncertainty in regression analysis: A fuzzy belief structureapproach SimonPetit-RenaudandThierryDenœux. 340 State recognition in discrete dynamical systems using Petri nets and evidence theory Mich`eleRombaut,ImanJarkassandThierryDenœux. 352 Robotnavigationandmapbuildingwiththeeventcalculus MurrayShanahanandMarkWitkowski. 362 Informationfusioninthecontextofstockindexprediction StefanSiekmann,J¨orgGebhardtandRudolfKruse. 363 Defeasiblegoals LeendertvanderTorre. 374 Logicaldeductionusingthelocalcomputationframework NicWilsonandJ´erˆomeMengin. 386 AuthorIndex. 397 OntheDynamicsofDefaultReasoning Grigoris Antoniou Gri?thUniversity,QLD4111,Australia UniversityofMacedonia,Thessaloniki,Greece ga@cit. gu. edu. au Abstract. Defaultlogicisaprominentrigorousmethodforreasoning withincompleteinformationbasedonassumptions. Itisastaticreas- ingapproach,inthesensethatitdoesn’treasonaboutchangesandtheir consequences. Ontheotherhand,itsnonmonotonicbehaviourappears whenchangestoadefaulttheoryaremade.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
On the Dynamics of Default Reasoning.- Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.- A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas.- Query-answering in Prioritized Default Logic.- Updating Directed Belief Networks.- Inferring Causal Explanations.- A Critique of Inductive Causation.- Connecting Lexicographic with Maximum Entropy Entailment.- Avoiding Non-Ground Variables.- Anchoring Symbols to Vision Data by Fuzzy Logic.- Filtering vs Revision and Update: let us Debate!.- Irrelevance and Independence Axioms in Quasi-Bayesian Theory.- Assessing the value of a candidate.- Learning Default Theories.- Knowledge Representation for Inductive Learning.- Handling Inconsistency Efficiently in the Incremental Construction of Stratified Belief Bases.- Rough Knowledge Discovery and Applications.- Gradient Descent Training of Bayesian Networks.- Open Default Theories over Closed Domains.- Shopbot Economics.- Optimized Algorithm for Learning Bayesian Network from Data.- Merging with Integrity Constraints.- Boolean-like Interpretation of Sugeno Integral.- An Alternative to Outward Propagation for Dempster-Shafer Belief Functions.- On bottom-up pre-processing techniques for automated default reasoning.- Probabilisitc Logic Programming under Maximum Entropy.- Lazy Propagation and Independence of Causal Influence.- A Monte Carlo Algorithm for Combining Dempster-Shafer Belief Based on Approximate Pre-Computation.- An Extension of a lInguistic Negation Model allowing us to Deny Nuanced Property Combinations.- Argumentation and Qualitative Decision Making.- Handling Different Forms of Uncertainty in Regression Analysis: A Fuzzy Belief Structure Approach.- State Recognition in Discrete Dynamical Systems using PetriNets and Evidence Theory.- Robot Navigation and Map Building with the Event Calculus.- Information Fusion in the Context of Stock Index Prediction.- Defeasible Goals.- Logical Deduction using the Local Computation Framework.