ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

Proving self-utterances (1987)

Miller, Michael ; Perlis, Donald

Springer

Journal of automated reasoning 3 (1987), S. 329-338

add to mindlist on the mindlist

Details

ISSN: 1573-0670

Keywords: Indexicals ; knowledge representation ; first-order logic ; situated logic ; utterances

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract We study the Knights and Knaves problem, and find that for a proper treatment via theorem-proving, an interaction with natural language processing research is helpful. In particular, we discuss Ohlbach's claim that first-order logic is not well suited to handling this problem. Then we provide an interpretation of the problem using indexicals, axiomatize it, and prove the desired result. We conclude by suggesting a broader context for dealing with ‘self-utterances’ in automatic theorem-proving.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF00243796

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit