面向对象的时态知识表示和推理.pdf

Title：0bject-Oriented and TemporalKnowledgeRepresentationReasoning Majorl ComputerSoftware＆Theory Name：ZhuMaohu ProfessorYe Supervisor：Associate Xiaoping ABSTRACT Timeistheimmanent the attributeofnature．Inresearchof objective developing isau factor．The base traditional overlooksthe word，timeimportant knowledgesystem attributes andcan’treflectthe oftherealworld temporal ofknowledge change accurately． real Inour world，the isdealtwithatsome time．Becausethe knowledge given is with of informationisoneof knowledgeprovidedtemporal character．Studytemporal the fieldsin science．Thereforehowtointroduce veryimportant computer temporal into information isanew withwhichthe isconfronted knowledgechallenge knowledge now． Themainworksofthisthesisareas onthetraditional follow：first，based knowledge validtimeis intothe representation，theimported knowledgeunit，forexample， etc．Andtransacttimeis whenthe productionrule，knowledgeobject justtrigger-time of is an reasoningtemporal present knowledgetriggered，Second，weobject—oriented tomode