CAJ | 학술논문

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系；然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ的FOOD模型的表示与推理,包括:实现了从FOOD模型到f-ALCIQ知识库在结构层和实例层上的转化,即实现了从FOOD模型到f-ALCIQ TBox的转化,以及从FOOD模型相应的数据库实例到f-ALCIQ ABox的转化；进而,基于转化得到的f-ALCIQ知识库,研究了如何利用f-ALCIQ的推理机制对FOOD模型的推理问题(一致性、包含性和冗余性等)进行推理；最后,设计并实现了基于f-ALCIQ的模糊描述逻辑推理机(FRsQ推理机),实现了对FOOD模型和f-ALCIQ模糊概念知识的自动推理.
통과분석묘술라집여면향대상수거모형지간적관계,연구료기우묘술라집적모호면향대상수거(fuzzy object-oriented data,간칭FOOD)모형적표시여추리.수선,진일보연구료FOOD모형,제출료FOOD모형적형식화정의화어의정의,이편경호지재FOOD모형여모호묘술라집지간건립대응관계；연후,침대FOOD모형적특점화추리수구,개소료모호묘술라집f-ALCIQ.재차기출상,연구료기우f-ALCIQ적FOOD모형적표시여추리,포괄:실현료종FOOD모형도f-ALCIQ지식고재결구층화실례층상적전화,즉실현료종FOOD모형도f-ALCIQ TBox적전화,이급종FOOD모형상응적수거고실례도f-ALCIQ ABox적전화；진이,기우전화득도적f-ALCIQ지식고,연구료여하이용f-ALCIQ적추리궤제대FOOD모형적추리문제(일치성、포함성화용여성등)진행추리；최후,설계병실현료기우f-ALCIQ적모호묘술라집추리궤(FRsQ추리궤),실현료대FOOD모형화f-ALCIQ모호개념지식적자동추리.