An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems.
Hendrik KauschMathias PfeifferDeni RacoBernhard RumpePublished in: Software Engineering (Workshops) (2020)
Keyphrases
- automated reasoning
- knowledge representation
- safety critical
- cyber physical systems
- embedded systems
- formal methods
- low cost
- fault tolerant
- physical world
- agent architecture
- artificial intelligence
- expert systems
- knowledge based systems
- support systems
- probabilistic reasoning
- natural language
- knowledge base
- cyber security
- machine learning
- knowledge acquisition
- software systems
- logic programming
- real time
- first order logic
- smart home
- mobile agents
- decision support system
- decision makers
- cooperative