메뉴 건너뛰기




Volumn 11, Issue SUPL., 2003, Pages 105-135

Nonmonotonic reasoning by inhibition nets II

Author keywords

Belief and total belief; Cumulativity; Inhibition networks; KLM90 (Kraus, Lehmann, Magidor); Logic programs; Network semantics; Nonmonotonic reasoning

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATIONAL COMPLEXITY; HIERARCHICAL SYSTEMS; NEURAL NETWORKS; NUMERICAL METHODS; PROBLEM SOLVING; SEMANTICS; TOPOLOGY;

EID: 0346276847     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488503002454     Document Type: Article
Times cited : (7)

References (14)
  • 1
    • 0004950884 scopus 로고
    • Nonmonotonic inferences in neural networks
    • eds. J.A. Allen, R. Fikes, and E. Sandewall, Morgan Kaufmann, San Mateo
    • C. Balkenius and P. Gärdenfors, "Nonmonotonic inferences in neural networks", in Principles of Knowledge Representation and Reasoning, eds. J.A. Allen, R. Fikes, and E. Sandewall (Morgan Kaufmann, San Mateo, 1991) pp. 32-39.
    • (1991) Principles of Knowledge Representation and Reasoning , pp. 32-39
    • Balkenius, C.1    Gärdenfors, P.2
  • 3
    • 0002999704 scopus 로고    scopus 로고
    • Semantics of Logic Programs
    • eds. A. Fuhrmann and H. Rott, de Gruyter, Berlin
    • J. Dix, "Semantics of Logic Programs", in Logic, Action, and Information, eds. A. Fuhrmann and H. Rott (de Gruyter, Berlin, 1996) pp. 241-327.
    • (1996) Logic, Action, and Information , pp. 241-327
    • Dix, J.1
  • 4
    • 0037753879 scopus 로고    scopus 로고
    • Conditional objects, possibility theory and default rules
    • eds. G. Crccco et al., Oxford University Press, Oxford
    • D. Dubois and H. Prade, "Conditional objects, possibility theory and default rules", in Conditionals: From Philosophy to Computer Science, eds. G. Crccco et al. (Oxford University Press, Oxford, 1996) pp. 301-336.
    • (1996) Conditionals: From Philosophy to Computer Science , pp. 301-336
    • Dubois, D.1    Prade, H.2
  • 5
    • 0004969806 scopus 로고
    • How Logic Emerges from the Dynamics of Information
    • eds. J. Van Eijck, A. Visser, The MIT Press, Cambridge
    • P. Gärdenfors, "How Logic Emerges from the Dynamics of Information", in Logic and Information Flow, eds. J. Van Eijck, A. Visser (The MIT Press, Cambridge, 1994) pp. 49-77.
    • (1994) Logic and Information Flow , pp. 49-77
    • Gärdenfors, P.1
  • 6
    • 0025462359 scopus 로고
    • Nonmonotonic reasoning, preferential models and cumulative logics
    • S. Kraus, D. Lehmann, and M. Magidor, "Nonmonotonic reasoning, preferential models and cumulative logics", Artificial Intelligence 44 (1990) 167-207.
    • (1990) Artificial Intelligence , vol.44 , pp. 167-207
    • Kraus, S.1    Lehmann, D.2    Magidor, M.3
  • 7
    • 0035338887 scopus 로고    scopus 로고
    • Nonmonotonic reasoning by inhibition nets
    • H. Leitgeb, "Nonmonotonic reasoning by inhibition nets", Artificial Intelligence 128 (2001) 161-201.
    • (2001) Artificial Intelligence , vol.128 , pp. 161-201
    • Leitgeb, H.1
  • 8
    • 0347601062 scopus 로고    scopus 로고
    • Doctoral Dissertation, University of Salzburg, Salzburg
    • H. Leitgeb, Inference on the Low Level (Doctoral Dissertation, University of Salzburg, Salzburg, 2001).
    • (2001) Inference on the Low Level
    • Leitgeb, H.1
  • 9
    • 84887040610 scopus 로고    scopus 로고
    • New Results on the Network Semantics for Cumulative Systems of Nonmonotonic Reasoning
    • H. Leitgeb, "New Results on the Network Semantics for Cumulative Systems of Nonmonotonic Reasoning", Informatikbenchte 287-8 (2001) 37-52.
    • (2001) Informatikbenchte , vol.287 , Issue.8 , pp. 37-52
    • Leitgeb, H.1
  • 10
    • 0025403234 scopus 로고
    • All I know: A study in autoepistemic logic
    • H. Levesque, "All I know: a study in autoepistemic logic", Artificial Intelligence 42 (1990) 263-309.
    • (1990) Artificial Intelligence , vol.42 , pp. 263-309
    • Levesque, H.1
  • 11
    • 0001991208 scopus 로고    scopus 로고
    • Foundations of Logic Programming
    • ed. G. Brewka, CSLI, Stanford
    • V. Lifschitz, "Foundations of Logic Programming", in Principles of Knowledge Representation, ed. G. Brewka (CSLI, Stanford, 1996) pp. 69-127.
    • (1996) Principles of Knowledge Representation , pp. 69-127
    • Lifschitz, V.1
  • 12
    • 0003093745 scopus 로고
    • General Patterns in Nonmonotonic Reasoning
    • eds. D.M. Gabbay, C.J. Hogger, and J.A. Robinson, Clarendon Press, Oxford
    • D. Makinson, "General Patterns in Nonmonotonic Reasoning", in Handbook of Logic in Artificial Intelligence and Logic Programming 3, eds. D.M. Gabbay, C.J. Hogger, and J.A. Robinson (Clarendon Press, Oxford, 1994) pp. 35-110.
    • (1994) Handbook of Logic in Artificial Intelligence and Logic Programming 3 , vol.3 , pp. 35-110
    • Makinson, D.1


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