Informační obsah formulí predikátové logiky

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60460709%3A41110%2F07%3A19967" target="_blank" >RIV/60460709:41110/07:19967 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Information content of predicate logic formulas

Popis výsledku v původním jazyce

Information content of knowledge stated in predicate logic is pursued. To behave efficiently in the surrounding world means to have a good approximation of the true probability distribution of its states p. Therefore a set of valid formulas enabling to estimate p is more ?informative?, the more accurate this estimate is. Knowing that a set of formulas is valid leads to the refinement of the present estimate q to a new and more accurate estimate q´. The difference between the value of information divergence of distributions p and q and the value of the information divergence of distributions p and q´ is a natural measure of information content of the considered set of valid formulas.

Název v anglickém jazyce

Information content of predicate logic formulas

Popis výsledku anglicky

Information content of knowledge stated in predicate logic is pursued. To behave efficiently in the surrounding world means to have a good approximation of the true probability distribution of its states p. Therefore a set of valid formulas enabling to estimate p is more ?informative?, the more accurate this estimate is. Knowing that a set of formulas is valid leads to the refinement of the present estimate q to a new and more accurate estimate q´. The difference between the value of information divergence of distributions p and q and the value of the information divergence of distributions p and q´ is a natural measure of information content of the considered set of valid formulas.

Druh

D - Stať ve sborníku

CEP obor

JD - Využití počítačů, robotika a její aplikace

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

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

Agrární perspektivy XVI

ISBN

978-80-213-1675-1

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

1793-1799

Název nakladatele

ČZU

Místo vydání

Praha

Místo konání akce

Praha

Datum konání akce

18. 9. 2007

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

WRD - Celosvětová akce

Kód UT WoS článku

—