eprintid: 1536
rev_number: 8
eprint_status: archive
userid: 243
dir: disk0/00/00/15/36
datestamp: 2016-05-23 03:29:23
lastmod: 2016-05-23 03:29:53
status_changed: 2016-05-23 03:29:23
type: conference_item
metadata_visibility: show
creators_name: Nguyen, Thi Hong Khanh
creators_name: Ha, Quang Thuy
creators_name: Nguyen, Anh Linh
creators_id: thuyhq@vnu.edu.vn
title: Logic-used Methods Solving Uncertainty and Inconsistency in  
Knowledge Intergration and Applications
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: Working out representation methods for inconsistent knowledge is one of the most important tasks in the Knowledge Integration field. It is the representation structures, which decide the way how a knowledge system collects and processes the conflict knowledge, and thus it influences directly the ability and effectiveness of the system. One effective way to present inconsistent knowledge is using paraconsistent logics. In this paper, I present a case study of several paraconsistent logics that allow representing inconsistency and processing it. In each of these logics I will present the semantic, the proof theory and the applicability. With the aim to develop the representation of inconsistent information in a distributed system, I propose a model of paraconsistent logic for distributed system.
date: 2016-03-26
date_type: published
full_text_status: public
pres_type: poster
event_title: SW4PHD: the 2016 Scientific Workshop for PhD Students
event_location: Hanoi
event_dates: 26 March 2016
event_type: workshop
refereed: TRUE
citation:   Nguyen, Thi Hong Khanh and Ha, Quang Thuy and Nguyen, Anh Linh  (2016) Logic-used Methods Solving Uncertainty and Inconsistency in Knowledge Intergration and Applications.  In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1536/1/NguyenThiHongKhanh_phdposter.pdf