Show simple item record

dc.contributor.advisorCarpenter, Richard N., 1937-2018
dc.contributor.authorArthur, Kenneth W.
dc.date.accessioned2012-03-01T15:55:18Z
dc.date.available2012-03-01T15:55:18Z
dc.date.issued1987
dc.identifier.urihttp://hdl.handle.net/10920/25300
dc.description129 p.en_US
dc.description.abstractThe study of logic has made two important contributions to computer science in general and artificial intelligence in particular. These contributions are logical programming languages and automated reasoning. This paper will introduce both areas. The first section will introduce some appropriate concepts of logic. The next two sections will provide a discussion of predicate calculus, which provides the formal language needed to express problems, and a discussion of the resolution principle, which is the basis of the deduction process. Then, the paper will take a side journey into PROLOG (PROgramming in LOGic) and conclude with a discussion of a program developed at Argonne National Laboratory to aid in the research of automated reasoning.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen_US
dc.relation.ispartofSenior Individualized Projects. Computer Science.
dc.relation.ispartofKalamazoo College Computer Science Senior Individualized Projects Collection
dc.rightsU.S. copyright laws protect this material. Commercial use or distribution of this material is not permitted without prior written
dc.titleLogic and some Applications to Computer Scienceen_US
dc.typeThesisen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • Computer Science Senior Integrated Projects [250]
    This collection includes Senior Integrated Projects (SIP's) completed in the Computer Science Department. Abstracts are generally available to the public, but PDF files are available only to current Kalamazoo College students, faculty, and staff.

Show simple item record