Open AccessFuzzy logic, deductive rules of inference and linguistic reasoning on knowledge base
Author(s) -
Nguyễn Cát Hồ
Publication year - 2016
Publication title -
journal of computer science and cybernetics (vietnam academy of science and technology)/journal of computer science and cybernetics
Language(s) - English
Resource type - Journals
eISSN - 2815-5939
pISSN - 1813-9663
DOI - 10.15625/1813-9663/11/3/8150
Subject(s) - deductive reasoning , knowledge base , rule of inference , inference , consistency (knowledge bases) , statement (logic) , computer science , non monotonic logic , base (topology) , truth value , set (abstract data type) , artificial intelligence , natural language processing , proof calculus , mathematics , programming language , linguistics , natural deduction , philosophy , mathematical analysis
In this paper we introduce a notion of knowledge base consisting of statements with truth degree in which every statement may have several truth degrees. A set of rules of inference handling this kind of statements, a deductive reasoning method based on these rules will be considered. The consistency of the knowledge base will be also investigated.