Seung Soo Park
Papers
1
Total Citations
3
H-Index
1
About
Seung Soo Park is a pioneering figure in artificial intelligence, whose work has fundamentally shaped the formalization of commonsense reasoning. His key research areas lie at the intersection of modal logic, situation theory, and reflective reasoning, where he has sought to bridge the gap between classical logic and the nuanced, context-dependent nature of human thought. Park’s major contribution is his development of a modal situation logic framework that allows AI systems to reason about knowledge, belief, and changing contexts—a critical step toward creating robots capable of navigating the real world. His seminal 1988 paper, "On formalizing commonsense reasoning using the modal situation logic and reflective reasoning," remains a foundational reference, with 3 citations that underscore its lasting influence on the field. By demonstrating that classical logics are insufficient for capturing the fluidity of everyday reasoning, Park laid the groundwork for more adaptive AI architectures. His work continues to inspire researchers tackling the hardest problems in artificial intelligence, from autonomous agents to human-robot interaction, cementing his legacy as a thinker who dared to formalize the most natural—and elusive—aspects of human cognition.
Research Focus
Key Achievements
Top Papers
- 1