Abstract | ||
---|---|---|
We study learning of predicate logics formulas from ''elementary facts,'' i.e. from the values of the predicates in the given model. Several models of learning are considered, but most of our attention is paid to learning with belief levels. We propose an axiom system which describes what we consider to be a human scientist's natural behavior when trying to explore these elementary facts. It is proved that no such system can be complete. However we believe that our axiom system is ''practically'' complete. Theorems presented in the paper in some sense confirm our hypothesis. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.jcss.2007.06.007 | J. Comput. Syst. Sci. |
Keywords | Field | DocType |
belief levels,learning,axiom systems,elementary fact,completeness,belief level,axiom system,inductive inference,natural behavior,predicate logics formula,human scientist | Inductive reasoning,Action axiom,Combinatorics,Axiom,Predicate (grammar),Completeness (statistics),Mathematics | Journal |
Volume | Issue | ISSN |
74 | 4 | Journal of Computer and System Sciences |
Citations | PageRank | References |
0 | 0.34 | 12 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Janis Barzdins | 1 | 199 | 35.69 |
Rūsiņš Freivalds | 2 | 249 | 20.26 |
Carl H. Smith | 3 | 1 | 0.69 |