Intelligent information extraction using logical approach: skolemize clauses binding
This paper is concerned with the problem of generating an automated information extraction in the context of logical knowledge representation, reasoning, and inferential processing. The research focused on Wh types of question to a restricted domain. Here, an existing resolution theorem prover with...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
Universiti Utara Malaysia
2008
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/59736/ http://psasir.upm.edu.my/id/eprint/59736/1/251-256-CR122.pdf |
| _version_ | 1848854004604338176 |
|---|---|
| author | Abdul Kadir, Rabiah Tengku Sembok, Tengku Mohd Badioze Zaman, Halimah |
| author_facet | Abdul Kadir, Rabiah Tengku Sembok, Tengku Mohd Badioze Zaman, Halimah |
| author_sort | Abdul Kadir, Rabiah |
| building | UPM Institutional Repository |
| collection | Online Access |
| description | This paper is concerned with the problem of generating an automated information extraction in the context of logical knowledge representation, reasoning, and inferential processing. The research focused on Wh types of question to a restricted domain. Here, an existing resolution theorem prover with the modification of some components was adapted based on experiments carried out such as: knowledge representation, and automated information answer generation. Based on that, a Pragmatic Skolemize Clauses representation used to represent the semantic formalism for the computational linguistic was designed. The process of reasoning in generating automated information began with the execution of resolution theorem proving. Then, the answer extraction was proceed with skolemize clauses binding approach to continue tracking the relevant semantic relation rules in knowledge base, which contained the answer key in skolem constant form that can be bounded. The complete relevant information is defined as a set of skolemize clauses containing at least one skolem constant that is shared and bound to each other. |
| first_indexed | 2025-11-15T11:02:58Z |
| format | Conference or Workshop Item |
| id | upm-59736 |
| institution | Universiti Putra Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T11:02:58Z |
| publishDate | 2008 |
| publisher | Universiti Utara Malaysia |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | upm-597362018-03-21T06:14:02Z http://psasir.upm.edu.my/id/eprint/59736/ Intelligent information extraction using logical approach: skolemize clauses binding Abdul Kadir, Rabiah Tengku Sembok, Tengku Mohd Badioze Zaman, Halimah This paper is concerned with the problem of generating an automated information extraction in the context of logical knowledge representation, reasoning, and inferential processing. The research focused on Wh types of question to a restricted domain. Here, an existing resolution theorem prover with the modification of some components was adapted based on experiments carried out such as: knowledge representation, and automated information answer generation. Based on that, a Pragmatic Skolemize Clauses representation used to represent the semantic formalism for the computational linguistic was designed. The process of reasoning in generating automated information began with the execution of resolution theorem proving. Then, the answer extraction was proceed with skolemize clauses binding approach to continue tracking the relevant semantic relation rules in knowledge base, which contained the answer key in skolem constant form that can be bounded. The complete relevant information is defined as a set of skolemize clauses containing at least one skolem constant that is shared and bound to each other. Universiti Utara Malaysia 2008 Conference or Workshop Item PeerReviewed text en http://psasir.upm.edu.my/id/eprint/59736/1/251-256-CR122.pdf Abdul Kadir, Rabiah and Tengku Sembok, Tengku Mohd and Badioze Zaman, Halimah (2008) Intelligent information extraction using logical approach: skolemize clauses binding. In: Knowledge Management International Conference 2008 (KMICe 2008), 10-12 June 2008, Langkawi, Kedah. (pp. 251-256). |
| spellingShingle | Abdul Kadir, Rabiah Tengku Sembok, Tengku Mohd Badioze Zaman, Halimah Intelligent information extraction using logical approach: skolemize clauses binding |
| title | Intelligent information extraction using logical approach: skolemize clauses binding |
| title_full | Intelligent information extraction using logical approach: skolemize clauses binding |
| title_fullStr | Intelligent information extraction using logical approach: skolemize clauses binding |
| title_full_unstemmed | Intelligent information extraction using logical approach: skolemize clauses binding |
| title_short | Intelligent information extraction using logical approach: skolemize clauses binding |
| title_sort | intelligent information extraction using logical approach: skolemize clauses binding |
| url | http://psasir.upm.edu.my/id/eprint/59736/ http://psasir.upm.edu.my/id/eprint/59736/1/251-256-CR122.pdf |