An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation.
Kazumi NakamatsuYoshio MitaTadashi ShibataPublished in: Intell. Autom. Soft Comput. (2007)
Keyphrases
- hardware implementation
- logic programs
- control system
- logic programming
- answer sets
- stable models
- fixpoint
- efficient implementation
- answer set programming
- normal logic programs
- signal processing
- inside outside algorithm
- prolog programs
- field programmable gate array
- inductive logic programming
- background knowledge
- deductive databases
- computational properties
- image processing algorithms
- general logic programs
- extended logic programs
- reasoning about actions
- stable model semantics
- declarative semantics
- general purpose
- existentially quantified
- logic program updates
- horn clauses
- real time