A Question About the Expressive Power of Higher-Order Logical Reasoning Formalisms.
Posted
by Bubba88
on Stack Overflow
See other posts from Stack Overflow
or by Bubba88
Published on 2010-05-09T18:15:54Z
Indexed on
2010/05/09
18:18 UTC
Read the original article
Hit count: 302
Hi!
I do not really know if this is scientifically proven, but I've read in a book (It was a relatively modern AI book by Peter Norvig) that secon-order logical programming could be more expressive than existing first-order languages.
The question is: Is it statistically/symbolically proven that higher-order predicate logics exceed first-order predicates in their expressive power? Or they just bring the modularity/convenience/maintainability to your knowledge bases?
Additionally: If there is some kind of firm direction in which I could go seeking more expressive power than I have (I mean exactly the descriptive potential of the symbols I write in given semantics/syntax) - then I would be glad to hear just almost everything :)
Thank you.
© Stack Overflow or respective owner