Fangzhen Lin

About

Fangzhen Lin is a leading figure in cognitive robotics and knowledge representation, best known for co-creating GOLOG, a logic programming language for dynamic domains. His seminal 1997 paper on GOLOG, with over 1,000 citations, introduced a framework that allows robots to reason about actions and change using the situation calculus, enabling high-level robot control through declarative specifications. This work, along with his 1994 paper on a logical approach to high-level robot programming, established a rigorous foundation for integrating AI reasoning with robotic behavior. Lin’s research emphasizes formal semantics and effective achievability, as seen in his studies on what robots can accomplish and how to measure plan quality. He proposed domain-independent metrics for evaluating plans, such as A-minimality, to ensure optimal robot behavior. His later work on first-order semantics for GOLOG and ConGOLOG further solidified the theoretical underpinnings of these languages. With a career focused on bridging logic and robotics, Lin’s contributions have profoundly influenced autonomous systems, providing tools for specifying and verifying robot actions in complex environments.

Research Focus

Key Achievements

Top Papers

1. 1
   GOLOG: A logic programming language for dynamic domains

   1,039 citations · 1997
2. 2
   A Logical Approach to High-Level Robot Programming A Progress Report*

   90 citations · 1994
3. 3
   What robots can do: robot programs and effective achievability

   30 citations · 1998
4. 4
   Controlling autonomous robots with Golog

   9 citations · 1997
5. 5
   On Measuring Plan Quality (A Preliminary Report).

   5 citations · 1998
6. 6
   A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations

   3 citations · 2014
7. 7
   On measuring plan quality

   3 citations · 1998

Key Collaborators

Contact & Links