Rule-based systems in certain environments

2 main modules

→ KB - knowledge base

• specific information
• → IE - inference engine

Knowledge Base

Content

• information about the domain
• required information for problem solving
• set of sentences that describe an environment

Typology

• perfect knowledge
• imperfect knowledge - not-exactly, incomplete, non-measurable

Knowledge representation

• formal logic
• rules
• semantic nets

Logic Based Systems

Explore a lot of information for obtaining conclusions about difficult activities by using methods of formal logic. Composed of language and deduction method.