Computing General First-Order Parallel and Prioritized Circumscription
Authors: Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang
AAAI 2014 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | Using circuit diagnosis problem and extended stable marriage problem as benchmarks, we compare cfo2lp with a propositional circumscription solver circ2dlp and an ASP solver with complex optimization metasp on efficiency. Experimental results demonstrate that for problems represented by first-order circumscription naturally and intuitively, cfo2lp can compute all solutions over finite structures. |
| Researcher Affiliation | Academia | a School of Software, Sun Yat-sen University, Guangzhou, China wanhai@mail.sysu.edu.cn b School of Information Science and Technology, Sun Yat-sen University, Guangzhou, China c School of Computing, Engineering and Mathematics, University of Western Sydney, Sydney, Australia |
| Pseudocode | No | The paper describes general steps for computation and defines mathematical transformations (Trv, Trs v, Γ), but does not present a formal 'Algorithm' or 'Pseudocode' block. |
| Open Source Code | Yes | We developed a general FO circumscription solver cfo2lp6. cfo2lp. http://ss.sysu.edu.cn/%7ewh/cfo2lp.html |
| Open Datasets | Yes | Using circuit diagnosis problem and extended stable marriage problem as benchmarks, we compare cfo2lp with a propositional circumscription solver circ2dlp and an ASP solver with complex optimization metasp on efficiency. |
| Dataset Splits | No | The paper mentions using 'benchmarks' and 'randomly generated' instances, but does not provide specific details on train/validation/test splits, fold numbers for cross-validation, or how the random generation ensured distinct sets for different phases of evaluation if any. |
| Hardware Specification | Yes | All experiments run on a PC with AMD A10-5800K 3.8GHz CPU on Linux Ubuntu 13.04. |
| Software Dependencies | Yes | All experiments run on a PC with AMD A10-5800K 3.8GHz CPU on Linux Ubuntu 13.04. |
| Experiment Setup | No | The paper states instances were 'randomly generated' and 'computed five times and taken the average,' but lacks specific hyperparameters or other fine-grained system-level settings typically provided in an experimental setup description. |