A Formal Model for Artificial Intelligence Applications in Automation Systems.
Marvin SchieseckPhilip TopalisLasse Matthias ReinpoldFelix GehlhoffAlexander FayPublished in: CoRR (2024)
Keyphrases
- formal model
- artificial intelligence
- formal models
- security properties
- predicate calculus
- intelligent systems
- software engineering
- cognitive science
- engineering design
- ai systems
- computational intelligence
- ai methods
- cognitive psychology
- computer science
- natural language processing
- knowledge based systems
- information processing
- ambient intelligence
- knowledge representation
- expert systems
- security patterns
- probabilistic knowledge
- fuzzy logic
- information systems