INTEGRATING THEOREM PROVING WITH OBJECT-ORIENTED PROGRAMMING FOR PROBLEM AUTOMATION
Ian Y · Computer Applications and Software · 1996
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.