主要探討一個理性的主體如何獲取知識，如何以邏輯方法表達其知識，並經由邏輯推理做出決策及採取行動的過程。特別是在資訊不充分及不完全的環境下，其邏輯推理的合理性標準如何建立，是我們最感興趣的課題。
就技術層面而言，我們主要的一部份工作在於不同的不準度推理邏輯之性質的研究，像是模糊邏輯，可能邏輯，樣態邏輯，條件邏輯，及非單調邏輯等等。另外，我們也試著為這些不同的邏輯提出一個一致的架構。
近來，我們也著重於智慧型助理軟體邏輯性質之探討。包括了知態推理，道德推理與偏好推理等不同的邏輯系統，並以此為基礎討論智慧型助理軟體的一些特性。