A Formal System of Aristotelian Syllogism Based on Automata Grammar.
Yinsheng ZhangXiaodong QiaoPublished in: CSIE (5) (2009)
Keyphrases
- formal languages
- formal language theory
- formal language
- context free grammars
- finite state automata
- natural language
- finite automata
- context free
- finite state
- grammatical inference
- real time
- regular expressions
- controlled natural language
- pattern languages
- probabilistic logic
- formal models
- mathematical theory
- finite state machines
- production rules
- natural language sentences
- lattice gas
- information systems