Translating MFM into FOL: towards plant operation planning.
Shota MotouraKazeto YamamotoShumpei KubosawaTakashi OnishiPublished in: CoRR (2018)
Keyphrases
- power plant
- water treatment
- first order logic
- heuristic search
- knowledge representation
- theorem proving
- nuclear power plant
- control system
- disaster relief
- production processes
- goal oriented
- inference rules
- motion planning
- ai planning
- planning process
- blocks world
- machine learning
- stochastic domains
- databases
- planning problems
- database
- search engine
- case study
- mixed initiative
- database systems
- timed automata
- mobile robot