A logic-algebraic approach to decision taking in a railway interlocking system.
Antonio HernandoEugenio Roanes-LozanoRoberto Maestre-MartínezJorge TejedorPublished in: Ann. Math. Artif. Intell. (2012)
Keyphrases
- decision making
- computer algebra
- algebraic structure
- logic programming
- decision makers
- decision processes
- classical logic
- decision process
- decision rules
- real time
- modal logic
- decision problems
- higher order
- artificial intelligence
- asynchronous circuits
- mathematical theory
- database
- utility function
- data sets
- deontic logic
- formal theory
- predicate logic
- neural network
- genetic algorithm
- logical framework
- multi valued
- automated reasoning
- theorem proving
- influence diagrams