Machine learning and logic: a new frontier in artificial intelligence.
Vijay GaneshSanjit A. SeshiaSomesh JhaPublished in: Formal Methods Syst. Des. (2022)
Keyphrases
- artificial intelligence
- machine learning
- human reasoning
- computational intelligence
- knowledge representation
- computer science
- intelligent systems
- natural language processing
- pattern recognition
- computational logic
- predicate logic
- machine learning methods
- classical logic
- computational linguistics
- knowledge representation and reasoning
- knowledge acquisition
- computer vision
- support vector machine
- expert systems
- machine learning approaches
- knowledge engineering
- machine learning algorithms
- software engineering
- learning tasks
- automated reasoning
- multi valued
- modal logic
- fuzzy logic
- intelligent agents
- logic programming
- defeasible logic
- human learning
- speech processing
- learning algorithm
- data sets
- inductive learning
- inductive logic programming
- text classification
- supervised learning
- cognitive psychology
- learning systems
- scientific discovery
- semi supervised learning
- active learning
- asynchronous circuits
- semi supervised