／var／logmarcus chiu

Logic

Created on

logic is the study of Reasoning (Argument) and the reasoning conducted or assessed according to strict principles of validity

for logic programming languages: Logical Programming Languages

Representing Logic

Languages or Logic Classes are formulations of logic that represents knowledge and reasoning capabilities

components of a Formal Logical System:

  • well-defined syntax - set of lexicons
  • semantics - what syntax means
  • proof theory (inference engine) - says what can be inferred. thus producing new knowledge

knowledge is represented with the components: syntax and semantics

reasoning capabilities are dependent on the inference engine component used

Link to original

Subpages