Symbolic and Quantitative Approaches to Reasoning and Uncertainty
European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings
Herausgegeben: Hunter, Anthony; Parsons, Simon D.
PAYBACK Punkte
20 °P sammeln!
This book constitutes the refereed proceedings of the 1999 European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU'99, held in London, UK, in July 1999.
The 35 revised full papers presented were carefully reviewed and selected for inclusion in the book by the program committee. The volume covers theoretical as well as application-oriented aspects of various formalisms for reasoning under uncertainty. Among the issues addressed are default reasoning, nonmonotonic reasoning, fuzzy logic, Bayesian theory, probabilistic reasoning, inductive learning, rough knowledge discovery, Dempster-Shafer theory, qualitative decision making, belief functions, and evidence theory.
The 35 revised full papers presented were carefully reviewed and selected for inclusion in the book by the program committee. The volume covers theoretical as well as application-oriented aspects of various formalisms for reasoning under uncertainty. Among the issues addressed are default reasoning, nonmonotonic reasoning, fuzzy logic, Bayesian theory, probabilistic reasoning, inductive learning, rough knowledge discovery, Dempster-Shafer theory, qualitative decision making, belief functions, and evidence theory.
Uncertaintyisanincreasinglyimportantresearchtopicinmanyareasofc- puterscience. Manyformalismsarebeingdeveloped,withmuchinterestatthe theoryleveldirectedatdevelopingabetterunderstandingoftheformalismsand identifyingrelationshipsbetweenformalisms,andatthetechnologyleveldirected atdevelopingsoftwaretoolsforformalismsandapplicationsofformalisms. ThemainEuropeanforumforthesubjectistheEuropeanConferenceon SymbolicandQuantitativeApproachestoReasoningandUncertainty(EC- SQARU). FollowingthesuccessofthepreviousECSQARUconferences,heldin Marseilles(1991),Granada(1993),Fribourg(1995),andBonn(1997),the?fth conferenceintheserieswasheldatUniversityCollegeLondoninJuly1999. ThisvolumecontainspapersacceptedforpresentationatECSQARU 99. In additiontothemainconference,twoworkshopswereheld. The?rstwason DecisionTheoreticandGameTheoreticAgents,chairedbySimonParsonsand MikeWooldridge,andthesecondwasonLogicalandUncertaintyModelsfor InformationSystems,chairedbyFabioCrestaniandMouniaLalmas. Selected papersfromtheworkshopsarealsoincludedintheseproceedings. Weareindebitedtotheprogrammmecommitteefortheire?ortinorganising theprogramme,totheinvitedspeakers,andtothepresentersofthetutorials. Furthermore,wegratefullyacknowledgethecontributionofthemanyreferees whowereinvolvedinthereviewingprocess. Finallywewouldliketothankthe DepartmentofComputerScienceatUniversityCollegeLondonforadminist- tivesupport. ProgrammeCommittee TheprogrammecommitteewaschairedbyAnthonyHunter(UniversityCollege London),andcomprisedDovGabbay(King sCollegeLondon),FinnJensen (AalborgUniversity),RudolfKruse(UniversityofMagdeburg),SimonParsons (QueenMary,UniversityofLondon)HenriPrade(IRIT,Toulouse),Torsten Schaub(UniversityofPotsdam),andPhilippeSmets(ULB,Bruxelles). Reviewers 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 StefanBr
Andere Kunden interessierten sich für
