摘要
本文针对一类智能决策支持系统中，基于模型行为仿真解题过程自动化的需要，提出对模型的一阶逻辑型知识表达和面向对象型模型处理过程的形式化体系。将自动求解过程转化为逻辑运算过程。
The paper introduces a class of first-order logic knowledge representation ap-proach and an object-oriented model processing procedure of formalization system.The environ-ment can transfer auto-problem solving processes into logic operation processes.In this way,the knowledge-based problem solvimg and simulation based on model behavioral simulation would be automated.Models representing the real world entities and their behaviov are treated as the state trans formation of the“objects”trigqered by the corresponding“messages”.The method Simplies and unifies the operation and control of the model with a heirarchieal structure.
出处
《系统工程与电子技术》
EI
CSCD
1995年第1期1-7,共7页
Systems Engineering and Electronics
基金
国防预研基金
关键词
面向对象
人工智能
决策支持系统
问题求解
Object-oriented approach,Object-oriented programming intelligent decision support systems,Modeling and simulation,Backward Chaining.
