A Human Oriented Logic for Automatic Theorem-Proving
Journal of the ACM (JACM)
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
Reasoning from Incomplete Knowledge in a Procedural Deduction System
Reasoning from Incomplete Knowledge in a Procedural Deduction System
Flexibility and Efficiency in a Computer Program for Designing Circuits
Flexibility and Efficiency in a Computer Program for Designing Circuits
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Hi-index | 0.00 |
The efficiency of problem-solving computer programs, has suffered from such programs willingness to search problem spaces blindly and their inability to accept new information that would help. A new approach is described, in which the problem solver is driven by a theorem prover which retrieves and chooses among solution plans. The theorem prover can accept new deductive rules expressed in the problem solver's control vocabulary. In this way, the advantages of determinism and extensibility are achieved. A program called NASL embodying this approach has been implemented and applied to the domain of simple electronic circuit design.