It allows only positive literals in the states, e.g.: A valid sentence in STRIPS is expressed as =>Intelligent^Beautiful.

It makes use of closed-world assumption. (i.e. unmentioned literals are false)

We can only find ground literals in goals. For example: Intelligent^Beautiful.

Goals are conjunctions For eg:(Intelligent^Beautiful)

Effects are conjunctions

Does not support equality.

Do not have support for types.