메뉴 건너뛰기




Volumn 153, Issue 1-2, 2004, Pages 287-305

The representation of planning strategies

Author keywords

Commonsense reasoning; Knowledge representation; Knowledge based planning; Mental models; Planning strategies

Indexed keywords

COGNITIVE SYSTEMS; FORMAL LOGIC; INFERENCE ENGINES; PHILOSOPHICAL ASPECTS; PROBLEM SOLVING; SEMANTICS; STRATEGIC PLANNING; THEOREM PROVING;

EID: 1642525285     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2002.11.002     Document Type: Conference Paper
Times cited : (8)

References (13)
  • 1
    • 0025403233 scopus 로고
    • Intention is choice with commitment
    • Cohen P., Levesque H. Intention is choice with commitment. Artificial Intelligence. 42:(3):1990;213-261.
    • (1990) Artificial Intelligence , vol.42 , Issue.3 , pp. 213-261
    • Cohen, P.1    Levesque, H.2
  • 3
    • 0032313946 scopus 로고    scopus 로고
    • The naive physics perplex
    • Davis E. The naive physics perplex. AI Magazine. 19:(4):1998;51-79.
    • (1998) AI Magazine , vol.19 , Issue.4 , pp. 51-79
    • Davis, E.1
  • 4
    • 0021577685 scopus 로고
    • A qualitative physics based on confluences
    • de Kleer J., Brown J. A qualitative physics based on confluences. Artificial Intelligence. 24:1984;7-83.
    • (1984) Artificial Intelligence , vol.24 , pp. 7-83
    • De Kleer, J.1    Brown, J.2
  • 6
    • 2842560201 scopus 로고
    • STRIPS: A new approach to the application of theorem proving to problem solving
    • Fikes R., Nilsson N. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence. 2:1971;189-208.
    • (1971) Artificial Intelligence , vol.2 , pp. 189-208
    • Fikes, R.1    Nilsson, N.2
  • 8
    • 0001782174 scopus 로고
    • The second näve physics manifesto
    • J. Hobbs, & R. Moore. Norwood, NJ: Ablex
    • Hayes P. The second näve physics manifesto. Hobbs J., Moore R. Formal Theories of the Commonsense World. 1985;1-36 Ablex, Norwood, NJ.
    • (1985) Formal Theories of the Commonsense World , pp. 1-36
    • Hayes, P.1
  • 9
    • 0033698818 scopus 로고    scopus 로고
    • The 1998 AI planning systems competition
    • McDermott D. The 1998 AI planning systems competition. AI Magazine. 21:(2):2000;35-55.
    • (2000) AI Magazine , vol.21 , Issue.2 , pp. 35-55
    • Mcdermott, D.1
  • 10
    • 0002921687 scopus 로고
    • GPS: A program that simulates human thought
    • E. Feigenbaum, & J. Feldman. New York: McGraw-Hill
    • Newell A., Simon H. GPS: A program that simulates human thought. Feigenbaum E., Feldman J. Computers and Thought. 1963;279-293 McGraw-Hill, New York.
    • (1963) Computers and Thought , pp. 279-293
    • Newell, A.1    Simon, H.2
  • 11
    • 0033165330 scopus 로고    scopus 로고
    • A commonsense language for reasoning about causation and rational action
    • Ortiz C. A commonsense language for reasoning about causation and rational action. Artificial Intelligence. 111:(2):1999;73-130.
    • (1999) Artificial Intelligence , vol.111 , Issue.2 , pp. 73-130
    • Ortiz, C.1


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