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 条

[41] Solution of axisymmetric dynamic problems for cylindrical shells on an elastic foundation
Golovko, K. G.
Lugovoi, P. Z.
Meish, V. F.
INTERNATIONAL APPLIED MECHANICS, 2007, 43 (12) : 1390 - 1395
[42] Solution of axisymmetric dynamic problems for cylindrical shells on an elastic foundation
K. G. Golovko
P. Z. Lugovoi
V. F. Meish
International Applied Mechanics, 2007, 43 : 1390 - 1395
[43] Modern State of the Pauli Exclusion Principle and the Problems of Its Theoretical Foundation
Kaplan, Ilya G.
SYMMETRY-BASEL, 2021, 13 (01): : 1 - 17
[44] Ornstein-Zernike equations for highly asymmetric mixtures: confronting the no-solution challenge
Amokrane, S.
Ayadim, A.
Malherbe, J. G.
MOLECULAR PHYSICS, 2006, 104 (22-24) : 3419 - 3424
[45] KANDINSKY AND PROBLEMS OF ABSTRACTION
MACKIE, A
ARTFORUM, 1978, 17 (03): : 58 - 63
[46] Solving Problems with Unknown Solution Length at (Almost) No Extra Cost
Doerr, Benjamin
Doerr, Carola
Koetzing, Timo
GECCO'15: PROCEEDINGS OF THE 2015 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2015, : 831 - 838
[47] Solving Problems with Unknown Solution Length at Almost No Extra Cost
Doerr, Benjamin
Doerr, Carola
Koetzing, Timo
ALGORITHMICA, 2019, 81 (02) : 703 - 748
[48] Role of physiology in solving major problems solution in occupational medicine
Okhnyanskaya, L.G.
Vishnyakova, I.N.
Meditsina Truda I Promyshlennaya Ekologiya, 2001, (02): : 1 - 7
[49] SOLVING PREVIOUSLY FAILED PROBLEMS - EFFECTS OF THE FORM OF SOLUTION FEEDBACK
DOMINOWSKI, RL
BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1987, 40 : A104 - A105
[50] Recommending Solution Paths for Solving Optimization Problems with Quantum Computing
Poggel, Benedikt
Quetschlich, Nils
Burgholzer, Lukas
Wille, Robert
Lorenz, Jeanette Miriam
2023 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE, QSW, 2023, : 60 - 67

← 1 2 3 4 5 →