Jump to ContentJump to Main Navigation

You are looking at 1-10 of 10 items

  • Keywords: Prolog programs x
Clear All Modify Search

View:

The Prolog Language

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0003
Subject:
Computer Science, Artificial Intelligence

This chapter explains how to write computer programs in a language called Prolog. The first section examines the makeup of Prolog programs in detail. The second section does the same for Prolog ... More


Writing Prolog Programs

J. Levesque Hector

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0004
Subject:
Computer Science, Artificial Intelligence

This chapter discusses how to write the sorts of Prolog programs that will be used in the rest of the book. Section 1 examines what it means for a program to be fully correct. Section 4.2 introduces ... More


Case Study: Satisfying Constraints

J. Levesque Hector

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0005
Subject:
Computer Science, Artificial Intelligence

This chapter describes five different constraint satisfaction problems. The first section introduces the idea of constraint satisfaction problems and presents a general way of solving them. Each of ... More


Case Study: Other Ways of Thinking

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0011
Subject:
Computer Science, Artificial Intelligence

This chapter considers other ways of thinking, that is to say, other ways of using what is known. Section 11.1 reexamines back-chaining as the starting point for discussing the other ways of ... More


Case Study: Understanding Natural Language

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0008
Subject:
Computer Science, Artificial Intelligence

This chapter focuses on the sort of thinking required to make sense of expressions in a natural language, that is, a language like English or Italian or Swahili that is spoken naturally by people. ... More


Case Study: Playing Strategic Games

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0010
Subject:
Computer Science, Artificial Intelligence

This chapter focuses on the playing of games with the following characteristics: discrete-move and turn-taking, deterministic, two-person, perfect-information, and zero sum. The first section ... More


Lists in Prolog

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0007
Subject:
Computer Science, Artificial Intelligence

The Prolog symbols in previous chapters were single atomic units: constants, variables, numbers. This chapter considers larger symbolic structures called lists, and some predicates that assemble them ... More


Case Study: Planning Courses of Action

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0009
Subject:
Computer Science, Artificial Intelligence

This chapter focuses on the kind of thinking that involves planning. Section 9.1 discusses two simple but very different planning problems and how the planning process is really the same for both of ... More


Case Study: Interpreting Visual Scenes

J. Levesque Hector

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0006
Subject:
Computer Science, Artificial Intelligence

This chapter applies the idea of constraint satisfaction to a form of thinking that seems much more natural and relaxed: visual interpretation. This is a type of thinking that everyone can do to some ... More


Can Computers Really Think?

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0012
Subject:
Computer Science, Artificial Intelligence

This chapter explores the philosophical question of whether computers can really think. It considers the Turing Test and Searle's Chinese Room argument. It suggests that regardless of one's position ... More


View: