메뉴 건너뛰기




Volumn 21, Issue 5, 2012, Pages

A system to reason about uncertain and dynamic environments

Author keywords

Decision making; multi valued logics; reasoning; temporality; uncertainty

Indexed keywords

COMPLEX DECISION; DYNAMIC DOMAINS; DYNAMIC ENVIRONMENTS; LOGIC SYSTEMS; MULTIVALUED LOGIC; PROBLEM-BASED; PROPOSITIONAL LOGIC; QUERY ANSWERING; REASONING; REASONING SYSTEM; SMART ENVIRONMENT; TEMPORALITY; UNCERTAINTY;

EID: 84868531427     PISSN: 02182130     EISSN: 17936349     Source Type: Journal    
DOI: 10.1142/S0218213012500236     Document Type: Conference Paper
Times cited : (5)

References (46)
  • 2
    • 0003892994 scopus 로고
    • Theoretical Foundations Springer: Berlin
    • L. Bolc, and P. Borowik. Many-Valued Logics. 1. Theoretical Foundations (Springer: Berlin, 1992).
    • (1992) Many-Valued Logics , vol.1
    • Bolc, L.1    Borowik, P.2
  • 4
    • 84868530056 scopus 로고    scopus 로고
    • Many-valued logic
    • eds. D. Jacquette D. Gabbay, P. Thagard, and J. Woods Elsevier B.V., U.K
    • S. Gottwald. Many-valued logic, in Philosophy of Logic, eds. D. Jacquette, D. Gabbay, P. Thagard, and J. Woods (Elsevier B.V., U.K., 2006).
    • (2006) Philosophy of Logic
    • Gottwald, S.1
  • 5
    • 84982559662 scopus 로고
    • On fuzzy logic I: Multiple-valued rules of inference, II: Enriched residuated lattices and semantics of propositional calculi, III: Semantical completeness of some multiplevalued propositional calculi
    • 447-464
    • J. Pavelka. On fuzzy logic I: Multiple-valued rules of inference, II: Enriched residuated lattices and semantics of propositional calculi, III: Semantical completeness of some multiplevalued propositional calculi. Zeitschr. F. Math. Logik und Grundlagend. Math. 25 (1979) 45-52, 119-134, 447-464.
    • (1979) Zeitschr. F. Math. Logik und Grundlagend. Math , vol.25 , Issue.45-52 , pp. 119-134
    • Pavelka, J.1
  • 10
    • 0020849266 scopus 로고
    • Maintaining knowledge about temporal intervals
    • J. Allen. Maintaining knowledge about temporal intervals. CACM 26(11) (1983) 832-843.
    • (1983) CACM , vol.26 , Issue.11 , pp. 832-843
    • Allen, J.1
  • 12
    • 0035575868 scopus 로고    scopus 로고
    • The logical approach to temporal reasoning
    • DOI 10.1023/A:1012551818243
    • J. Augusto. The logical approach to temporal reasoning, Artificial Intelligence Review 16(4) (2001) 301-333. (Pubitemid 33109944)
    • (2001) Artificial Intelligence Review , vol.16 , Issue.4 , pp. 301-333
    • Augusto, J.C.1
  • 13
    • 0037534361 scopus 로고    scopus 로고
    • A general framework for reasoning about change
    • J. Augusto. A general framework for reasoning about change. New Generation Computing 21(3) (2003) 209-247.
    • (2003) New Generation Computing , vol.21 , Issue.3 , pp. 209-247
    • Augusto, J.1
  • 14
    • 32244434396 scopus 로고    scopus 로고
    • Logical consecutions in discrete linear temporal logic
    • DOI 10.2178/jsl/1129642119
    • V. Rybakov. Logical consecutions in discrete linear temporal logic. Journal of Symbolic Logic 70(4) (2005) 1137-1149. (Pubitemid 43212394)
    • (2005) Journal of Symbolic Logic , vol.70 , Issue.4 , pp. 1137-1149
    • Rybakov, V.V.1
  • 15
    • 0033350319 scopus 로고    scopus 로고
    • Fuzzy temporal reasoning model for event correlation in network management
    • E. Aboelela and C. Douligeris. Fuzzy temporal reasoning and model for event correlation in network management. 24th Annual IEEE International Conference on Local Computer Networks (LCN'99) (Lowell, USA, 18-20th October 1999), pp. 150-159. (Pubitemid 30537987)
    • (1999) Conference on Local Computer Networks , pp. 150-159
    • Aboelela Emad1    Douligeris Christos2
  • 16
    • 41049097652 scopus 로고    scopus 로고
    • Temporal reasoning about fuzzy intervals
    • S. Schockaert and M. Cock. Temporal reasoning about fuzzy intervals. Artificial Intelligence 172 (2008) 1158-1193.
    • (2008) Artificial Intelligence , vol.172 , pp. 1158-1193
    • Schockaert, S.1    Cock, M.2
  • 20
    • 33750713058 scopus 로고    scopus 로고
    • A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
    • DOI 10.1016/j.tcs.2006.09.021, PII S0304397506006116
    • Z. Zhang, Y. Sui, C. Cao, and G. Wu. A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. Theoretical Computer Science 368 (2006) 149-160. (Pubitemid 44709426)
    • (2006) Theoretical Computer Science , vol.368 , Issue.1-2 , pp. 149-160
    • Zhang, Z.1    Sui, Y.2    Cao, C.3    Wu, G.4
  • 24
    • 58049166251 scopus 로고    scopus 로고
    • Multi-valued temporal reasoning framework for decision making
    • (Madrid, Spain, 21-24 September 2008) World Scientific Proceedings Series on Computer Engineering and Information Science -1: Computational Intelligence in Decision and Control, eds. D. Ruan, J. Montero et al. (World Scientific)
    • Z. Lu, J. Liu, J. Augusto, and H. Wang. Multi-valued temporal reasoning framework for decision making, Proceedings of the 8th International FLINS Conference on Computational Intelligence in Decision and Control (Madrid, Spain, 21-24 September 2008), in World Scientific Proceedings Series on Computer Engineering and Information Science - Vol. 1: Computational Intelligence in Decision and Control, eds. D. Ruan, J. Montero et al. (World Scientific, 2008), pp. 301-306.
    • (2008) Proceedings of the 8th International FLINS Conference on Computational Intelligence in Decision and Control , pp. 301-306
    • Lu, Z.1    Liu, J.2    Augusto, J.3    Wang, H.4
  • 26
    • 84868515734 scopus 로고    scopus 로고
    • A linguistic truth-valued temporal reasoning system (LTR) and its application to the design of an intelligent environment
    • Atlantis Press
    • Z. Lu, J. Augusto, J. Liu, and H. Wang. A linguistic truth-valued temporal reasoning system (LTR) and its application to the design of an intelligent environment. To appear in International Journal of Computational Intelligence Systems, Atlantis Press (2010).
    • (2010) To Appear in International Journal of Computational Intelligence Systems
    • Lu, Z.1    Augusto, J.2    Liu, J.3    Wang, H.4
  • 29
    • 0002503475 scopus 로고    scopus 로고
    • Approximate reasoning with time
    • PII S0165011497003357
    • S. Raha and K. Ray. Approximate reasoning with time. Fuzzy Sets and Systems 107 (1999) 59-79. (Pubitemid 129524981)
    • (1999) Fuzzy Sets and Systems , vol.107 , Issue.1 , pp. 59-79
    • Raha, S.1    Ray, K.S.2
  • 31
    • 0030201087 scopus 로고    scopus 로고
    • Temporal reasoning for diagnosis in a causal probabilistic knowledge base
    • DOI 10.1016/0933-3657(95)00033-X
    • W. Long. Temporal reasoning for diagnosis in a causal probabilistic knowledge base. Artificial Intelligence in Medicine 8 (1995) 193-215. (Pubitemid 26257410)
    • (1996) Artificial Intelligence in Medicine , vol.8 , Issue.3 , pp. 193-215
    • Long, W.1
  • 38
    • 0343826093 scopus 로고    scopus 로고
    • Fuzzy temporal constraint logic: A valid resolution principle
    • M. Viedma, M. Morales, and I. Sanchez. Fuzzy temporal constraint logic: A valid resolution principle. Fuzzy Sets and Systems 117 (2001) 231-250.
    • (2001) Fuzzy Sets and Systems , vol.117 , pp. 231-250
    • Viedma, M.1    Morales, M.2    Sanchez, I.3
  • 39
    • 0035272188 scopus 로고    scopus 로고
    • A fuzzy temporal notation and its application to specify fault patterns for diagnosis
    • DOI 10.1016/S0167-8655(00)00127-6, PII S0167865500001276
    • G. Palshikar. A fuzzy temporal notation and its application to specify fault patterns for diagnosis. Pattern Recognition Letters 22 (2001) 381-394. (Pubitemid 32376289)
    • (2001) Pattern Recognition Letters , vol.22 , Issue.3-4 , pp. 381-394
    • Palshikar, G.K.1
  • 42
    • 74449092391 scopus 로고    scopus 로고
    • People detection through quantified fuzzy temporal rules
    • M. Mucientes and A. Bugarin. People detection through quantified fuzzy temporal rules. Pattern Recognition 43(4) (2010) 1441-1453.
    • (2010) Pattern Recognition , vol.43 , Issue.4 , pp. 1441-1453
    • Mucientes, M.1    Bugarin, A.2


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