Theoretical foundation for solving `no-solution' problems by abstraction

被引：0

作者：

Akama, Kiyoshi ^{[1
,2
,3
,4
,5
]}

Mabuchi, Hiroshi ^{[1
,6
,7
,8
,9
]}

Miyamoto, Eiichi ^{[1
,4
,6
,10
]}

机构：

[1] Hokkaido University, Sapporo, 060-8628, Japan

[2] Tokyo Institute of Technology

[3] Hokkaido University, Faculty of Letters

[4] Faculty of Engineering

[5] Japan. Soc. for Artif. Intelligence, Info. Processing Society of Japan, Japan Cognitive Science Society

[6] Hokkaido University

[7] Tohwa University

[8] Iwate Prefectural University

[9] Japan. Soc. for Artif. Intelligence, Inst. of Elec. Engineers of Japan, Japan Cognitive Science Society

[10] IEEE, Info. Processing Society of Japan, Japan Soc. Software Sci. Technol.

来源：

Systems and Computers in Japan | 2000年 / 31卷 / 01期

关键词：

Computational linguistics - Problem solving;

D O I：

10.1002/(SICI)1520-684X(200001)31:13.0.CO;2-W

中图分类号：

学科分类号：

摘要：

Complicated problems are often solved by simplification into more manageable abstract problems, the solution of which yields information about the original problem. The proposed theory lays a foundation for such a technique to solve `no-solution' problems in logic programming. The new theory is based on the concept of a homomorphism, which maps a concrete logic program into an abstract one. A homomorphism theorem establishes a relationship between the declarative semantics of such programs, which is used to prove the correctness of the proposed abstraction method for `no-solution' problems.

引用

页码：1 / 10

共 50 条

[1] Theoretical foundation for solving search problems by the method of maximum entropy
Prokaev, A. N.
VESTNIK SANKT-PETERBURGSKOGO UNIVERSITETA SERIYA 10 PRIKLADNAYA MATEMATIKA INFORMATIKA PROTSESSY UPRAVLENIYA, 2023, 19 (03): : 348 - 368
[2] The degree of abstraction in solving addition and subtraction problems
Bermejo, Vicente
Diaz, Juan Jose
SPANISH JOURNAL OF PSYCHOLOGY, 2007, 10 (02): : 285 - 293
[3] Solving Constraint Optimization Problems Based on Mathematica and Abstraction
Pan, Guoteng
Li, Mengjun
Ou, Guodong
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 123 - 140
[4] Theoretical analysis and empirical exploration of the change of solution approaches in solving mathematical problems
Heinrich, Frank
JOURNAL FUR MATHEMATIK-DIDAKTIK, 2005, 26 (01): : 90 - 91
[5] Solving Problems: Building a Foundation for Building Decarbonization
McGowan, Mary Kate
ASHRAE Journal, 2022, 64 (03) : 70 - 73
[6] A general theoretical solution for the consolidation of a composite foundation
Xie, Kang-He
Lu, Meng-Meng
Hu, An-Feng
Chen, Guo-Hong
COMPUTERS AND GEOTECHNICS, 2009, 36 (1-2) : 24 - 30
[7] Solving Problems by Drawing Solution Paths
Tanimoto, Steven L.
PROCEEDINGS 2015 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), 2015, : 313 - 314
[8] A theoretical foundation of problem solving by equivalent transformation of negative constraints
Koike, Hidekatsu
Akama, Kiyoshi
Mabuchi, Hiroshi
Okada, Koichi
Shigeta, Yoshinori
Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (04) : 354 - 362
[9] General Ray Method for Solution of Boundary Value Problems for Laplace Type Equations: Theoretical Foundation and Applications
Grebennikov, Alexandre
PROCEEDINGS OF THE 15TH AMERICAN CONFERENCE ON APPLIED MATHEMATICS AND PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL AND INFORMATION SCIENCES 2009, VOLS I AND II, 2009, : 115 - +
[10] A creative solution to problems with foundation construction in karst
Dotson, DW
Tarquinio, FS
SINKHOLES AND THE ENGINEERING AND ENVIRONMENTAL IMPACTS OF KARST, 2003, (122): : 627 - 634

← 1 2 3 4 5 →