Regular grammars with truth values in lattice-ordered monoid and their languages.
Li ShengYongming LiPublished in: Soft Comput. (2006)
Keyphrases
- truth values
- lattice structure
- context free
- grammatical inference
- linearly ordered
- context free grammars
- mildly context sensitive
- regular languages
- inference rules
- valued logic
- boolean logic
- semantics of logic programs
- grammar induction
- multi valued
- fixpoint
- expressive power
- inductive inference
- databases
- partial order
- tree automata
- first order logic
- programming language
- expert systems
- natural language
- knowledge base