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 条

[31] Using contracted solution graphs for solving reconfiguration problems
Bonsma, Paul
Paulusma, Daniel
ACTA INFORMATICA, 2019, 56 (7-8) : 619 - 648
[32] STRATEGIES AND SOLUTION TIMES IN SIMPLE MEDICAL PROBLEMS SOLVING
GROEN, G
DAUPHINEE, D
MCQUEEN, M
BULLETIN OF THE PSYCHONOMIC SOCIETY, 1981, 18 (02) : 66 - 66
[33] A New Solution Method for Solving Transit Assignment Problems
Le Luong Vuong
Tran Duc Quynh
Nguyen Quang Thuan
ADVANCES IN ENGINEERING RESEARCH AND APPLICATION, 2019, 63 : 70 - 76
[34] Numerical solution technique for solving isoperimetric variational problems
Mahdy, A. M. S.
Youssef, E. S. M.
INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 2021, 32 (01):
[35] Numerical Solution of Turbulence Problems by Solving Burgers' Equation
Cordero, Alicia
Franques, Antonio
Torregrosa, Juan R.
ALGORITHMS, 2015, 8 (02) : 224 - 233
[36] FIXED POINT SOLUTION METHODS FOR SOLVING EQUILIBRIUM PROBLEMS
Pham Ngoc Anh
Nguyen Duc Hien
BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY, 2014, 51 (02) : 479 - 499
[37] Using contracted solution graphs for solving reconfiguration problems
Paul Bonsma
Daniël Paulusma
Acta Informatica, 2019, 56 : 619 - 648
[38] A THEORETICAL SOLUTION FOR AXIALLY SYMMETRIC PROBLEMS IN ELASTODYNAMICS
王熙
龚育宁
Acta Mechanica Sinica, 1991, (03) : 275 - 282
[39] College Students Solving Chemistry Problems: A Theoretical Model of Expertise
Taasoobshirazi, Gita
Glynn, Shawn M.
JOURNAL OF RESEARCH IN SCIENCE TEACHING, 2009, 46 (10) : 1070 - 1089
[40] Solving application oriented graph theoretical problems with DNA computing
Halasz, Veronika
Hegedues, Laszlo
Hornyak, Istvan
Nagy, Benedek
PROCEEDINGS OF SEVENTH INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS (BIC-TA 2012), VOL 1, 2013, 201 : 75 - +

← 1 2 3 4 5 →