BRAVE - a parallel logic language for artificial intelligence.
T. J. ReynoldsA. J. BeaumontA. S. K. ChengSergio A. Delgado-RannauroL. A. SpacekPublished in: Future Gener. Comput. Syst. (1988)
Keyphrases
- artificial intelligence
- computational linguistics
- programming language
- dynamic logic
- predicate logic
- artificially intelligent
- computational intelligence
- parallel processing
- formal theory
- expert systems
- intuitionistic logic
- formal logic
- formal language
- logical framework
- proof theory
- human reasoning
- operational semantics
- order sorted
- computational logic
- highly expressive
- linear temporal logic
- shared memory
- machine learning
- knowledge representation
- parallel computing
- intelligent systems
- agent programming
- natural language
- parallel implementation
- predicate calculus
- default logic
- cognitive robotics
- software engineering
- language learning
- natural language processing
- linear logic
- modal operators
- model theoretic
- knowledge representation and reasoning
- classical logic