A logic approach to decision taking in a railway interlocking system using Maple.
Eugenio Roanes-LozanoAntonio HernandoJosé-Antonio AlonsoLuis M. LaitaPublished in: Math. Comput. Simul. (2011)
Keyphrases
- decision making
- decision makers
- predicate logic
- modal logic
- classical logic
- decision rules
- decision processes
- asynchronous circuits
- automated reasoning
- multi valued
- computational properties
- natural deduction
- neural network
- linear logic
- abductive reasoning
- logical framework
- probability theory
- decision process
- decision problems
- logic programming
- genetic algorithm