메뉴 건너뛰기




Volumn 14, Issue 1, 1998, Pages 39-88

Integrating discrete and continuous change in a logical framework

Author keywords

Continuous change; Frame and ramification problems; Natural actions; Situation calculus; Temporal reasoning

Indexed keywords

DECISION THEORY; FORMAL LOGIC; PROBLEM SOLVING; TIME SERIES ANALYSIS;

EID: 0031996406     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00056     Document Type: Article
Times cited : (12)

References (62)
  • 1
    • 0021466185 scopus 로고
    • Towards a general theory of action and time
    • ALLEN, J. F. 1984. Towards a general theory of action and time. Artificial Intelligence 23:123-154.
    • (1984) Artificial Intelligence , vol.23 , pp. 123-154
    • Allen, J.F.1
  • 4
    • 0026153773 scopus 로고
    • Nonmonotonic reasoning in the framework of the situation calculus
    • BAKER, A. 1991. Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence 49:5-23.
    • (1991) Artificial Intelligence , vol.49 , pp. 5-23
    • Baker, A.1
  • 5
    • 84958763475 scopus 로고
    • Underlying semantics for the assessment of Reiter's solution to the frame problem
    • Advances in Artificial Intelligence, Number 991 in LNAI. Springer, New York
    • BEDRAX-WEISS, T., and L. BERTOSSI. 1995. Underlying semantics for the assessment of Reiter's solution to the frame problem. In Advances in Artificial Intelligence, Proceedindgs of the 1st International Conference of the Brazilian AI Society (SBIA 95), Number 991 in LNAI. Springer, New York, pp. 59-68.
    • (1995) Proceedindgs of the 1st International Conference of the Brazilian AI Society (SBIA 95) , pp. 59-68
    • Bedrax-Weiss, T.1    Bertossi, L.2
  • 11
    • 0028317777 scopus 로고
    • Learning to plan in continuous domains
    • DEJONG, G. 1994. Learning to plan in continuous domains. Artificial Intelligence 65:71-141.
    • (1994) Artificial Intelligence , vol.65 , pp. 71-141
    • Dejong, G.1
  • 12
    • 0021613150 scopus 로고
    • Qualitative process theory
    • FORBUS, K. 1984. Qualitative process theory. Artificial Intelligence 24:562-579.
    • (1984) Artificial Intelligence , vol.24 , pp. 562-579
    • Forbus, K.1
  • 13
    • 0025403638 scopus 로고
    • A critical examination of Allen's theory of action and time
    • GALTON, A. 1990. A critical examination of Allen's theory of action and time. Artificial Intelligence 42:159-188.
    • (1990) Artificial Intelligence , vol.42 , pp. 159-188
    • Galton, A.1
  • 14
    • 0027694534 scopus 로고
    • Representing action and change by logic programs
    • GELFOND, M., and V. LIFSCHITZ. 1993. Representing action and change by logic programs. Journal of Logic Programming 17:301-322.
    • (1993) Journal of Logic Programming , vol.17 , pp. 301-322
    • Gelfond, M.1    Lifschitz, V.2
  • 15
    • 84916554963 scopus 로고
    • Many agents are better than one
    • Edited by F. M. Brown. Morgan Kaufmann, Los Altos, California
    • GEORGEFF, M. P. 1987. Many agents are better than one. In The Frame Problem in Artificial Intelligence. Edited by F. M. Brown. Morgan Kaufmann, Los Altos, California, pp. 58-76.
    • (1987) The Frame Problem in Artificial Intelligence , pp. 58-76
    • Georgeff, M.P.1
  • 16
    • 85169167760 scopus 로고
    • A theory of complex actions for enterprise modelling
    • Edited by C. Boutilier and M. Goldszmidt, Number SS-95-07 in 1995 AAAI Symposium, Stanford University. AAAI Press
    • GRUNINGER, M., and J. PINTO. 1995. A theory of complex actions for enterprise modelling. In Symposium Extending Theories of Action: Formal Theory and Practical Applications. Edited by C. Boutilier and M. Goldszmidt, Number SS-95-07 in 1995 AAAI Symposium, Stanford University. AAAI Press, pp. 94-99.
    • (1995) Symposium Extending Theories of Action: Formal Theory and Practical Applications , pp. 94-99
    • Gruninger, M.1    Pinto, J.2
  • 17
    • 0002828601 scopus 로고
    • The case for domain-specific frame axioms
    • The Frame Problem in Artificial Intelligence, Edited by F. M. Brown. Morgan Kaufmann, Los Altos, CA
    • HAAS, A. R. 1987. The case for domain-specific frame axioms. In The Frame Problem in Artificial Intelligence, Proceedings of the 1987 Workshop. Edited by F. M. Brown. Morgan Kaufmann, Los Altos, CA, pp. 343-348.
    • (1987) Proceedings of the 1987 Workshop , pp. 343-348
    • Haas, A.R.1
  • 18
    • 0023442334 scopus 로고
    • Nonmonotonic logic and temporal projection
    • HANKS, S., and D. MCDERMOTT. 1987. Nonmonotonic logic and temporal projection. Artificial Intelligence 33:379-412.
    • (1987) Artificial Intelligence , vol.33 , pp. 379-412
    • Hanks, S.1    Mcdermott, D.2
  • 20
    • 11744333364 scopus 로고    scopus 로고
    • Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem
    • Morgan Kaufmann. To appear
    • KELLEY, T. G. 1996. Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem. In Proceedings KR'96. Morgan Kaufmann. To appear.
    • (1996) Proceedings KR'96
    • Kelley, T.G.1
  • 23
    • 0031126053 scopus 로고    scopus 로고
    • GOLOG: A logic programming language for dynamic domains
    • To appear in special issue on Reasoning about Action and Change
    • LEVESQUE, H. J., R. REITER, Y. LESPÉRANCE, F. LIN, and R. B. SCHERL. 1996. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming. To appear in special issue on Reasoning about Action and Change.
    • (1996) Journal of Logic Programming
    • Levesque, H.J.1    Reiter, R.2    Lespérance, Y.3    Lin, F.4    Scherl, R.B.5
  • 25
    • 0008162782 scopus 로고
    • Formal theories of action
    • Edited by F. M. Brown. Morgan Kaufmann, Los Altos, California
    • LIFSCHITZ, V. 1987. Formal theories of action. In The Frame Problem in Artificial Intelligence. Edited by F. M. Brown. Morgan Kaufmann, Los Altos, California, pp. 35-57.
    • (1987) The Frame Problem in Artificial Intelligence , pp. 35-57
    • Lifschitz, V.1
  • 27
  • 28
    • 0000955093 scopus 로고
    • State constraints revisited
    • Special Issue on Actions and Processes
    • LIN, F., and R. REITER. 1994. State constraints revisited. Journal of Logic and Computation 4. Special Issue on Actions and Processes.
    • (1994) Journal of Logic and Computation , vol.4
    • Lin, F.1    Reiter, R.2
  • 30
    • 0001875061 scopus 로고
    • Programs with common sense
    • Edited by M. Minsky, Chapter 7. The MIT Press, Cambridge, MA
    • MCCARTHY, J. 1968. Programs with common sense. In Semantic Information Processing. Edited by M. Minsky, Chapter 7. The MIT Press, Cambridge, MA, pp. 403-418.
    • (1968) Semantic Information Processing , pp. 403-418
    • Mccarthy, J.1
  • 31
    • 37349044608 scopus 로고
    • Circumscription a form of non-monotonic reasoning
    • MCCARTHY, J. 1980. Circumscription a form of non-monotonic reasoning. Artificial Intelligence 13:27-39.
    • (1980) Artificial Intelligence , vol.13 , pp. 27-39
    • Mccarthy, J.1
  • 32
    • 0022661717 scopus 로고
    • Applications of circumscription to formalizing commonsense knowledge
    • MCCARTHY, J. 1986. Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence 28:89-116.
    • (1986) Artificial Intelligence , vol.28 , pp. 89-116
    • Mccarthy, J.1
  • 33
    • 0014638440 scopus 로고
    • Some philosophical problems from the standpoint of artificial intelligence
    • Edited by B. Meltzer and D. Michie. Edinburgh University Press, Edinburgh, Scotland
    • MCCARTHY, J., and P. J. HAYES. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4. Edited by B. Meltzer and D. Michie. Edinburgh University Press, Edinburgh, Scotland, pp. 463-502.
    • (1969) Machine Intelligence , vol.4 , pp. 463-502
    • Mccarthy, J.1    Hayes, P.J.2
  • 34
    • 0001445808 scopus 로고
    • A temporal logic for reasoning about processes and plans
    • MCDERMOTT, D. 1982. A temporal logic for reasoning about processes and plans. Cognitive Science 6:101-155.
    • (1982) Cognitive Science , vol.6 , pp. 101-155
    • Mcdermott, D.1
  • 35
    • 9444258298 scopus 로고    scopus 로고
    • A case study in reasoning about actions and continuous change
    • John Wiley & Sons, New York
    • MILLER, R. 1996. A case study in reasoning about actions and continuous change. In Proceedings ECAI. John Wiley & Sons, New York.
    • (1996) Proceedings ECAI
    • Miller, R.1
  • 37
    • 1642456308 scopus 로고    scopus 로고
    • Reasoning about dicontinuities in the event calculus
    • Morgan Kaufmann. To appear
    • MILLER, R., and M. SHANAHAN. 1996. Reasoning about dicontinuities in the event calculus. In Proceedings KR'96. Morgan Kaufmann. To appear.
    • (1996) Proceedings KR'96
    • Miller, R.1    Shanahan, M.2
  • 40
    • 11744285572 scopus 로고    scopus 로고
    • Incorporating observations in theories of action
    • Research Report CIT-96-06, School of Computing and Information Technology, Griffith University. Edited by G. Antoniou and M. Truszczynski
    • PINTO, J. 1996a. Incorporating observations in theories of action. In PRICAI'96 Workshop on Reasoning with Incomplete and Changing Information. Research Report CIT-96-06, School of Computing and Information Technology, Griffith University. Edited by G. Antoniou and M. Truszczynski, pp. 79-88.
    • (1996) PRICAI'96 Workshop on Reasoning with Incomplete and Changing Information , pp. 79-88
    • Pinto, J.1
  • 41
    • 85080839193 scopus 로고    scopus 로고
    • Occurrences in the hypothetical worlds of the situation calculus: Extended abstract
    • Technical Report AIDA-96-11, Technische Hochschule Darmstadt, Fachbereich Informatik. Edited by U. C. Sigmund and M. Thielscher
    • PINTO, J. 1996b. Occurrences in the hypothetical worlds of the situation calculus: Extended abstract. In Reasoning about Actions and Planning in Complex Environments, FAPR'96 Workshop. Technical Report AIDA-96-11, Technische Hochschule Darmstadt, Fachbereich Informatik. Edited by U. C. Sigmund and M. Thielscher, pp. VII-1-VII-8.
    • (1996) Reasoning about Actions and Planning in Complex Environments, FAPR'96 Workshop
    • Pinto, J.1
  • 42
    • 11544282017 scopus 로고    scopus 로고
    • Technical Report DCC-97-1, Pontificia Universidad Católica de Chile, Departamento de Ciencia de la Computación
    • PINTO, J. A. 1997. Ramification constraints revisited. Technical Report DCC-97-1, Pontificia Universidad Católica de Chile, Departamento de Ciencia de la Computación. URL = ftp://lyrcc.ing.puc.cl/pub/jpinto/rcnew.ps.gz.
    • (1997) Ramification Constraints Revisited
    • Pinto, J.A.1
  • 43
    • 0002378357 scopus 로고
    • Temporal reasoning in logic programming: A case for the situation calculus
    • Edited by D. S. Warren, Budapest. The MIT Press, Cambridge, MA
    • PINTO, J., and R. REITER. 1993. Temporal reasoning in logic programming: A case for the situation calculus. In Proceedings of the Tenth International Conference on Logic Programming. Edited by D. S. Warren, Budapest. The MIT Press, Cambridge, MA, pp. 203-221.
    • (1993) Proceedings of the Tenth International Conference on Logic Programming , pp. 203-221
    • Pinto, J.1    Reiter, R.2
  • 45
    • 0026151626 scopus 로고
    • On the applicability of nonmonotonic logic to formal reasoning in continuous time
    • RAYNER, M. 1991. On the applicability of nonmonotonic logic to formal reasoning in continuous time. Artificial Intelligence 49:345-360.
    • (1991) Artificial Intelligence , vol.49 , pp. 345-360
    • Rayner, M.1
  • 46
    • 0002048328 scopus 로고
    • The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
    • Academic Press, San Diego, CA
    • REITER, R. 1991. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, San Diego, CA, pp. 359-380.
    • (1991) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy , pp. 359-380
    • Reiter, R.1
  • 48
    • 0344368811 scopus 로고
    • Technical Report KRR-TR-92-3, University of Toronto, Ontario
    • REITER, R. 1992b. On specifying database updates. Technical Report KRR-TR-92-3, University of Toronto, Ontario.
    • (1992) On Specifying Database Updates
    • Reiter, R.1
  • 49
    • 0027885318 scopus 로고
    • Proving properties of states in the situation calculus
    • REITER, R. 1993. Proving properties of states in the situation calculus. Artificial Intelligence 64:337-351.
    • (1993) Artificial Intelligence , vol.64 , pp. 337-351
    • Reiter, R.1
  • 53
    • 0003626764 scopus 로고
    • Technical Report LiTH-IDA-R-91-29, Linköping University
    • SANDEWALL, E. 1991. Features and fluents. Technical Report LiTH-IDA-R-91-29, Linköping University.
    • (1991) Features and Fluents
    • Sandewall, E.1
  • 54
    • 11744368914 scopus 로고
    • The range of applicability of some nonmonotonic logics for strict inertia
    • SANDEWALL, E. 1994. The range of applicability of some nonmonotonic logics for strict inertia. Journal of Logic and Computation 4.
    • (1994) Journal of Logic and Computation , vol.4
    • Sandewall, E.1
  • 56
    • 0002136540 scopus 로고
    • Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions
    • Edited by H. Kyberg, R. Loui, and G. Carlson. Kluwer Academic Press
    • SCHUBERT, L. 1990. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. In Knowledge Representation and Defeasible Reasoning. Edited by H. Kyberg, R. Loui, and G. Carlson. Kluwer Academic Press, pp. 23-67.
    • (1990) Knowledge Representation and Defeasible Reasoning , pp. 23-67
    • Schubert, L.1
  • 57
    • 0006748788 scopus 로고
    • Representing continuous change in the event calculus
    • SHANAHAN, M. 1990. Representing continuous change in the event calculus. In Proceedings ECAI.
    • (1990) Proceedings ECAI
    • Shanahan, M.1
  • 59
    • 0029368644 scopus 로고
    • A circumscriptive calculus of events
    • SHANAHAN, M. 1995. A circumscriptive calculus of events. Artificial Intelligence 77:249-284.
    • (1995) Artificial Intelligence , vol.77 , pp. 249-284
    • Shanahan, M.1
  • 61
    • 0028543198 scopus 로고
    • Motivated action theory: A formal theory of causal reasoning
    • STEIN, L., and L. MORGENSTERN. 1994. Motivated action theory: A formal theory of causal reasoning. Artificial Intelligence 71:1-42.
    • (1994) Artificial Intelligence , vol.71 , pp. 1-42
    • Stein, L.1    Morgenstern, L.2


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