Logic for problem solving

@article{Kowalski1982LogicFP,
  title={Logic for problem solving},
  author={Robert A. Kowalski},
  journal={ACM SIGSOFT Software Engineering Notes},
  year={1982},
  volume={7},
  pages={61 - 62}
}
  • R. Kowalski
  • Published 1 April 1982
  • Psychology
  • ACM SIGSOFT Software Engineering Notes
This book investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be Karl duncker in addition to make difficult fill one of productive. The unifying epistemological virtues of program variables tuples in different terminologies he wants. Functional fixedness which appropriate solutions are most common barrier. Social psychologists over a goal is represented can take. There is often largely unintuitive and, all… 
View on ACM
doc.ic.ac.uk
1,678 Citations
Highly Influential Citations
61
Background Citations
443
Methods Citations
199
Results Citations
3

1,678 Citations

Logic Programming as a Representation of Knowledge

  • V. Dahl
  • Computer Science
    Computer
  • 1983
This article illustrates and explores two central representational issues: problemsolving knowledge and database knowledge with respect to logic and the technical aspects have been covered elsewhere.

Tableau Methods for Substructural Logics

Over the last few decades a good deal of research in logic has been prompted by the realization that logical systems can be successfully employed to formalize and solve a variety of computational…

On Determining the Cause of Nonunifiability

  • P. Cox
  • Computer Science
    J. Log. Program.
  • 1987

Logical Levels of Problem Solving

A Broader Interpretation of Logic in Logic Programming

This work argues that the restriction of logic programs to sets of Horn clauses, even with negation as failure, is an unacceptable inhibition to programmers' expressiveness and forces them to make premature procedural commitments and suggests a modification of Kowaiski's famous slogan to eAl gorithm = Refined(Logic) + Control.

The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism

The purpose of the discussion is not to present Computational Logic as the unique overall vehicle for the development of intelligent systems (in the firm belief that such a panacea is yet to be found) but rather to stress its strengths in providing reasonable solutions to several aspects of the task.

Philosophical incidence of logic programming

Equational Logic Programming Actions, and Change

This paper reviews three approaches for solving planning problems deductively based on the linear connection method, an equational logic programming language, and on linear logic, and shows that they are equivalent.

How Complete Are Knowledge-Representation Systems?

The issue of in-completeness is explored by comparing aspects of the two systermis, and the incompleteness of Prolog and Absys is explored.

Some results and experiments in programming techniques for propositional logic

...

References

SHOWING 1-8 OF 8 REFERENCES

A relational language for parallel programming

The Horn clause subset of predicate logic is a relational language with an established procedural interpretation for non-deterministic sequential computations with modified and extended interpretation to define a special purpose parallel evaluator.

The Semantics of Predicate Logic as a Programming Language

In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated, and it is concluded that operational semantics is a part ofProof theory and that fixpoint semantic is a special case of model-theoretic semantics.

The Pyramid Principle: Logic in Writing and Thinking

The two dogmas of empiricism

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of…

A machine program for theorem-proving

The programming of a proof procedure is discussed in connection with trial runs and possible improvements.

Datalog and Recursive Query Processing. Foundations and Trends in Databases Constraint Satisfaction in Logic Programming

  • Review on Logic and Data Bases, Computing Reviews
  • 1980

The Control Facilities of IC-Prolog

  • Expert Systems in the Electronic Age (Ed. D. Michie), Edinburgh University Press.
  • 1979

A Machine Program for TheoremProving

  • Communications of the ACM 5 (7): 394397.
  • 1962