Communications of the ACM
From logic programming to Prolog
From logic programming to Prolog
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Communications of the ACM
Formal requirements for virtualizable third generation architectures
Communications of the ACM
Automatic ontology matching using application semantics
AI Magazine - Special issue on semantic integration
Communications of the ACM - Self managed systems
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Application Driven Software Development
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Recognising textual entailment with logical inference
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Creativity support tools: accelerating discovery and innovation
Communications of the ACM
Handbook on Ontologies
| Hi-index | 0.00 |
This paper is about computer-based problem solving methodology. The issue addressed is: can we develop a computer-based problem-solving methodology which is not based on computer programming?The answer we provide to this question is YES. This raises the next question: if we do not use programming how do we communicate problem solving algorithms to the computer?The answer to this question is: (1) develop software tools that support domain algorithm execution in the problem domain environment (no programming as usual) and (2) allow problem-domain experts to express their problem-solving algorithms using the natural language of their problem domains. We achieve this computer-based problem solving methodology by computational emancipation of the application domain, which consists of: 1Characterize the application domain in terms of concepts that are universal in the domain, have standalone computing meaning, and are composable.1Structure the application domain using an ontology where terms denoting domain characteristic concepts are associated with computer artifacts implementing them.1Develop a domain-dedicated virtual machine that executes domain algorithms expressed in the natural language of the domain (without asking to encode them into programs) and implement it on the physical computers existent in the computer-network.With this methodology computers execute algorithms whose expressions are conceptual, similar to the way human brain would execute them.