Formality vs Informality

Hello! I ve read the paragraph about AI becoming a science and therefore more formal. But somehow I m having the impression that the informal approach to

Message 1 of 1
, Sep 8, 2005

0 Attachment

Hello!
I've read the paragraph about AI becoming a science and therefore more
formal. But somehow I'm having the impression that the informal
approach to problems in AI remains to be more common rather than
the rigorous/proof based style of other fields in computer science.
Don't get me wrong - that isn't meant as a criticism of the book, just
a general impression. (I've encountered other AI books/papers that
afirmed this.)

So where about can AI be found (considering a "formality hierarchy")?
Close to Formal Methods and Analysis of Algorithms, or rather near
fields like Software Engineering?
Maybe someone with more experience than me could comment on this?

regards

Your message has been successfully submitted and would be delivered to recipients shortly.