Jump to ContentJump to Main Navigation

You are looking at 1-14 of 14 items

  • Keywords: Prolog x
Clear All Modify Search

View:

Changes of Mind: An Essay on Rational Belief Revision

Neil Tennant

Published in print:
2012
Published Online:
September 2012
ISBN:
9780199655755
eISBN:
9780191742125
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199655755.001.0001
Subject:
Philosophy, Logic/Philosophy of Mathematics, Metaphysics/Epistemology

This account of rational belief revision explains how a rational agent ought to proceed when adopting a new belief — a difficult matter if the new belief contradicts the agent’s old beliefs. Belief ... More


A Prolog Program for Contraction

Neil Tennant

in Changes of Mind: An Essay on Rational Belief Revision

Published in print:
2012
Published Online:
September 2012
ISBN:
9780199655755
eISBN:
9780191742125
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199655755.003.0006
Subject:
Philosophy, Logic/Philosophy of Mathematics, Metaphysics/Epistemology

Here something unusual is done: the chapter states all the details of a Prolog program, for the simplest version of the contraction algorithm. Details of programs are hardly ever disclosed in books ... More


Thinking as Computation: A First Course

Hector J. Levesque

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

This book guides students through an exploration of the idea that thinking might be understood as a form of computation. Students make the connection between thinking and computing by learning to ... More


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: 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


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: 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: 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: 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


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


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


Overt and Covert American Actions In the German Fine Arts

in Capturing the German Eye: American Visual Propaganda in Occupied Germany

Published in print:
2009
Published Online:
March 2013
ISBN:
9780226301693
eISBN:
9780226301716
Item type:
chapter
Publisher:
University of Chicago Press
DOI:
10.7208/chicago/9780226301716.003.0005
Subject:
History, European Modern History

This chapter describes overt and covert American actions in the German fine arts. The discreet and understated combination of overt and covert measures provided a model of intellectual warfare and ... More


View: