学科分类
/ 25
500 个结果
  • 简介:Inthispaper,themethodsbasedonlikelihoodratioareproposedfeeuncertaintyreasoning.Theelementaryconceptsandformulasarederivedsysttmatically,especiellyforthesituationswithdependentinformationandforthedifferenrordersofinformalion.

  • 标签: 概率论 基本观念 数学公司 系统性
  • 简介:ThepropertyofNPcompletenessoftopologicspatialreasoningproblemhasbeenproved.Accordingtothesimilarityofuncertaintywithtopologicspatialreasoning,theproblemofdirectionalspatialreasoningshouldbealsoanNPcompleteproblem.TheproofforthepropertyofNPcompletenessindirectionalspatialreasoningproblemisbasedontwoimportanttransformations.Afterthesetransformations,aspatialconfigurationhasbeenconstructedbasedondirectionalconstraints,andthepropertyofNPcompletenessindirectionalspatialreasoninghasbeenprovedwiththehelpoftheconsistencyoftheconstraintsintheconfiguration.

  • 标签: COMPUTATIONAL COMPLEXITY NPcompleteness directional REASONING
  • 简介:AsanimportantvariantofReiter'sdefaultlogic.Poole(1988)developedanonmonotonicreasoningframeworkintheclassicalfirst-orderlanguage,BrewkaandNebelextendedPoole'sapproachinordertoenablearepresentationofprioritiesbetweendefaults.Inthispaperageneralframeworkfordefaultreasoningispresented,whichcanbeviewedasageneralizationofthethreeapproachesabove.Itisprovedthatthesyntax-independentdefaultreasoninginthisframeworkisidenticaltothegeneralbeliefrevisionoperationintroducedbyZhangetal.(1997).Thisesultprovidesasolutiontotheproblemwhetherthereisacorrespondencebetweenbeliefrevisionanddefaultlogicfortheinfinitecase.Asaby-product,ananswertothethequestion,raisedbyMankinsonandGaerdenfors(1991),isalsogivenaboutwhetherthereisacounterpartcontracitoninnonmonotoniclogic.

  • 标签: 容错 推理 信念修正 计算机
  • 简介:AFuzzyReasoningSystemandItsHeuristicInferenceAlgorithmZuoXiaode&LiangYunDept.ofBusinesAdministration,JinanUniversity,Guangzho...

  • 标签: FUZZY REASONING SYSTEM HEURISTIC INFERENCE algorithm.
  • 简介:基于盒子的推理是以前的答案在被存储为未来使用的一种AI技术。人们习惯于根据在他们的记忆被存储并且以前被他们使用了的那些线路指导自己。只基于人到熟悉的线路的偏爱,它通过认知活动的学习被获得。我们建议基于推理到路径计划的盒子使用聪明的方法。一个盒子底存储所有答案到所有最短的路径是不可能的;因此,他们的部分应该被存储。不管多么,线路哪个并且哪个应该被存储不应该是?我们怎么并且怎么改编已经被存储了的盒子我们基于他们获得最短的线路?所有这些问题需要被由于基于盒子的推理技术,集成网络的知识解释。这篇论文建议在另一个点的基于盒子的推理。根据问题空间的总分析发现一些不能替代的连接的这个工具,它被称为must_be_passed在来源和目的地之间连接。仅仅从格子的那些最好的出口/入口节点计算最短的路径盒子到不能替代的连接,然后增加他们进存储为未来使用的盒子底。这个方法基于基于盒子的推理技术并且完全考虑问题空间的性质。除了在线路网络的自然格子的知识的使用,这个方法是比计算效率上的存在算法更有效的。

  • 标签: 典型事例 推理 路径规划方法 智能技术
  • 简介:Inmanyapplicationsanddomains,temporalconstraintsbetweenactions,andtheirprobabilitiesplayanimportantrole.Weproposethefirstapproachintheliteraturecopingwithprobabilisticquantitativeconstraints.Toachievesuchachallenginggoal,weextendthewidelyusedsimpletemporalproblem(STP)frameworktoconsiderprobabilities.Specifically,weproposei)aformalrepresentationofprobabilisticquantitativeconstraints,ii)analgorithm,basedontheoperationsofintersectionandcomposition,forthepropagationofsuchtemporalconstraints,andiii)facilitiestosupportqueryansweringonasetofsuchconstraints.Asaresult,weprovideuserswiththefirsthomogeneousmethodsupportingthetreatment(representing,reasoning,andquerying)ofprobabilisticquantitativeconstraints,asrequiredbymanyapplicationsanddomains.

  • 标签: Artificial INTELLIGENCE (AI) probabilities QUERY answering
  • 简介:Tousereasoningknowledgeaccuratelyandefficiently,manyreasoningmethodshavebeenproposed.However,thedifferencesinformamongthemethodsmayobstructthesystematicalanalysisandharmoniousintegrationofthem.Inthispaper,acommonreasoningmodelJUM(JudgementModel)isintroduced.AccordingtoJUM,acommonknowledgerepresentationformisabstractedfromdifferentreasoningmethodsanditslimitationisreduced.WealsoproposeanalgorithmfortransformingonetypeofJUMsintoanother.Insomecases,thealgorithmcanbeusedtoresolvethekeyproblemofintegratingdifferenttypesofJUMinonesystem.Itispossiblethatanewarchitectureofknowledge-basedsystemcanberealizedunderJUM.

  • 标签: 人工智能 通用推理模型 知识库 不同推理方法变换算法
  • 简介:AfteranalyzingtheweldingprocedureknowledgeinChinesenationalstandardsforweldingprocedurequalificationofsteelpressurevesselfromthepointofestablishingexpertsystem,itcanbedividedintofivetypesofknowledge,i.e.practice,definition,regularity,processanddescriptionknowledge.Theknowledgeexpressionmethodsareestablishedaccordingtothedifferenttypeofweldingprocedureknowledge.Thereasoningprocessbasedonruleisadopted.Andthereasoningengineisembeddedamongobjectsintegratedwiththeknowledgebase.

  • 标签: 焊接工艺 专家系统 知识表达 推理过程
  • 简介:Themediumaccesscontrol(MAC)protocolforindoorvisiblelightcommunication(VLC)withenergyharvestingisexploredinthispaper.Theunfairnessofthroughputexistsamongdevicesduetothesignificantdifferenceoftheirenergyharvestingrateswhichchangeswithdistance,acceptanceangleandtheobstructionprobability.Weproposeanenergyharvestingmodel,anewobstructionprobabilitymodelandanenergyadaptivecontentionalgorithmtoovercometheunfairnessproblem.Thisdevicecanadjustitscontentionwindowaccordingtotheenergyharvestingrate.Asaresult,thedevicewithlowerenergyharvestingratecangetshortercontentionwindowtoimproveitstransmissionopportunity.SimulationresultsshowthatourMACprotocolcanachieveahigherdegreeoffairness.

  • 标签: MAC协议 能量收集 自适应 IEEE 介质访问控制 阻塞概率