메뉴 건너뛰기




Volumn SS-05-04, Issue , 2005, Pages 49-54

Toward a large-scale formal theory of commonsense psychology for metacognition

Author keywords

[No Author keywords available]

Indexed keywords

COMMONSENSE PSYCHOLOGY; LARGE-SCALE FORMALIZATIONS; METACOGNITIVE REASONING;

EID: 27944446671     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (11)

References (13)
  • 2
    • 2842560201 scopus 로고
    • STRIPS: A new approach to the application of theorem proving to problem solving
    • Fikes, R., & Nilsson, N. (1971) STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2:189-208.
    • (1971) Artificial Intelligence , vol.2 , pp. 189-208
    • Fikes, R.1    Nilsson, N.2
  • 4
    • 84960595364 scopus 로고
    • Is justified true belief knowledge?
    • Gettier, E. (1963) Is Justified True Belief Knowledge? Analysis 23: 121-123.
    • (1963) Analysis , vol.23 , pp. 121-123
    • Gettier, E.1
  • 7
    • 11944260358 scopus 로고    scopus 로고
    • Formalizations of commonsense psychology
    • Gordon, A. & Hobbs, J. (2004) Formalizations of Commonsense Psychology. AI Magazine 25: 49-62.
    • (2004) AI Magazine , vol.25 , pp. 49-62
    • Gordon, A.1    Hobbs, J.2
  • 9
    • 26844480287 scopus 로고    scopus 로고
    • Toward a useful concept of causality for lexical semantics
    • in press. To appear
    • Hobbs, J.. (in press) Toward a Useful Concept of Causality for Lexical Semantics. To appear in Journal of Semantics.
    • Journal of Semantics
    • Hobbs, J.1
  • 10
    • 0001870364 scopus 로고
    • A formal theory of knowledge and action
    • J. Hobbs and R. Moore, (eds.), Ablex Publishing Corp., Norwood, New Jersey
    • Moore, R. (1985) A Formal Theory of Knowledge and Action, in J. Hobbs and R. Moore, (eds.) Formal Theories of the Commonsense World, pp. 319-358, Ablex Publishing Corp., Norwood, New Jersey.
    • (1985) Formal Theories of the Commonsense World , pp. 319-358
    • Moore, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.