Jan Antonius Cornelius Derksen

Papers

Total Citations

112

H-Index

About

Jan Antonius Cornelius Derksen is a pioneering figure in artificial intelligence, best known for his foundational work in automated reasoning and problem-solving languages. His primary research areas include procedural calculus, robot planning, theorem proving, and automatic program synthesis. Derksen’s most significant contribution is the development of QA4, a procedural calculus for intuitive reasoning that integrates an omega-order logic language with canonical composition and associative retrieval. This system, detailed in his highly cited 1972 report (71 citations), was designed to facilitate the construction of problem-solving systems for robot planning, theorem proving, and automatic program verification. His 1971 paper "A Language for Writing Problem-solving Programs" (26 citations) further advanced the field by introducing a language capable of manipulating ordered and unordered sets, with pattern matching and implicit backtracking. Derksen’s 1972 application of QA4 to robot planning (15 citations) demonstrated the practical utility of his work, showcasing how these features could solve simple robot problems. His contributions laid essential groundwork for later developments in AI planning and automated reasoning, influencing generations of researchers in symbolic AI and knowledge representation.