Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
Fuzzy sets, uncertainty, and information
Fuzzy sets, uncertainty, and information
A more expressive formulation of many sorted logic
Journal of Automated Reasoning
A many-sorted calculus based on resolution and paramodulation
A many-sorted calculus based on resolution and paramodulation
Artificial intelligence through Prolog
Artificial intelligence through Prolog
Satisfying in knowledge-based systems
Data & Knowledge Engineering - Special issue on the third international symposium on knowledge engineering, Madrid, Spain, October 1988
An introduction to model-based reasoning
AI Expert
A general framework for sorted deduction: fundamental results on hybrid reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Thoughts and afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning
AI Magazine - Reports from three of the 1990 Spring symposia and eight workshops held over the past two years
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Functional programing and the logical variable
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Maintaining knowledge about temporal intervals
Communications of the ACM
A Compositional Approach to Multiparadigm Programming
IEEE Software
Prolog/Rex-A Way to Extend Prolog for Better Knowledge Representation
IEEE Transactions on Knowledge and Data Engineering
Frameworks for Developing Intelligent Systems: The ABE Systems Engineering Environment
IEEE Expert: Intelligent Systems and Their Applications
Using a Description Classifier to Enhance Knowledge Representation
IEEE Expert: Intelligent Systems and Their Applications
Decidable, logic-based knowledge representation
Decidable, logic-based knowledge representation
Knowledge representation with SOUL
Expert Systems with Applications: An International Journal
Context-oriented exception handling
International Journal of High Performance Systems Architecture
Hi-index | 0.02 |
While early knowledge-based systems suffered the frequent criticism of having little relevance to the real world, an increasing number of current applications deal with complex, real-world problems. Due to the complexity of real-world situations, no one general software technique can produce adequate results in different problem domains, and artificial intelligence usually needs to be integrated with conventional paradigms for efficient solutions. The complexity and diversity of real-world applications have also forced the researchers in the AI field to focus more on the integration of diverse knowledge representation and reasoning techniques for solving challenging, real-world problems. Our development environment, BEST (Blackboard-based Expert Systems Toolkit), is aimed to provide the ability to produce large-scale, evolvable, heterogeneous intelligent systems. BEST incorporates the best of multiple programming paradigms in order to avoid restricting users to a single way of expressing either knowledge or data. It combines rule-based programming, object-oriented programming, logic programming, procedural programming and blackboard modelling in a single architecture for knowledge engineering, so that the user can tailor a style of programming to his application, using any or arbitrary combinations of methods to provide a complete solution. The deep integration of all these techniques yields a toolkit more effective even for a specific single application than any technique in isolation or collections of multiple techniques less fully integrated. Within the basic, knowledge-based programming paradigm, BEST offers a multiparadigm language for representing complex knowledge, including incomplete and uncertain knowledge. Its problem solving facilities include truth maintenance, inheritance over arbitrary relations, temporal and hypothetical reasoning, opportunistic control, automatic partitioning and scheduling, and both blackboard and distributed problem-solving paradigms.