Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Epistemic reasoning, logic programming, and the interpretation of questions
RISE - Research Institutes of Sweden (2017-2019), ICT, SICS.
RISE., Swedish ICT, SICS, Computer Systems Laboratory.ORCID-id: 0000-0002-4285-101x
1987 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

Reasons are given to support the claim that strong connections exist between linguistic theories on question semantics and work within AI and logic programming. Various ways of assigning denotations to questions are compared, and it is argued that the earlier, "naive" version is to be preferred to more recent developments. It is shown that it is possible to use the chosen denotation to give a model-theoretic semantics for the concept of "knowing what", from which a relationship between "knowing what" and "knowing" can provably be derived. An application to logic programming is described, which allows formal reasoning about what a logic database "knows", this being in a sense a generalization of the Closed World Assumption. Finally, a "knows-what" meta-interpreter in Prolog is demonstrated, and proved to be sound and complete for a certain class of database programs.

Ort, förlag, år, upplaga, sidor
Kista, Sweden: Swedish Institute of Computer Science , 1987, 1. , s. 16
Serie
SICS Research Report, ISSN 0283-3638 ; R87:02
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-22218OAI: oai:DiVA.org:ri-22218DiVA, id: diva2:1041762
Anmärkning

Original report number R87002. Also published in Natural Language Understanding and Logic Programming, II, pp. 301-318. V. Dahl and P. Saint-Dizier, editors, North-Holland Press, 1988.

Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2023-06-08Bibliografiskt granskad

Open Access i DiVA

fulltext(2298 kB)88 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 2298 kBChecksumma SHA-512
572bd270e0ea047458e7270e7b897b2d2744450493271dec7d3a185fa5334be8a8d0b5ea092fe0fffd6fc0e7713bd31ba706e69fbf8df0ac94113f9d057727e9
Typ fulltextMimetyp application/pdf

Person

Janson, Sverker

Sök vidare i DiVA

Av författaren/redaktören
Janson, Sverker
Av organisationen
SICSComputer Systems Laboratory
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 88 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 816 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf