Change search
ReferencesLink to record
Permanent link

Direct link
Finding out = Achieving Decidability
Number of Authors: 2
1989 (English)Report (Refereed)
Abstract [en]

We present a framework for reasoning about the concepts of "knowing what" and "finding out", in which the key concept is to identify "finding out the answer to question Q" with "achieving a situation in which Q is decidable" . We give examples of how the framework can be used to formulate non-trivial problems involving the construction of plans to acquire and use information, and go on to demonstrate that these problems can often be solved by systematic application of a small set of goal-directed backward-chaining rules. In conclusion, it is suggested that systems of this kind are potentially implementable in l-Prolog, a logic programming language based on higher-order logic.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1989, 1. , 12 p.
SICS Research Report, ISSN 0283-3638 ; R89:16
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14021OAI: diva2:1035304
Original report number R89016.Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(1484 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 1484 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link