A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.
Kazumi NakamatsuRyuji IshikawaAtsuyuki SuzukiPublished in: KES (2004)
Keyphrases
- discrete event
- logic programs
- logic programming
- dynamic systems
- simulation model
- answer sets
- stable models
- fixpoint
- answer set programming
- supervisory control
- dynamical systems
- normal logic programs
- inductive logic programming
- prolog programs
- deductive databases
- background knowledge
- nonmonotonic reasoning
- stable model semantics
- general logic programs
- horn clauses
- possibilistic logic
- inside outside algorithm
- reasoning tasks
- inference rules
- mathematical model
- declarative semantics
- knowledge management
- knowledge representation
- loop formulas
- propositional theories
- optimal solution
- logic program updates
- reinforcement learning