Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 874779

Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning


Šekrst, Kristina
Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning // Formal Methods and Science in Philosophy
Dubrovnik, Hrvatska, 2017. (predavanje, međunarodna recenzija, sažetak, znanstveni)


CROSBI ID: 874779 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning

Autori
Šekrst, Kristina

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Skup
Formal Methods and Science in Philosophy

Mjesto i datum
Dubrovnik, Hrvatska, 4.-6.5.2017

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
justification logic, logic of proofs, evidentiality, machine learning

Sažetak
Evidentiality is a grammatical category in which the speaker is obligated to state the evidence for his statement, otherwise the statement is ungrammatical. One can use justification logic – that unfolds modalities into justification terms – to formalize inferential rules in such languages. It will be shown how justification logic can be used to formalize indirect evidentiality, that lie on speaker’s background knowledge or inference, unlike direct evidentials that depend on sensory perception. Hence, it will be shown how justification logic axiomatization of such examples can be used in theoretical computer science, where such abstract notions can be processed in machine learning of rules and concepts in natural language.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo, Filozofija



POVEZANOST RADA


Projekt / tema
HRZZ-IP-2014-09-9378 - Logika, pojmovi i komunikacija

Ustanove
Institut za filozofiju, Zagreb

Citiraj ovu publikaciju

Šekrst, Kristina
Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning // Formal Methods and Science in Philosophy
Dubrovnik, Hrvatska, 2017. (predavanje, međunarodna recenzija, sažetak, znanstveni)
Šekrst, K. (2017) Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning. U: Formal Methods and Science in Philosophy.
@article{article, author = {\v{S}ekrst, K.}, year = {2017}, keywords = {justification logic, logic of proofs, evidentiality, machine learning}, title = {Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning}, keyword = {justification logic, logic of proofs, evidentiality, machine learning}, publisherplace = {Dubrovnik, Hrvatska} }