Information content of predicate logic formulas

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Information content of predicate logic formulas

Original language description

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.

Czech name

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

Czech description

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.

Type

D - Article in proceedings

CEP classification

JD - Use of computers, robotics and its application

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

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

Article name in the collection

Agrární perspektivy XVI

ISBN

978-80-213-1675-1

ISSN

—

e-ISSN

—

Number of pages

7

Pages from-to

1793-1799

Publisher name

ČZU

Place of publication

Praha

Event location

Praha

Event date

Sep 18, 2007

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—