메뉴 건너뛰기




Volumn 4, Issue , 2003, Pages 2004-2008

Twin-subset semantic model for intention

Author keywords

Autonomous Agents; Cognitive Modeling; Intentions; Semantic Model

Indexed keywords

COGNITIVE SYSTEMS; ENGINEERING RESEARCH; FORMAL LOGIC; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; SEMANTICS; SET THEORY;

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

References (15)
  • 2
    • 0025403233 scopus 로고
    • Intention is Choice with Commitment
    • Cohen P R, Levesque H J. Intention is Choice with Commitment. Artificial Intelligence, 1990,42(2-3): 213-261
    • (1990) Artificial Intelligence , vol.42 , Issue.2-3 , pp. 213-261
    • Cohen, P.R.1    Levesque, H.J.2
  • 4
    • 0002032997 scopus 로고
    • A representationalist theory of intention
    • Konolige K, Pollack M E. A representationalist theory of intention. In Proc. IJCAI-93 (1993) 390-395
    • (1993) Proc. IJCAI-93 , pp. 390-395
    • Konolige, K.1    Pollack, M.E.2
  • 8
    • 37949002557 scopus 로고
    • A semantical analysis of modal logic I: Normal modal propositional calculi
    • Kripke S. A semantical analysis of modal logic I: Normal modal propositional calculi. Z. Math. Logik Grundl. Math, 9: 67-96, 1963.
    • (1963) Z. Math. Logik Grundl. Math , vol.9 , pp. 67-96
    • Kripke, S.1
  • 9
    • 0001659535 scopus 로고    scopus 로고
    • A Semantic Interpretation for Agent's Non-normal Modal Operators
    • in Chinese
    • Hu Shan-Li, Shi Chun-Yi. A Semantic Interpretation for Agent's Non-normal Modal Operators. Journal of Computer Research and Development, 1999,36(10): 1153-1157 (in Chinese)
    • (1999) Journal of Computer Research and Development , vol.36 , Issue.10 , pp. 1153-1157
    • Hu, S.-L.1    Shi, C.-Y.2
  • 13
    • 0036879368 scopus 로고    scopus 로고
    • Agent Logic and The True-false Subset Semantics
    • Hu Shan-Li, Shi Chun-Yi. Agent Logic and The True-false Subset Semantics. Journal of Software (in Chinese), 2002,13(11): 2112-2115
    • (2002) Journal of Software (in Chinese) , vol.13 , Issue.11 , pp. 2112-2115
    • Hu, S.-L.1    Shi, C.-Y.2
  • 14
    • 0032156107 scopus 로고    scopus 로고
    • Reaching agreements through argumentation: A logical model and implementation
    • Kraus S, Sycara K, Evenchil A. Reaching agreements through argumentation: A logical model and implementation. Artificial Intelligence, 104: 1-69, 1998
    • (1998) Artificial Intelligence , vol.104 , pp. 1-69
    • Kraus, S.1    Sycara, K.2    Evenchil, A.3


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