A Bottom-Up Algorithm for Solving Query-Answering Problems

被引：0
|
作者：
Akama, Kiyoshi [1 ]
Nantajeewarawat, Ekawit [2 ]
机构：
[1] Hokkaido Univ, Informat Initiat Ctr, Sapporo, Hokkaido 060, Japan
[2] Thammasat Univ, Comp Sci Program, Sirindhorn Int Inst Technol, Pathum Thani 10200, Thailand
来源：
INFORMATICS ENGINEERING AND INFORMATION SCIENCE, PT II | 2011年 / 252卷
关键词：
Query-answering problems; automated reasoning; bottom-up computation; meaning-preserving Skolemization;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Meaning-preserving Skolemization is essential for development of a correct and efficient method of solving query-answering problems. It requires global existential quantifications of function variables, which in turn require an extension of the space of first-order formulas. This paper proposes a bottom-up algorithm for computing a set of models that sufficiently represents the set of all models of a given clause set in the extended formula space. This algorithm provides a correct method for solving query-answering problems that include unrestricted use of universal and existential quantifications in problem representation.
引用
收藏
页码：299 / +
页数：2
相关论文
共 50 条
  • [1] SOLVING QUERY-ANSWERING PROBLEMS BASED ON EQUIVALENT TRANSFORMATION
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2022, 18 (05): : 1547 - 1558
  • [2] Solving Query-Answering Problems with Constraints for Function Variables
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2018, PT I, 2018, 10751 : 36 - 47
  • [3] Correctness of Solving Query-Answering Problems Using Satisfiability Solvers
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2013), PT I,, 2013, 7802 : 404 - 413
  • [4] Equivalent Transformation in an Extended Space for Solving Query-Answering Problems
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS, PT 1, 2014, 8397 : 232 - 241
  • [5] Solving Query-Answering Problems Using All-Solution Satisfiability Solvers: Algorithm and Correctness
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    2013 THIRD WORLD CONGRESS ON INFORMATION AND COMMUNICATION TECHNOLOGIES (WICT), 2013, : 79 - 84
  • [6] Simplifying Query-Answering Problems by Unfolding
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): COMPUTER VISION AND IMAGE ANALYSIS: PATTERN RECOGNITION AND BASIC TECHNOLOGIES, 2012, 8350
  • [7] Integration of and a Solution for Proof Problems and Query-Answering Problems
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, IC3K 2013, 2015, 454 : 215 - 229
  • [8] Automatic Generation of Efficient Solver for Query-Answering Problems
    He, Songhao
    Akama, Kiyoshi
    Li, Bin
    PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN FUTURE INTERNET (AFIN 2011), 2011, : 114 - 119
  • [9] GENERATION OF SPECIFIC SOLVERS FOR QUERY-ANSWERING PROBLEMS WITH SKOLEM FUNCTIONS
    He, Songhao
    Akama, Kiyoshi
    Li, Bin
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2012, 8 (10A): : 6613 - 6628
  • [10] Query-answering algorithms for information agents
    Levy, AY
    Rajaraman, A
    Ordille, JJ
    PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 40 - 47
12345