1. Full name: Nguyen Thi Hong Khanh                                                   2. Sex: Female 

3. Date of birth: 25/01/1982                                                                   4. Place of birth: Hai Duong      

5. Admission decision number: 899/QĐ-ĐT dated 08/11/2013.

6. Changes in academic process:

7. Official thesis title: Solving Inconsistency in  Knowledge Integration based on Logic.

8. Major: Information Systems   9. Code: 9480101.01    

10. Supervisors: Assoc. Prof. Ha Quang Thuy and Assoc. Prof. Nguyen Anh Linh

11. Summary of the new findings of the thesis:

The dissertation participates in the world research line on inconsistent processing based on description logics and ability logic according to both tolerance approach and inconsistency elimination. The thesis has the following main contributions:

- Select a type of paraconsistent description logics of four values ​​based on extended ALC description logics; define bidirectional and bidirectional analog simulations based on the paraconsistent description logics, consistent on the logic of the selected extended ALC; speaking and demonstrating the conservation and Hennessy-Milner properties for two-dimensional simulation and bi-directional analogues defined; conceptual math statement in logic describing para-consistency of four values, suggest an approximation algorithm of conceptual math problem in the para-logic describing four values ​​and conducting experiments.

- Select a type of logic describing fuzzy G'odel logical semantics describing fuzzy G'odel semantics (a fuzzy extension of the extended ALC description logic with additional features between inverse roles , identification, quantitative limitations, universal role and local reflectivity of a role; define bi-directional and bi-directional simulations for selected fuzzy description logic; defining and demonstrating the conservation and Hennessy-Milner properties for two-dimensional and two-dimensional simulations defined.

- Proposing a framework for integrating knowledge-based foundations based on the use of inconsistencies as a measure along with trimming operations to build a debate framework for knowledge integration. Introducing a set of necessary propositions, examining and evaluating relevant logical attributes for the framework for knowledge integration.

12. Practical applicability, if any: The results in the thesis can be applied to inconsistent processing in knowledge management systems containing inconsistent knowledge.

13. Further research directions:

In the next time, the PhD student will continue to study the remaining limitations of the thesis, focusing on the following research contents to improve models, inconsistent solutions based on logic:

- Firstly, it is necessary to implement software system illustrating good enough for the theoretical research of the thesis. The content of research and development to build tools and software for knowledge presentation and reasoning related to inconsistencies in some doctoral thesis in the world (surveyed by the dissertation) needs to be carefully investigated. bolder, deeper analysis to learn to apply.

- Second, theoretically, more elaborate studies are needed to further analyze the two-dimensional, two-dimensional, Hennessy-Milner properties and related core properties. with the extended description logics. Research results L.A.Nguyen, A.R. Divroodi and colleagues on two-dimensional simulations, two-dimensional analogy and conceptual learning in description logics need to be further analyzed in order to improve the results of the thesis's published works.

14. Thesis-related publications:

Thi Hong Khanh Nguyen, Quang-Thuy Ha, Trong Hieu Tran. A Learning Method based on Bisimulation in the Inconsistent Knowledge Systems. ICARCV-2018 (Scopus, DBLP).

 Quang-Thuy Ha, Linh Anh Nguyen, Thi Hong Khanh Nguyen and Thanh-Luong Tran. Fuzzy Bisimulations in Fuzzy Description Logics under the Gödel Semantics. IJCRS 2018: 559-572 (Scopus, DBLP).

 Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha. Bisimilarity for paraconsistent description logics. Journal of Intelligent and Fuzzy Systems 32(2): 1203-1215, 2017 (SCIE Journal).

Thi Hong Khanh Nguyen, Trong Hieu Tran, Tran Van Nguyen, Thi Thanh Luu Le. Merging Possibilistic Belief Bases by Argumentation. ACIIDS 2017: 24-34 (Scopus, DBLP).

Quoc Bao Vo, Trong Hieu Tran, Thi Hong Khanh Nguyen. On the Use of Surplus Division to Facilitate Efficient Negotiation in the Presence of Incomplete Information. KES 2016: 295-304 (Scopus, DBLP).

Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha. Bisimilarity for paraconsistent description logics. SMC 2016: 4694-4699 (Scopus, DBLP).

Trong Hieu Tran, Quoc Bao Vo, Thi Hong Khanh Nguyen. On the Belief Merging by Negotiation. KES 2014: 147-155 (Scopus, DBLP).