Logic Artificial intelligence

logic used knowledge representation , problem solving, can applied other problems well. example, satplan algorithm uses logic planning , inductive logic programming method learning.

several different forms of logic used in ai research. propositional or sentential logic logic of statements can true or false. first-order logic allows use of quantifiers , predicates, , can express facts objects, properties, , relations each other. fuzzy logic, version of first-order logic allows truth of statement represented value between 0 , 1, rather true (1) or false (0). fuzzy systems can used uncertain reasoning , have been used in modern industrial , consumer product control systems. subjective logic models uncertainty in different , more explicit manner fuzzy-logic: given binomial opinion satisfies belief + disbelief + uncertainty = 1 within beta distribution. method, ignorance can distinguished probabilistic statements agent makes high confidence.

default logics, non-monotonic logics , circumscription forms of logic designed default reasoning , qualification problem. several extensions of logic have been designed handle specific domains of knowledge, such as: description logics; situation calculus, event calculus , fluent calculus (for representing events , time); causal calculus; belief calculus; , modal logics.