메뉴 건너뛰기




Volumn 24, Issue 1-4, 1998, Pages 225-248

Nonmonotonic reasoning with multiple belief sets

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0032236025     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018909517931     Document Type: Article
Times cited : (5)

References (42)
  • 1
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet contraction and revision functions
    • C.E. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.
    • (1985) J. Symbolic Logic , vol.50 , pp. 510-530
    • Alchourrón, C.E.1    Gärdenfors, P.2    Makinson, D.3
  • 5
    • 0041303237 scopus 로고    scopus 로고
    • Development of an ecological decision support system
    • Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE '98, eds. A.P. del Pobil, J. Mira and M. Ali, Springer, Berlin
    • F. van Beusekom, F.M.T. Brazier, P. Schipper and J. Treur, Development of an ecological decision support system, in: Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE '98, eds. A.P. del Pobil, J. Mira and M. Ali, Lecture Notes in Artificial Intelligence, Vol. 1416 (Springer, Berlin, 1998) pp. 815-825.
    • (1998) Lecture Notes in Artificial Intelligence , vol.1416 , pp. 815-825
    • Van Beusekom, F.1    Brazier, F.M.T.2    Schipper, P.3    Treur, J.4
  • 6
    • 0011653221 scopus 로고    scopus 로고
    • Analysis of multi-interpretable ecological monitoring information
    • Applications of Uncertainty Formalisms, eds. A. Hunter and S. Parsons, Springer, Berlin
    • F.M.T. Brazier, J. Engelfriet and J. Treur, Analysis of multi-interpretable ecological monitoring information, in: Applications of Uncertainty Formalisms, eds. A. Hunter and S. Parsons, Lecture Notes in Artificial Intelligence, Vol. 1455 (Springer, Berlin, 1998) pp. 303-324.
    • (1998) Lecture Notes in Artificial Intelligence , vol.1455 , pp. 303-324
    • Brazier, F.M.T.1    Engelfriet, J.2    Treur, J.3
  • 8
    • 85028463688 scopus 로고
    • Adding priorities and specificity to default logic
    • Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Springer, Berlin
    • G. Brewka, Adding priorities and specificity to default logic, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 247-260.
    • (1994) Lecture Notes in Artificial Intelligence , vol.838 , pp. 247-260
    • Brewka, G.1
  • 9
    • 0042304848 scopus 로고
    • Working paper, NTZ-Report 7/94, Department of Computer Science, University of Leipzig, Germany
    • J. Dietrich, Deductive bases of nonmonotonic inference operations, Working paper, NTZ-Report 7/94, Department of Computer Science, University of Leipzig, Germany (1994).
    • (1994) Deductive Bases of Nonmonotonic Inference Operations
    • Dietrich, J.1
  • 10
    • 0042304859 scopus 로고
    • Working paper, NTZ-Report 5/94, Department of Computer Science, University of Leipzig, Germany
    • J. Dietrich and H. Herre, Outline of nonmonotonic model theory, Working paper, NTZ-Report 5/94, Department of Computer Science, University of Leipzig, Germany (1994).
    • (1994) Outline of Nonmonotonic Model Theory
    • Dietrich, J.1    Herre, H.2
  • 11
    • 0010317071 scopus 로고
    • Reasoning with parsimonious and moderately grounded expansions
    • T. Eiter and G. Gottlob, Reasoning with parsimonious and moderately grounded expansions, Fund. Inform. 17 (1992) 31-53.
    • (1992) Fund. Inform. , vol.17 , pp. 31-53
    • Eiter, T.1    Gottlob, G.2
  • 12
    • 84957368670 scopus 로고
    • Nonmonotonic belief state frames and reasoning frames
    • Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '95, eds. C. Froidevaux and J. Kohlas, Springer, Berlin
    • J. Engelfriet, H. Herre and J. Treur, Nonmonotonic belief state frames and reasoning frames, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '95, eds. C. Froidevaux and J. Kohlas, Lecture Notes in Artificial Intelligence, Vol. 946 (Springer, Berlin, 1995) pp. 189-196.
    • (1995) Lecture Notes in Artificial Intelligence , vol.946 , pp. 189-196
    • Engelfriet, J.1    Herre, H.2    Treur, J.3
  • 13
    • 84947930138 scopus 로고    scopus 로고
    • Nonmonotonic reasoning with multiple belief sets
    • Practical Reasoning, Proceedings FAPR '96, eds. D.M. Gabbay and H.J. Ohlbach, Springer, Berlin
    • J. Engelfriet, H. Herre and J. Treur, Nonmonotonic reasoning with multiple belief sets, in: Practical Reasoning, Proceedings FAPR '96, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 331-344.
    • (1996) Lecture Notes in Artificial Intelligence , vol.1085 , pp. 331-344
    • Engelfriet, J.1    Herre, H.2    Treur, J.3
  • 14
    • 84955607175 scopus 로고    scopus 로고
    • Infinitary default logic for specification of nonmonotonic reasoning
    • Logics in Artificial Intelligence, Proceedings JELIA '96, eds. J.J. Alferes, L.M. Pereira and E. Orlowska, Springer, Berlin
    • J. Engelfriet, V.W. Marek, J. Treur and M. Truszczynski, Infinitary default logic for specification of nonmonotonic reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA '96, eds. J.J. Alferes, L.M. Pereira and E. Orlowska, Lecture Notes in Artificial Intelligence, Vol. 1126 (Springer, Berlin, 1996) pp. 224-236.
    • (1996) Lecture Notes in Artificial Intelligence , vol.1126 , pp. 224-236
    • Engelfriet, J.1    Marek, V.W.2    Treur, J.3    Truszczynski, M.4
  • 15
    • 0011606388 scopus 로고
    • A temporal model theory for default logic
    • Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '93, eds. M. Clarke, R. Kruse and S. Moral, Springer, New York
    • J. Engelfriet and J. Treur, A temporal model theory for default logic, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '93, eds. M. Clarke, R. Kruse and S. Moral, Lecture Notes in Computer Science, Vol. 747 (Springer, New York, 1993) pp. 91-96. A fully revised and extended version appeared as: An interpretation of default logic in minimal temporal epistemic logic, J. Logic Language Inform. 7 (1998) 369-388.
    • (1993) Lecture Notes in Computer Science , vol.747 , pp. 91-96
    • Engelfriet, J.1    Treur, J.2
  • 16
    • 54649083637 scopus 로고    scopus 로고
    • An interpretation of default logic in minimal temporal epistemic logic
    • J. Engelfriet and J. Treur, A temporal model theory for default logic, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU '93, eds. M. Clarke, R. Kruse and S. Moral, Lecture Notes in Computer Science, Vol. 747 (Springer, New York, 1993) pp. 91-96. A fully revised and extended version appeared as: An interpretation of default logic in minimal temporal epistemic logic, J. Logic Language Inform. 7 (1998) 369-388.
    • (1998) J. Logic Language Inform. , vol.7 , pp. 369-388
  • 17
    • 0011597246 scopus 로고
    • Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Springer, Berlin
    • J. Engelfriet and J. Treur, Temporal theories of reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 279-299. Also in: J. Appl. Non-Classical Logics 5(2) (1995) 239-261.
    • (1994) Lecture Notes in Artificial Intelligence , vol.838 , pp. 279-299
    • Engelfriet, J.1    Treur, J.2    Reasoning, T.T.O.3
  • 18
    • 84947855143 scopus 로고
    • J. Engelfriet and J. Treur, Temporal theories of reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 279-299. Also in: J. Appl. Non-Classical Logics 5(2) (1995) 239-261.
    • (1995) J. Appl. Non-Classical Logics , vol.5 , Issue.2 , pp. 239-261
  • 19
    • 84947917477 scopus 로고    scopus 로고
    • Specification of nonmonotonic reasoning
    • Practical Reasoning, Proceedings FAPR '96, eds. D.M. Gabbay and H.J. Ohlbach, Springer, Berlin
    • J. Engelfriet and J. Treur, Specification of nonmonotonic reasoning, in: Practical Reasoning, Proceedings FAPR '96, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 111-125.
    • (1996) Lecture Notes in Artificial Intelligence , vol.1085 , pp. 111-125
    • Engelfriet, J.1    Treur, J.2
  • 20
    • 85167866605 scopus 로고
    • A semantics for default logic
    • D.W. Etherington, A semantics for default logic, in: Proceedings IJCAI-87 (1987) pp. 495-498. See also D.W. Etherington, Reasoning with Incomplete Information (Morgan Kaufmann, San Mateo, CA, 1988).
    • (1987) Proceedings IJCAI-87 , pp. 495-498
    • Etherington, D.W.1
  • 21
    • 0004084659 scopus 로고
    • Morgan Kaufmann, San Mateo, CA
    • D.W. Etherington, A semantics for default logic, in: Proceedings IJCAI-87 (1987) pp. 495-498. See also D.W. Etherington, Reasoning with Incomplete Information (Morgan Kaufmann, San Mateo, CA, 1988).
    • (1988) Reasoning with Incomplete Information
    • Etherington, D.W.1
  • 22
    • 0002752749 scopus 로고
    • Theoretical foundations for non-monotonic reasoning in expert systems
    • ed. K. Apt Springer, Berlin
    • D.M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems, in: Logic and Models of Concurrent Systems, ed. K. Apt (Springer, Berlin, 1985).
    • (1985) Logic and Models of Concurrent Systems
    • Gabbay, D.M.1
  • 23
    • 0000874592 scopus 로고
    • Two modelings for theory change
    • A. Grove, Two modelings for theory change, J. Philos. Logic 17 (1988) 157-170.
    • (1988) J. Philos. Logic , vol.17 , pp. 157-170
    • Grove, A.1
  • 24
    • 0042805902 scopus 로고
    • Compactness properties of nonmonotonic inference operations
    • Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Springer, Berlin
    • H. Herre, Compactness properties of nonmonotonic inference operations, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 19-33. Also in: J. Appl. Non-Classical Logics 5(1) (1995) 121-136 (Special Issue with selected papers from JELIA '94).
    • (1994) Lecture Notes in Artificial Intelligence , vol.838 , pp. 19-33
    • Herre, H.1
  • 25
    • 84887480721 scopus 로고
    • Special Issue with selected papers from JELIA '94
    • H. Herre, Compactness properties of nonmonotonic inference operations, in: Logics in Artificial Intelligence, Proceedings JELIA '94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 19-33. Also in: J. Appl. Non-Classical Logics 5(1) (1995) 121-136 (Special Issue with selected papers from JELIA '94).
    • (1995) J. Appl. Non-Classical Logics , vol.5 , Issue.1 , pp. 121-136
  • 26
    • 0031076755 scopus 로고    scopus 로고
    • Stable models are generated by a stable chain
    • H. Herre and G. Wagner, Stable models are generated by a stable chain, J. Logic Programming 30(2) (1997) 165-177.
    • (1997) J. Logic Programming , vol.30 , Issue.2 , pp. 165-177
    • Herre, H.1    Wagner, G.2
  • 28
    • 84990620238 scopus 로고
    • Hierarchic autoepistemic theories for nonmonotonic reasoning
    • Minneapolis
    • K. Konolidge, Hierarchic autoepistemic theories for nonmonotonic reasoning, in: Proceedings AAAI '88, Minneapolis (1988).
    • (1988) Proceedings AAAI '88
    • Konolidge, K.1
  • 29
    • 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
  • 31
    • 84910776762 scopus 로고
    • General theory of cumulative inference
    • Non-Monotonic Reasoning, eds. M. Reinfrank et al., Springer, Berlin
    • D. Makinson, General theory of cumulative inference, in: Non-Monotonic Reasoning, eds. M. Reinfrank et al., Lecture Notes in Artificial Intelligence, Vol. 346 (Springer, Berlin, 1989) pp. 1-18.
    • (1989) Lecture Notes in Artificial Intelligence , vol.346 , pp. 1-18
    • Makinson, D.1
  • 32
    • 0003093745 scopus 로고
    • General patterns in nonmonotonic reasoning
    • eds. D.M. Gabbay, C.J. Hogger and J.A. Robinson Oxford Science Publications, Oxford
    • D. Makinson, General patterns in nonmonotonic reasoning, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, eds. D.M. Gabbay, C.J. Hogger and J.A. Robinson (Oxford Science Publications, Oxford, 1994).
    • (1994) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.3
    • Makinson, D.1
  • 33
    • 37349044608 scopus 로고
    • Circumscription - A form of non-monotonic reasoning
    • J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
    • (1980) Artificial Intelligence , vol.13 , pp. 27-39
    • McCarthy, J.1
  • 36
    • 0024066001 scopus 로고
    • A logical framework for default reasoning
    • D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-47.
    • (1988) Artificial Intelligence , vol.36 , pp. 27-47
    • Poole, D.1
  • 38
    • 49149147322 scopus 로고
    • A logic for default reasoning
    • R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
    • (1980) Artificial Intelligence , vol.13 , pp. 81-132
    • Reiter, R.1
  • 40
    • 0000023467 scopus 로고
    • Constructive default logic and the control of defeasible reasoning
    • ed. B. Neumann Wiley, New York
    • Y.-H. Tan and J. Treur, Constructive default logic and the control of defeasible reasoning, in: Proceedings ECAI '92, ed. B. Neumann (Wiley, New York, 1992) pp. 299-303.
    • (1992) Proceedings ECAI '92 , pp. 299-303
    • Tan, Y.-H.1    Treur, J.2
  • 42
    • 0011535301 scopus 로고
    • Preference-based semantics for nonmonotonic logics
    • ed. R. Bajcsy Morgan Kaufmann, San Mateo, CA
    • F. Voorbraak, Preference-based semantics for nonmonotonic logics, in: Proceedings UCAI-93, ed. R. Bajcsy (Morgan Kaufmann, San Mateo, CA, 1993) pp. 584-589.
    • (1993) Proceedings UCAI-93 , pp. 584-589
    • Voorbraak, F.1


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