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 条

[21] The range test and the no response test for Oseen problems: Theoretical foundation
Zia, Qazi Muhammad Zaigham
Potthast, Roland W. E.
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2016, 304 : 201 - 211
[22] Abstraction-based solution of optimal stopping problems under uncertainty
Reissig, Gunther
Rungger, Matthias
2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 3190 - 3196
[23] Electrospinning of Polymers in Solution. Part I: Theoretical Foundation
Costa, Rodrigo G. F.
de Oliveira, Juliano E.
de Paula, Gustavo F.
Picciani, Paulo H. de S.
de Medeiros, Eliton S.
Ribeiro, Caue
Mattoso, Luiz H. C.
POLIMEROS-CIENCIA E TECNOLOGIA, 2012, 22 (02): : 170 - 177
[24] Theoretical solution of ultimate bearing capacity of deep rectangle foundation
Shao, Guojian
Zhou, Xuan
Hu, Feng
Yanshilixue Yu Gongcheng Xuebao/Chinese Journal of Rock Mechanics and Engineering, 2014, 33 : 4305 - 4311
[25] Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems
Pena, Patricia N.
Vilela, Juliana N.
Alves, Michel R. C.
Rafael, Gustavo C.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (01) : 344 - 350
[26] Abstraction based solution of complex attainability problems for decomposable continuous plants
Reissig, Gunther
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 5911 - 5917
[27] Abstraction in problem solving and learning
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
[28] Solving Arbitrary Fully Fuzzy Sylvester Matrix Equations and its Theoretical Foundation
Daud, W. S. W.
Ahmad, N.
Malkawi, G.
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MATHEMATICS, ENGINEERING AND INDUSTRIAL APPLICATIONS 2018 (ICOMEIA 2018), 2018, 2013
[29] Capturing students' abstraction while solving organic reaction mechanism problems across a semester
Weinrich, M. L.
Sevian, H.
CHEMISTRY EDUCATION RESEARCH AND PRACTICE, 2017, 18 (01) : 169 - 190
[30] Mathematical Abstraction in the Solving of Ill-Structured Problems by Elementary School Students in Korea
Hong, Jee Yun
Kim, Min Kyeong
EURASIA JOURNAL OF MATHEMATICS SCIENCE AND TECHNOLOGY EDUCATION, 2016, 12 (02) : 267 - 281

← 1 2 3 4 5 →