VLDB 2026 Research / reviewers in the wild / expert
Hien D. Nguyen 0002
dblp:118/3186-2
· DBLP profile ↗
49ranked-venue papers
12as first author
38since 2021 · last 2027
0000-0002-8527-0602ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 23 · 5 first-author · 21 since 2021Software engineering, systems software and programming languages · 19 · 6 first-author · 12 since 2021Graphics, computer vision, multimedia, augmented reality and games · 8 · 2 first-author · 8 since 2021Databases, data management, data science and information retrieval · 7 · 5 since 2021Theory of computation · 3 · 3 first-author · 2 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2027 | Enhancing skin lesion classification via uncertainty-guided adaptive gated fusion of multiple backbones
Ba-Duy Nguyen, Van-Dung Hoang, Hien D. Nguyen 0002 |
Expert Syst. Appl. | 3 |
| 2026 | Integrating Large Language Model with Symbolic Reasoning for Knowledge Graph-Driven Legal Query System
Dung V. Dang, Dung A. Tran, Vuong T. Pham, Hien D. Nguyen 0002 |
ACIIDS (1) | 5 |
| 2026 | Combination of Ontology-Based Retrieval Augmented Graphs and Inductive Reasoning for Knowledge Fusion of Intelligent Systems
Hien D. Nguyen 0002, Duc Truong, Sang Vu, Diem Nguyen, Tai Huynh, Vuong T. Pham |
ICAART (5) | 1 |
| 2026 | Ontology-Based Framework for Real Estate Investment Recommendation through Expert Knowledge and Market Data
Sang Vu, Quang Thi, Diem Nguyen, Hien D. Nguyen 0002 |
ICAART (5) | 5 |
| 2026 | A Multi-objective Loss Function for Neighbor-Based Recommender Systems
Ho Thi Hoang Vy, Hien D. Nguyen 0002, Le Nguyen Hoai Nam |
ICCSA (2) | 2 |
| 2026 | Graph Retrieval-Augmented Language Model for Question Answering of Vietnamese Law
Khoi A. Vo, Luong H. Vo, Dung V. Dang, Uyen Nguyen, Diep Doan, Hien D. Nguyen 0002 |
IEA/AIE (1) | 6 |
| 2026 | Ordinal-Aware Multimodal Engagement Recognition for Collaborative LearningabstractAssessing student engagement is critical for collaborative learning but remains a challenging task. Existing approaches often rely on controlled laboratory or online settings, which fail to capture the complexity of real-world classrooms. Furthermore, current datasets are scarce and rarely provide both individual-and group-level annotations, limiting the development of robust and generalizable models. To address these gaps, we propose CORE-Net, a multimodal architecture that integrates context modeling to capture group-level dynamics and ordinal supervision to account for the ordinal nature of engagement levels. We also present COLER, a large-scale dataset collected in authentic classroom environments with rich annotations at multiple levels. Experiments demonstrate that CORE-Net achieves 89.63% accuracy and 94.80 QWK, significantly outperforming strong baselines such as BlockGCN and MoViNet. Ablation studies further highlight the critical role of both context modeling and ordinal supervision. Our work establishes a robust and scalable foundation for automated engagement assessment, supporting timely feedback and enhancing the effectiveness of collaborative learning. Nha Tran, Dat Ly, Phi Ta, Hung Nguyen 0001, Hien D. Nguyen 0002 |
WACV | 5 |
| 2026 | Attention mechanisms for context-aware emotion recognition
Hung Nguyen 0001, Nha Tran, Phi Ta, Hien D. Nguyen 0002 |
CCF Trans. Pervasive Comput. Interact. | 5 |
| 2026 | Beyond detection: A survey on proactive disruption and defense strategies for deepfake face generation
Nhu Bui, Khang Phan, Nhi Ngo, Hung Nguyen 0001, Tri Doan, Hien D. Nguyen 0002, Triet Le |
Comput. Vis. Image Underst. | 9 |
| 2026 | Contrastive context-aware emotion recognition: A multimodal framework for learning contextualized emotional representations
Nha Tran, Phi Ta, Hung Nguyen 0001, Hien D. Nguyen 0002 |
Neurocomputing | 5 |
| 2026 | A semantic security and controllability framework for DIKWP artificial consciousness oriented to external semantics
Yingtian Mei, Yucong Duan, Hien D. Nguyen 0002 |
Knowl. Based Syst. | 3 |
| 2025 | A Hybrid Knowledge-Based and Machine Learning Approach for Financial Health Prediction in Small and Medium-Sized Enterprises
Hien D. Nguyen 0002, Sang Vu, Uyen Pham, Diem Nguyen, Dung Dinh |
IEA/AIE (2) | 1 |
| 2025 | Extracting Core Meaning from Legal Queries Using Semantic TechnologiesabstractLegal queries are often expressed in unstructured, ambiguous, or noisy natural language, which poses significant challenges for accurate information retrieval. This paper presents a comprehensive framework for legal question answering that integrates semantic technologies—including an ontology platform, knowledge graph, and large language models (LLMs)—to improve question understanding and response accuracy. We propose a multi-step pre-processing pipeline that standardizes legal questions using spelling correction, abbreviation expansion, syntactic restructuring, and semantic summarization supported by LLMs. Besides, a query system is designed that maps pre-processed questions into graph-based representations and performs subgraph matching over a legal knowledge graph. The system is evaluated on real-world legal questions collected from online forums covering traffic law and social insurance. The results show that the proposed approach achieves a high semantic similarity score (avg. cosine similarity of 0.9078 after standardization) and outperforms baseline LLMs like ChatGPT and Gemini in query accuracy (up to 82.25% in certain question categories). These findings highlight the effectiveness of combining LLMs and semantic structures for robust legal information retrieval. Dung V. Dang, Vuong T. Pham, Huong Tran, Minh N. Phan, Huy Huynh, Hien D. Nguyen 0002 |
SoMeT | 6 |
| 2025 | A DIKWP-Based Value Alignment Generation Method Oriented Toward Sovereign Artificial IntelligenceabstractWith the rapid development of Generative Artificial Intelligence (Generative AI), Sovereign AI—a vital vehicle for national digital sovereignty—has introduced new technical challenges for value alignment. Traditional alignment methods struggle to effectively address issues such as multicultural divergence, the abstract complexity of ethical principles, and the high computational cost known as the “alignment tax” under Sovereign AI. To tackle these challenges, a multi-granular semantic reasoning method is proposed for value alignment based on the DIKWP framework, designed explicitly for Sovereign AI. By mapping the interrelations among Data, Information, Knowledge, Wisdom, and Purpose (DIKWP), a dual system of intention and behavior is constructed to resolve semantic conflicts, fragmented value expressions, and dynamic adaptation in complex contexts. To reduce alignment costs, we design a dedicated, prompt template—DIKWP Chain of Thought(DIKWP-CoT)—that explicitly embeds value-behavior logic into the model’s reasoning process, significantly minimizing retraining needs. Experimental results show that, compared to traditional approaches, the proposed method significantly improves the accuracy and robustness of value alignment on the CoreValue and CMOS datasets, especially in complex scenarios involving implicit intentions or biased expressions. This provides a novel technical pathway for building safe, trustworthy, and sovereignty-aligned generative AI systems. Yingtian Mei, Yucong Duan, Hien D. Nguyen 0002, Yingbo Li |
SoMeT | 3 |
| 2025 | Integrating Legal BERT-Based Embedding and ReAct Multi-Agent for an Intelligent Consulting SystemabstractIn Vietnam, accessing accurate and personalized legal advice remains a significant challenge due to the complexity of legal documents and limited public legal literacy. This paper introduces an intelligent legal consulting system that integrates three key components: the Legal-Onto knowledge representation model, the VietnamLegalText-SBERT embedding model, and a ReAct-based multi-agent framework. Legal-Onto organizes legal knowledge into semantic graphs of legal concepts, capturing internal relationships, definitions, and key attributes from legal texts. Each node in the knowledge graph is embedded using VietnamLegalText-SBERT—a BERT-based model fine-tuned on Vietnamese legal corpora—and stored in Elasticsearch to enable efficient vector-based retrieval. A multi-agent architecture facilitates step-by-step reasoning, query decomposition, document retrieval, legal interpretation, and output validation. The system is evaluated on real-world legal queries collected from public sources, showing superior performance over a general-purpose GPT-4o baseline in terms of answer accuracy, citation correctness, and contextual relevance. The results demonstrate that combining domain-specific semantic modeling with reasoning agents yields interpretable, reliable, and context-aware legal support, paving the way for broader public access to legal guidance in Vietnam. Tho H. Nguyen, Vuong T. Pham, Dung A. Tran, Anh T. Huynh, Hien D. Nguyen 0002 |
SoMeT | 6 |
| 2025 | Empowering classroom behavior recognition through hybrid spatial-temporal feature fusion
Hung Nguyen 0001, Nha Tran, Hien D. Nguyen 0002 |
Appl. Intell. | 4 |
| 2025 | Hybrid contextual and sentiment-based machine learning model for identifying depression risk in social media
Nha Tran, Phi Ta, Hung Nguyen 0001, Hien D. Nguyen 0002, Anh-Cuong Le 0001 |
Expert Syst. Appl. | 4 |
| 2024 | Multifaceted ECG Feature Extraction for AFIB Detection: Using Traditional Machine Learning Techniques
Tri M. Nguyen 0003, Hien D. Nguyen 0002, Hung Nguyen 0001, Xuan-Hau Pham, Dung A. Tran |
ACIIDS (1) | 2 |
| 2024 | A Method for Integrating of Knowledge Model and Functional Component and Application in Intelligent Problem Solver
Nha P. Tran, Hien D. Nguyen 0002, Diem Nguyen, Dung A. Tran, Anh T. Huynh, Tu T. Le |
IEA/AIE | 2 |
| 2024 | Design a Knowledge Chatbot System in Education Based on Ontology ApproachabstractNowadays online learning is growing strongly, with many diverse options. Learners can utilize electronic devices and internet platforms for studying, searching for materials, and looking up knowledge. In this study, a method for design a knowledge chatbot system in education is proposed. This method includes a knowledge base, which is a knowledge model integrating ontology of relations and operators and knowledge graph, and the algorithms for solving problems on intellectual querying. The proposed method is utilized to build an intelligent chatbot system in the course of Foudation of Database. This chatbot can assist the online learning by querying subject knowledge content, categorizing concepts, and providing support for various types of exercises in the subject. The experimental results show that the built system meets the requirements of an intelligent educational system and outperforms than currently GenAI systems. Hung Nguyen 0001, Thao T. N. Le, Hau Nguyen, Long D. Nguyen, Dung Dinh, Vuong T. Pham, Hien D. Nguyen 0002 |
SoMeT | 7 |
| 2023 | Intelligent Retrieval System on Legal Information
Hoang H. Le, Cong-Thanh Nguyen, Thinh P. Ngo, Phu V. Vinh, Binh T. Nguyen 0001, Anh T. Huynh, Hien D. Nguyen 0002 |
ACIIDS (1) | 7 |
| 2023 | Faster Imputation Using Singular Value Decomposition for Sparse Data
Linh G. H. Tran, Bao H. Le, Thuong H. T. Nguyen, Thu Nguyen 0001, Hien D. Nguyen 0002, Binh T. Nguyen 0001 |
ACIIDS (1) | 6 |
| 2023 | Design a Recommendation System in Real Estate Investment Based on Context Approach
Tinh T. Nguyen, Sang Vu, Truc Nguyen, Vuong T. Pham, Hien D. Nguyen 0002 |
KEOD | 5 |
| 2023 | Ontology-Based Solution for Building an Intelligent Searching System on Traffic Law Documents
Vuong T. Pham, Hien D. Nguyen 0002, Thinh Le, Binh T. Nguyen 0001, Quoc Hung Ngo |
ICAART (1) | 2 |
| 2023 | Information Retrieval from Legal Documents with Ontology and Graph Embeddings Approach
Dung V. Dang, Hien D. Nguyen 0002, Quoc Hung Ngo, Vuong T. Pham, Diem Nguyen |
IEA/AIE (1) | 2 |
| 2023 | A Design Method for an Intelligent Tutoring System with Algorithms Visualization
Hien D. Nguyen 0002, Hieu Hoang, Triet H. M. Nguyen, Khai Truong, Anh T. Huynh, Trong T. Le, Sang Vu |
IEA/AIE (1) | 1 |
| 2023 | Ultimate of Digital Economy: From Asymmetric Data Economy to Symmetric Knowledge and Wisdom EconomyabstractThe revelation of cognitive knowledge, development, and planning of distinct economic societies in human civilization have mostly been influenced by historically asymmetric availability or ownership of Data Asset, Information Asset, Knowledge Asset, and Wisdom Asset. The availability of asymmetric information and the asymmetry of demand for commercial goods or services serve as the foundation for many economic models and theories. However, from the DIKWP (Data, Information, Knowledge, Wisdom, and Purpose) Capital materialization and DIKWP Governance perspective, with the rapidly development of information technology and widely progressing digital communication facilities, Asymmetric Information Economy is increasingly replaced with essentially Symmetric Knowledge Economy and Symmetric Wisdom Economy. The inevitability of the replacement of Asymmetric Economy by Symmetric Economy in terms of DIKWP-12-Chains is formalized, and proposed uniformly semantic processing crossing DIKWP. Yucong Duan, Vuong T. Pham, Hien D. Nguyen 0002 |
SoMeT | 4 |
| 2023 | Multi-Agents System for Game Development Through Unreal EngineabstractNowadays the video game market is the highest in the entertainment industry. There are many architectures supporting the creation of a game, such as Unreal Engine and Unity. Multi-agent system is a popular and suitable solution to design platform games. It is employed to place streets, buildings and other items, resulting in a playable video game map. The system utilizes computational agents that act in conjunction with the human designer to produce maps that exhibit desirable characteristics. This paper proposes a new architecture for organizing in game development based on the multi-agents system (MAS). This architecture includes the structure of an agent with its attributes and internal behaviors, and the structure of relations between agents for action coordination in a determined strategy This structure of MAS is also applied to build a demonstration video game as an action game through Unreal Engine, which is a complete suite of development tools made for anyone working with real-time technology. Quang Vu, Vuong T. Pham, Dung Dinh, Hien D. Nguyen 0002 |
SoMeT | 4 |
| 2022 | Legal-Onto: An Ontology-based Model for Representing the Knowledge of a Legal Document
Thinh H. Nguyen, Hien D. Nguyen 0002, Vuong T. Pham, Dung A. Tran, Ali Selamat |
ENASE | 2 |
| 2022 | Skin Cancer Classification Using Different Backbones of Convolutional Neural Networks
Anh T. Huynh, Van-Dung Hoang, Sang Vu, Trong T. Le, Hien D. Nguyen 0002 |
IEA/AIE | 5 |
| 2022 | Knowledge Representation of Expert System in Real-Estate Investment Combining Collected DataabstractBuying a house is considered to be an increasing necessary demand. However, choosing the right one is a complex and time-costing decision. In this research, a method for knowledge representation of an expert system in real-estate investment is proposed. This method organizes the knowledge base of the system based on combining market surveying data in real-estate for each category of customers. Through that, a content-based searching system using the personal demographics, as an expert system, is proposed. This system supports both customer and real estate agent to find the suitable house fitting their desire and budget. This system is designed to extract information of the customer information to enhance the conventional searching method which only treat house property as the only input. Hien D. Nguyen 0002, Nhon V. Do, Lan-Di Tran, Vuong T. Pham |
SoMeT | 2 |
| 2022 | Segmentation on Chest CT Imaging in COVID-19 Based on the Improvement Attention U-Net ModelabstractThis paper proposes a new deep learning model to detect COVID-19 lesions in chest CT images. This method is based on the Attention U-net which uses the layer of Atrous Spatial Pyramid Pooling (ASPP) to capture the feature on various scales. It also contains an attention gate. The attention gate provides the ability to suppress irrelevant regions and focus on the useful feature in an input image. The experimental results show that this method can achieve 99.61% accuracy and 80.43% precision. They are more effectively than the baseline method on Chest CT images. Nguyen N. D. Tran, Hien D. Nguyen 0002, Nhan T. Huynh, Nha P. Tran |
SoMeT | 2 |
| 2021 | A Method of Deep Reinforcement Learning for Simulation of Autonomous Vehicle Control
Anh T. Huynh, Ba Tung Nguyen, Hoai-Thu Nguyen, Sang Vu, Hien D. Nguyen 0002 |
ENASE | 5 |
| 2021 | Ontology-Based Resume Searching System for Job Applicants in Information Technology
Tung T. Phan, Vinh Q. Pham, Hien D. Nguyen 0002, Anh T. Huynh, Dung A. Tran, Vuong T. Pham |
IEA/AIE (1) | 3 |
| 2021 | Feature Learning by Least Generalization
Hien D. Nguyen 0002, Chiaki Sakama |
ILP | 1 |
| 2021 | Multi-Level Sentiment Analysis of Product Reviews Based on Grammar RulesabstractVietnamese is a tonal and isolated language. Its highly ambiguity makes the designing of methods for sentiment analysis being difficult. For getting the most effectiveness, the designed method has to analyze sentiment of sentences based on combining the grammar and syllable structures of Vietnamese. In this paper, a method to build a Vietnamese dataset of product reviews with many sentiment levels, including very negative, negative, neutral, positive and very positive, is proposed. This method can be scaled to a large dataset using for analyzing sentiment of product reviews. Moreover, a solution to add more grammar rules of Vietnamese into the pre-processing of sentiment analysis is also constructed. Those rules simulate the sentiment recognition of humans and help to increase the accuracy of sentiment determination. The combination of grammar rules and some methods for sentiment analysis are experimented on the Vietnamese dataset of product reviews to classify them into sentiment-levels. The testing results show that their accuracy and F-measure are improved and suitable to apply in the practical business analyzing of customer behaviors. Hien D. Nguyen 0002, Khiem Vinh Tran, Son T. Luu, Suong N. Hoang, Hieu T. Phan |
SoMeT | 1 |
| 2021 | An Effective AQI Estimation Using Sensor Data and Stacking MechanismabstractAccurately assessing the air quality index (AQI) values and levels has become an attractive research topic during the last decades. It is a crucial aspect when studying the possible adverse health effects associated with current air quality conditions. This paper aims to utilize machine learning and an appropriate selection of attributes for the air quality estimation problem using various features, including sensor data (humidity, temperature), timestamp features, location features, and public weather data. We evaluated the performance of different learning models and features to study the problem using the data set “MNR-HCM II”. The experimental results show that adopting TLPW features with Stacking generalization yields higher overall performance than other techniques and features in RMSE, accuracy, and F1-score. Dat Q. Duong, Quang M. Le, Tan-Loc Nguyen-Tai, Hien D. Nguyen 0002, Minh-Son Dao, Binh T. Nguyen 0001 |
SoMeT | 4 |
| 2021 | An efficient reasoning method on logic programming using partial evaluation in vector spacesabstractAbstract In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices. The least model of a definite program is computed by multiplying an interpretation vector and a program matrix. To optimize computation in vector spaces, we provide a method of partial evaluation of programs using linear algebra. Partial evaluation is done by unfolding rules in a program, and it is realized in a vector space by multiplying program matrices. We perform experiments using artificial data and real data, and show that partial evaluation has the potential for realizing efficient computation of huge scale of programs in vector spaces. Hien D. Nguyen 0002, Chiaki Sakama, Taisuke Sato, Katsumi Inoue |
J. Log. Comput. | 1 |
| 2020 | Language-oriented Sentiment Analysis based on the Grammar Structure and Improved Self-attention Network
Hien D. Nguyen 0002, Tai Huynh, Suong N. Hoang, Vuong T. Pham, Ivan Zelinka |
ENASE | 1 |
| 2020 | Some Techniques for Intelligent Searching on Ontology-based Knowledge Domain in e-Learning
Nhon V. Do, Hien D. Nguyen 0002, Long N. Hoang |
KEOD | 2 |
| 2020 | Measure of the Content Creation Score on Social Network Using Sentiment Score and Passion PointabstractSocial network is one of efficient tools for spreading information. The evaluation of the content creation of a user is a useful feature to improve the ability of information propagation on social network. In this paper, the measures for evaluating the user’s content creation are proposed. They include the passion point of a user with a brand and the quality of the user’s posts. The passion point is computed based on the sentiment score of posting and the activity of the user. The quality of the user’s posts is computed through the analyzing of the post’s content. Those measures are combined to analyze the interesting of posts. The proposed method has been tested and get the positive experimental results. Hien D. Nguyen 0002, Tai Huynh, Son T. Luu, Suong N. Hoang, Vuong T. Pham, Ivan Zelinka |
SoMeT | 1 |
| 2019 | Knowledge representation for designing an Intelligent Tutoring System in learning of courses about AlgorithmsabstractNowadays building the intelligent systems for education plays an important role to construct the smart city. Knowledge engineering provides technology to build the Intelligent Tutoring System (ITS) supporting for learning. In this paper, a model for representing the knowledge of courses about algorithms is presented. This knowledge model is the integrating between ontology and frames, called Integ-model. Based on the structure of Integ-model, problems about querying on the knowledge and visualizing of algorithms have been proposed and solved. The Integ-model is applied to organize the knowledge base of the intelligent system for learning Data Structures and Algorithms. This system can illustrate algorithms's process and the working of data structures in the course. It also helps learners to query the content of lessons in the course. Trong T. Le, Son T. Luu, Hien D. Nguyen 0002, Nhon V. Do |
APCC | 3 |
| 2019 | A New Algorithm for Computing Least Generalization of a Set of Atoms
Hien D. Nguyen 0002, Chiaki Sakama |
ILP | 1 |
| 2019 | A Method for Designing the Intelligent System in Learning of AlgorithmsabstractThe active learning methods bring enthusiasm for studying of students, especially in learning of algorithms and programming. Graphical and dynamic web based tools as visualization in learning these courses make more attractive to learners for spending much more their study time. In this paper, a method for designing an Intelligent system in learning of algorithms is proposed. This method proposes the model for representation the knowledge of an algorithm, called Algo-model. This model has the structure of tasks which are actions in the algorithm's processing. The proposed method also includes the processing to visualize the happen change in an algorithm's running. It will visualize on three contents synchronously: displaying the current state of the algorithm, results of data structures at this state, and visualizing this current state on the graphic environment. Based on the proposed method, an Intelligent learning system for Graph Theory at university has been constructed. This system meets requirements of an Intelligent system in learning of algorithms. It is useful for students to study and understand how the algorithm runs. It can interact to the student step-by-step based on the visualization of algorithms in learning tutors. Hien D. Nguyen 0002, Nhon V. Do, Thanh T. Mai, Vuong T. Pham |
SoMeT | 1 |
| 2018 | Intelligent Educational Software in Discrete Mathematics and Graph TheoryabstractIntelligent software has been very useful in education, especially those support studying knowledge. The knowledge of Discrete Mathematics and Graph Theory are essential in STEM education. There have been many computer programs that support students to study in the above knowledge domains such as Wolfram Alpha, Maple, etc. However, they do not satisfy students' requirements. This article will present knowledge representation methods, reasoning and querying techniques to design and to implement an intelligent software for effectively studying Discrete Mathematics and Graph Theory. The system consists of two subsystems for knowledge retrieval, visualization of methods or algorithms, and for solving problems. It can be easily used for studying the knowledge as well as for solving problems. Nhon V. Do, Hien D. Nguyen 0002, Thanh T. Mai |
SoMeT | 2 |
| 2018 | Rela-Ops Model: A Method for Knowledge Representation and Application
Hien D. Nguyen 0002, Nhon V. Do, Vuong T. Pham |
SoMeT | 1 |
| 2018 | Knowledge-Based Model of Expert Systems Using Rela-ModelabstractKnowledge about relations plays a crucial role in human’s knowledge. Different methods for representing this type of knowledge have been proposed. However, due to the lack of theoretical foundations, these methods cannot guarantee criteria in knowledge representation such as formality, universality, usability and practicality. They are not adequate to represent the knowledge domains in practice which have many components. Based on formal ontology approach, a knowledge model about relations, called Rela-model, is presented in this paper. It has the components such as concepts, relations between concepts, and rules. The concepts in this model consist of attributes, facts and rules of itself. Each object in a concept has also equipped its behavior to solve problems on it. The methods for solving problems based on Rela-model are also studied. The general problems on this model are the following: Given some objects and facts on them, determine the closure of set of attributes and facts on the objects or determine an object or consider a relation between the objects. The algorithms to solve problems are designed and their properties, such as finiteness, effectiveness, have also been proved. Besides the solid mathematical foundation, Rela-model also has a simple specification language which can effectively represent the knowledge, thus it can be used in many real situations. Our approach is also applied to build two systems: the intelligent problem solver about solid geometry in high school mathematics, and the expert system to diagnose diseases in diabetic microvascular complication. Nhon V. Do, Hien D. Nguyen 0002, Ali Selamat |
Int. J. Softw. Eng. Knowl. Eng. | 2 |
| 2017 | Intelligent Problem Solver in Education for Discrete MathematicsabstractA grand challenge for artificial intelligence in education is building the Intelligent Problem Solver (IPS) for Science Technology Engineering and Math (STEM) Education. The IPS system has to be able to solve the exercises of the course automatically. It has the following criteria: the knowledge base is sufficient, the program can solve the common exercises in the curriculum of the course based on the knowledge base, the solutions are readable, pedagogical and suitable for the learner's level. Discrete Mathematics is an important course for the undergrad technological curriculum at the university. In this course, knowledge about logic and Boolean algebra is the foundation of logical thinking, it helps students improve their skills in logical reasoning, solving the problems. There are many programs for solving problems in propositional logic and first-order logic; nevertheless, they cannot meet the requirements of a learning support system. In this paper, an IPS system in knowledge domain about logic and Boolean algebra has been proposed. This system satisfies the criteria of the STEM education. It helps students to understand the methods for solving basic and advanced problems: simplify the logical expression in propositional logic, reasoning checking, determine the value or the negative expression of of a logical expression in predicate logic, find the minimization expression of a Boolean function with parameter and non-parameter. In this system, the knowledge base about propositional logic, predicate logic and Boolean algebra at the university for undergraduates has been built based on knowledge model of operators. Via this knowledge base, the inference engine has been designed to solve the kinds of general problems in this knowledge domain. The program has been also tested by the students in University of Information Technology, VNU-HCM. Hien D. Nguyen 0002, Nhon V. Do |
SoMeT | 1 |
| 2013 | Designing an Intelligent Problems Solving System Based on Knowledge about Sample Problems
Nhon V. Do, Hien D. Nguyen 0002, Thanh T. Mai |
ACIIDS (1) | 2 |