An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$

Abstract

The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency $$\mathsf {mbC}$$ mbC . As a proof-theoretical basis we employ the Socratic proofs method. The system produces abductive hypotheses; these are answers to abductive questions concerning derivability of formulas from sets of formulas. We integrated the generation of and the evaluation of hypotheses via constraints of consistency and significance being imposed on the system rules.

A knowledge graph-based Q and A system for agricultural planting technology

“…Question and answer systems play an important role in smart agriculture. By collecting a large amount of knowledge data and using various technologies such as data mining and analysis and natural language processing, they simulate a procedural system that enables experts in the field to help farmers solve problems off-site and online [1][2]. It is able to guide people in all aspects of agricultural production services for labour production and provide information analysis and decision support services to avoid blindness in the process of planting, processing and production, so as to achieve stable and high yields, improve the safety and quality of crops, increase economic returns and promote the development of modernisation of our agriculture [3][4].…”