You need JavaScript to view this

Inference rule and problem solving

Journal Article:

Abstract

Intelligent information processing signifies an opportunity of having man's intellectual activity executed on the computer, in which inference, in place of ordinary calculation, is used as the basic operational mechanism for such an information processing. Many inference rules are derived from syllogisms in formal logic. The problem of programming this inference function is referred to as a problem solving. Although logically inference and problem-solving are in close relation, the calculation ability of current computers is on a low level for inferring. For clarifying the relation between inference and computers, nonmonotonic logic has been considered. The paper deals with the above topics. 16 references.
Authors:
Publication Date:
Apr 01, 1982
Product Type:
Journal Article
Reference Number:
EDB-86-007434
Resource Relation:
Journal Name: J. Inst. Elect. Communic. Eng. Jp.; (Japan); Journal Volume: 4
Subject:
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; ARTIFICIAL INTELLIGENCE; PROGRAMMING; COMPUTERS; DATA PROCESSING; PROCESSING; 990200* - Mathematics & Computers
OSTI ID:
6483267
Research Organizations:
Yokosuka Electrical Communication Lab., Yokosuka, Japan
Country of Origin:
Japan
Language:
Japanese
Other Identifying Numbers:
Journal ID: CODEN: IECJA
Submitting Site:
HEDB
Size:
Pages: 379-385
Announcement Date:

Journal Article:

Citation Formats

Goto, S. Inference rule and problem solving. Japan: N. p., 1982. Web.
Goto, S. Inference rule and problem solving. Japan.
Goto, S. 1982. "Inference rule and problem solving." Japan.
@misc{etde_6483267,
title = {Inference rule and problem solving}
author = {Goto, S}
abstractNote = {Intelligent information processing signifies an opportunity of having man's intellectual activity executed on the computer, in which inference, in place of ordinary calculation, is used as the basic operational mechanism for such an information processing. Many inference rules are derived from syllogisms in formal logic. The problem of programming this inference function is referred to as a problem solving. Although logically inference and problem-solving are in close relation, the calculation ability of current computers is on a low level for inferring. For clarifying the relation between inference and computers, nonmonotonic logic has been considered. The paper deals with the above topics. 16 references.}
journal = {J. Inst. Elect. Communic. Eng. Jp.; (Japan)}
volume = {4}
journal type = {AC}
place = {Japan}
year = {1982}
month = {Apr}
}