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

Filed under:
|
|

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

Related posts about logic

Related posts about predicate