Towards skolemize clauses binding for reasoning in inference engine

Citation

Abdul Kadir, Rabiah and Tengku Sembok, Tengku Mohd and Badioze Zaman, Halimah (2007) Towards skolemize clauses binding for reasoning in inference engine. In: Fifth International Conference on Computational Science and Application (ICCSA 2007), 26-29 Aug. 2007, Kuala Lumpur, Malaysia. (pp. 273-282).

Abstract

The paper presents a reasoning technique for open-domain question answering (QA) system. QA system has attracted more attention to meet information needs providing users with more precise and focused retrieval answers. We proposed a skolemize clauses binding (SCB) for reasoning, along with the theorem proving to provide the basis answer extraction. QA systems employing combination of SCB and resolution theorem proving have been used to provide both satisfying and hypothetical answers. Satisfying answers are associated with ground term corresponding with questions whose logical form contains variables. Hypothetical answer is an answer which comes from the story or plot of text, and required logical thinking because it is not explicitly stated in the knowledge domain. In this case, the answer can be considered as a set of logical formula called skolemize clauses defining sufficient conditions characteristic the tuples of individuals which satisfying the query.

Download File

Preview

PDF (Abstract)
Towards skolemize clauses binding for reasoning in inference engine.pdf
Download (35kB) | Preview

Additional Metadata

Item Type:	Conference or Workshop Item (Paper)
Divisions:	Faculty of Computer Science and Information Technology
DOI Number:	https://doi.org/10.1109/ICCSA.2007.24
Publisher:	IEEE
Keywords:	Skolemize clauses binding (SCB); Question-answering systems; Reading comprehension task; Natural language processing systems
Depositing User:	Nabilah Mustapa
Date Deposited:	04 Aug 2016 07:49
Last Modified:	04 Aug 2016 07:49
Altmetrics:	http://www.altmetric.com/details.php?domain=psasir.upm.edu.my&doi=10.1109/ICCSA.2007.24
URI:	http://psasir.upm.edu.my/id/eprint/48258
Statistic Details:	View Download Statistic

Actions (login required)

View Item