Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Generating Comprehensible… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Generating Comprehensible Explanations in Description Logic

Paper i proceeding
Författare Fredrik Engström
Abdul Rahim Nizamani
Claes Strannegård
Publicerad i 27th International Workshop on Description Logics. Vienna, Austria, July 17-20, 2014
ISSN 1613-0073
Publiceringsår 2014
Publicerad vid Institutionen för tillämpad informationsteknologi (GU)
Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar ceur-ws.org/Vol-1193/
https://gup.ub.gu.se/file/134231
Ämnesord Description logic, Explanations, Justifications
Ämneskategorier Datavetenskap (datalogi), Matematisk logik, Kognitionsforskning

Sammanfattning

We propose a method for generating comprehensible explanations in description logic. Such explanations could be of potential use for e.g. engineers, doctors, and users of the semantic web. Users commonly need to understand why a logical statement follows from a set of hypotheses. Then, automatically generated explanations that are easily understandable could be of help. A proof system for description logic that can be used for generating comprehensible explanations is proposed. Similar systems have been proposed for propositional logic [30] and first-order logic [28].

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?