Formal systems in Artificial Intelligence: an illustration using semigroup, automata and language theory.
Paul T. HadinghamPublished in: Artif. Intell. Rev. (1990)
Keyphrases
- formal languages
- artificial intelligence
- formal language theory
- formal methods
- intelligent systems
- natural language
- formal language
- mathematical theory
- regular expressions
- cognitive models
- formal theory
- intelligent behavior
- current trends
- general theory
- finite state
- mathematical models
- formal model
- theoretical framework
- computational model
- knowledge based systems
- programming language
- software engineering
- finite state machines
- intelligent agents
- natural language processing
- management system
- expert systems
- information systems