学科分类
/ 1
8 个结果
  • 简介:AsanimportantvariantofReiter'sdefaultlogic.Poole(1988)developedanonmonotonicreasoningframeworkintheclassicalfirst-orderlanguage,BrewkaandNebelextendedPoole'sapproachinordertoenablearepresentationofprioritiesbetweendefaults.Inthispaperageneralframeworkfordefaultreasoningispresented,whichcanbeviewedasageneralizationofthethreeapproachesabove.Itisprovedthatthesyntax-independentdefaultreasoninginthisframeworkisidenticaltothegeneralbeliefrevisionoperationintroducedbyZhangetal.(1997).Thisesultprovidesasolutiontotheproblemwhetherthereisacorrespondencebetweenbeliefrevisionanddefaultlogicfortheinfinitecase.Asaby-product,ananswertothethequestion,raisedbyMankinsonandGaerdenfors(1991),isalsogivenaboutwhetherthereisacounterpartcontracitoninnonmonotoniclogic.

  • 标签: 容错 推理 信念修正 计算机
  • 简介:

  • 标签:
  • 简介:Inthispaperwestudytheone-dimensionalreflectedbackwardstochasticdifferentialequationswhicharedrivenbyBrownianmotionaswellasamutuallyindependentmartingaleappearinginadefaultablesetting.Usingapenalizationmethod,weprovetheexistenceanduniquenessofthesolutionstotheseequations.Asanapplication,weshowthatunderproperassumptionsthesolutionofthereflectedequationisthevalueoftherelatedmixedoptimalstopping-controlproblem.

  • 标签: 倒向随机微分方程 反射方程 混合控制 控制问题 违约 时间