摘要
本文针对一类智能决策支持系统中,基于模型行为仿真以实现解题过程自动化的需要,提出对模型对象行为的一阶谓词演算型表达和面向对象型模型处理过程的形式化体系。将问题自动求解过程转化为逻辑运算过程,通过归结反演求取问题的解。文中给出一个应用实例。
Considering the key capabilities and techniques regularly employed in ihe DSS field are reasonably well supported by current commercial methods and tools, e.g many ideas of early AI have become everyday tools for the system developer, the paper emphasizes that object-oriented programming can unify knowledge representation, reasoning and real world objective system description, with the unique formali-zation system implemented by OOP, i.e. integrate descriptive knowledge, procedural knowledge and espiodic knowledge to form systematic knowledge-based problem solving system. The system has the capability to perform operational reasoning based on resolution principle and manipulating models with model algebra.
出处
《计算机应用与软件》
CSCD
1996年第2期15-20,51,共7页
Computer Applications and Software
基金
国防预研基金
关键词
面向对象
定量证明
解题
程序设计
Object-oriented methodology, object-oriented programming.theorem proving, problem solving automation.
