Mathematical methods in artificial intelligence
Mathematical methods in artificial intelligence
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
ConceptNet — A Practical Commonsense Reasoning Tool-Kit
BT Technology Journal
Precisiated natural language (PNL)
AI Magazine
Towards Ontology Generation from Tables
World Wide Web
A New Complicated-Knowledge Representation Approach Based on Knowledge Meshes
IEEE Transactions on Knowledge and Data Engineering
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A Survey of Web Information Extraction Systems
IEEE Transactions on Knowledge and Data Engineering
Hybrid Intelligence in Software Release Planning
International Journal of Hybrid Intelligent Systems
Knowledge Representation with Ontologies: The Present and Future
IEEE Intelligent Systems
Low-Cost Supervision for Multiple-Source Attribute Extraction
CICLing '09 Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing
Software Engineering Foundations: A Software Science Perspective
Software Engineering Foundations: A Software Science Perspective
Extracting concept descriptions from the Web: the importance of attributes and values
Proceedings of the 2008 conference on Ontology Learning and Population: Bridging the Gap between Text and Knowledge
Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations
Transactions on Computational Science V
A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra
Transactions on Computational Science V
A methodology to learn ontological attributes from the Web
Data & Knowledge Engineering
A Web Knowledge Discovery Engine Based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
It is recognized that the generic form of machine learning is a knowledge acquisition and manipulation process mimicking the brain. Therefore, knowledge representation as a dynamic concept network is centric in the design and implementation of the intelligent knowledge base of a Cognitive Learning Engine CLE. This paper presents a Formal Knowledge Representation System FKRS for autonomous concept formation and manipulation based on concept algebra. The Object-Attribute-Relation OAR model for knowledge representation is adopted in the design of FKRS. The conceptual model, architectural model, and behavioral models of the FKRS system is formally designed and specified in Real-Time Process Algebra RTPA. The FKRS system is implemented in Java as a core component towards the development of the CLE and other knowledge-based systems in cognitive computing and computational intelligence.