Tractable Inquiry in Information-Rich Environments
Authors: Barbara Dunin-Kęplicz, Alina Strachocka
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper we provide a paraconsistent and paracomplete implementation of inquiry dialogue under realistic assumptions regarding availability and quality of information. Various strategies for dealing with unsure and inconsistent information are analyzed. The corresponding dialogue outcomes are further evaluated against the (paraconsistent and paracomplete) distributed beliefs of the group. A specific 4-valued logic underpins the presented framework. Thanks to the qualities of the implementation tool: a rule-based query language 4QL, our solution is both expressive and tractable.The main result of this research concerns soundness and completeness of the open-minded inquiry strategy (Theorem 4). |
| Researcher Affiliation | Academia | Barbara Dunin-Ke plicz, Alina Strachocka Institute of Informatics, University of Warsaw Banacha 2, 02-097 Warsaw, Poland keplicz,astrachocka@mimuw.edu.pl |
| Pseudocode | No | The paper defines logical systems and operations but does not include structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper states: 'Open-source implementation of 4QL is available at 4ql.org.' However, this refers to the 4QL tool they used, not their specific inquiry dialogue system implementation described in the paper. |
| Open Datasets | No | The paper is theoretical and does not conduct experiments on datasets, therefore no dataset access information is provided. |
| Dataset Splits | No | The paper is theoretical and does not conduct experiments on datasets, therefore no validation split information is provided. |
| Hardware Specification | No | The paper is theoretical and does not report on experiments requiring specific hardware specifications. |
| Software Dependencies | No | The paper mentions using '4QL a DATALOG-like four-valued rule-based query language' and cites papers for its underlying logical language, but does not specify version numbers for any software dependencies directly related to the authors' implementation. |
| Experiment Setup | No | The paper is theoretical and does not describe an experimental setup with hyperparameters or training settings. |