Knowing and/or believing a think: Deriving knowledge using RDF CFL

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F19%3AA210212D" target="_blank" >RIV/61988987:17310/19:A210212D - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-030-21507-1_10" target="_blank" >http://dx.doi.org/10.1007/978-3-030-21507-1_10</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-21507-1_10" target="_blank" >10.1007/978-3-030-21507-1_10</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Knowing and/or believing a think: Deriving knowledge using RDF CFL

Popis výsledku v původním jazyce

From the web discussion on a difference between knowing and believing, we have chosen in this paper the statements fulfilling enough our seeing the topic, corresponding to our knowledge level of cognitive science. The aim of paper shows one of the capabilities of our Resource Description Framework Clausal Form Logic (RDF CFL) graph language using as an example a well- known Castaněda's puzzle. RDF CFL is an appropriate tool that contains a package of inference methods working especially in closed-worlds that have been developed in the clausal form of first order predicate logics.

Název v anglickém jazyce

Knowing and/or believing a think: Deriving knowledge using RDF CFL

Popis výsledku anglicky

From the web discussion on a difference between knowing and believing, we have chosen in this paper the statements fulfilling enough our seeing the topic, corresponding to our knowledge level of cognitive science. The aim of paper shows one of the capabilities of our Resource Description Framework Clausal Form Logic (RDF CFL) graph language using as an example a well- known Castaněda's puzzle. RDF CFL is an appropriate tool that contains a package of inference methods working especially in closed-worlds that have been developed in the clausal form of first order predicate logics.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10200 - Computer and information sciences

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Lecture Notes in Electrical Engineering

ISBN

978-303021506-4

ISSN

1876-1100

e-ISSN

—

Počet stran výsledku

6

Strana od-do

68-73

Název nakladatele

Springer Verlag

Místo vydání

—

Místo konání akce

Dubrovnik, Croatia

Datum konání akce

26. 9. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—