{"type":"ScholarlyArticle","title":"A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases","authors":[{"name":"Suryanarayana M. Sripada","slug":"suryanarayana-m-sripada","given":"Suryanarayana M.","family":"Sripada","affiliation":"European Computer-Industry Research Centre Arabellastrasse 17 , 8000 Munich 81 , Germany"}],"abstract":"The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief time respectively. Historical time denotes the time for which information models reality. Belief time denotes the time for which a belief is held (by an agent or a knowledge base). We formalize an appropriate theory of time using logic as a meta-language. We then present a metalogic program derived from this theory through fold/unfold transformations. The metalogic program enables the temporal reasoning required for knowledge base applications to be carried out efficiently. The metalogic program is directly implementable as a Prolog program and hence the need for a more complex theorem prover is obviated. The approach is applicable for such knowledge base applications as legislation and legal reasoning and in the context of multi-agent reasoning where an agent reasons about the beliefs of another agent.","doi":null,"url":"https://ijcai.org/proceedings/1993/118","pdf":"https://ijcai.org/proceedings/1993/0118.pdf","markdown":"https://ijcai.org/proceedings/1993/118.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/118","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":118,"pages":{"first":860,"last":864},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Allen, J.F., Towards a general theory of action and time, Artificial Intelligence 23 (1984), pp.123-154","title":"Towards a general theory of action and time","authors":"J F Allen","year":"1984","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Aiello, L.C. Nardi, D. & Schaerf, M. Reasoning about knowledge and ignorance. In Proc. FGCS 1988","title":"Reasoning about knowledge and ignorance","authors":"L C Aiello, D Nardi, M Schaerf","year":"1988","venue":"Proc. FGCS","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Bowen, K. & Kowalski, R.A. Amalgamating language and and metalanguage in Logic Programming. in Clark and Tamlund (eds) Logic Programming, Academic Press, pp.153-173, 1982","title":"Amalgamating language and and metalanguage in Logic Programming","authors":"K Bowen, R A Kowalski","year":"1982","venue":"Logic Programming","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Brogi, A. Turini, F. Metalogic for Knowledge Representation. in Proc. KR'91","title":"Metalogic for Knowledge Representation","authors":"A Brogi, F Turini","year":null,"venue":"Proc. KR'91","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Dean, T . L. & McDermott, D. V. Temporal Data Base Management. Artificial Intelligence 32, No.I (1987), pp. 1-55","title":"Temporal Data Base Management","authors":"T L Dean, D V Mcdermott","year":"1987","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Schreye 92","title":"Schreye","authors":null,"year":null,"venue":"Schreye","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"de Schreye, D. & Martens, B. A sensible least Herbrand model semantics for untyped vanilla meta- programming and its extension to a limited form of amalgamation. To appear in Meta-92, Uppsala, June 1992","title":"A sensible least Herbrand model semantics for untyped vanilla metaprogramming and its extension to a limited form of amalgamation","authors":"D De Schreye, B Martens","year":"1992","venue":"Meta-92","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Evans, C. Negation as failure as an approach to the Hanks and McDermott problem. In Proc. 2nd Int. Symposium on Artificial Intelligence, 1989","title":"Negation as failure as an approach to the Hanks and McDermott problem","authors":"C Evans","year":"1989","venue":"Proc. 2nd Int. Symposium on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Galton, A. A crictical examination of Allen's theory of action and time. Artificial Intelligence 42 (1990) 159-188","title":"A crictical examination of Allen's theory of action and time","authors":"A Galton","year":"1990","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Halpern","title":null,"authors":"Halpern","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Halpern, J.Y., Moses, Y. A guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. In Proc. IJCAI 85 .","title":"A guide to the Modal Logics of Knowledge and Belief: Preliminary Draft","authors":"J Y Halpern, Y Moses","year":null,"venue":"Proc. IJCAI 85","doi":null,"url":null,"internal_url":"/proceedings/1985/94"},{"position":12,"raw":"Hanks, S. McDermott, D. Nonmonotonic Logics and Temporal Projection. Artificial Intelligence 33 (1987)","title":"Nonmonotonic Logics and Temporal Projection","authors":"S Hanks, D Mcdermott","year":"1987","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Hill, P.M. & Lloyd, J.W. Analysis of metaprograms. in Abramson & Rogers (eds) Metaprogramming in Logic Programming, MIT Press, pp. 23-52, 1989","title":"Analysis of metaprograms","authors":"P M Hill, J W Lloyd","year":"1989","venue":"Metaprogramming in Logic Programming","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Hintikka, J. Knowledge and Belief: An Introduction to the Logic of the two notions. Cornell University Press, 1962","title":"Knowledge and Belief: An Introduction to the Logic of the two notions","authors":"J Hintikka","year":"1962","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"Hrycej, T., Temporal Prolog, in Proc. European Conference on Artificial Intelligence, 1988, pp.296-301","title":"Temporal Prolog","authors":"T Hrycej","year":"1988","venue":"Proc. European Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"Isozaki, H., Shoham, Y. A Mechanism for Reasoning about Time and Belief. In Proc. FGCS 92","title":"A Mechanism for Reasoning about Time and Belief","authors":"H Isozaki, Y Shoham","year":null,"venue":"Proc. FGCS","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"Jones, S., Mason, P., Stamper, R., LEGOL 2.0: A Relational Specification Language for Complex Rules, Information Systems, Vol. 4, 1979, pp. 293-305","title":"LEGOL 2.0: A Relational Specification Language for Complex Rules","authors":"S Jones, P Mason, R Stamper","year":"1979","venue":"Information Systems","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"Kautz, H. The logic of persistence. In Proc AAAI 86","title":"The logic of persistence","authors":"H Kautz","year":null,"venue":"Proc AAAI 86","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"Kowalski 86","title":"Kowalski","authors":null,"year":null,"venue":"Kowalski","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"Kowalski, R.A. , Sergot, M.J. A Logic-based Calculus of Events. New Generation Computing, 4, No. 1 (1986), pp. 67-95","title":"A Logic-based Calculus of Events","authors":"R A Kowalski, M J Sergot","year":"1986","venue":"New Generation Computing","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"Kowalski, R.A. Problems and Promises of Computational Logic. In J.W.Lloyd (ed.) Proc. ESPRIT Symposium in Computational Logic, Brussels, November 1990, Springer Verlag, 1990","title":"Problems and Promises of Computational Logic","authors":"R A Kowalski","year":"1990","venue":"Proc. ESPRIT Symposium in Computational Logic","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"Kowalski, R.A . & Kim, J.S. A metalogic programming approach to multi-agent knowledge and belief. Department of Computing, Imperial College, London.","title":"A metalogic programming approach to multi-agent knowledge and belief","authors":"R A Kowalski, J S Kim","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"Lloyd, J.W. Foundations of Logic Programming (Second Edition) Springer Verlag, 1987","title":"Foundations of Logic Programming","authors":"J W Lloyd","year":"1987","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"McCarthy, J.M ., and Hayes, P.J ., Some philosophical problems from the standpoint of artificial intelligence, in Machine Intelligence, D.Michie (Ed.), 1969","title":"Some philosophical problems from the standpoint of artificial intelligence","authors":"J M Mccarthy, P J Hayes","year":null,"venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"McDermott, D. A temporal logic for reasoning about processes and plans. Cognitive Science, Vol. 6,1982, 101-155","title":"A temporal logic for reasoning about processes and plans","authors":"D Mcdermott","year":"1982","venue":"Cognitive Science","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"Sergot, M.J. Sadri, F. Kowalski, R.A. Kriwaczek, F. Hammond, P. & Cory, H.T. The British Nationality Act as a Logic Program. CACM, Vol. 29, No. 5, May 1986, pp. 370-386","title":"The British Nationality Act as a Logic Program","authors":"M J Sergot, F Sadri, R A Kowalski, F Kriwaczek, P Hammond, H T Cory","year":"1986","venue":"CACM","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"Shanahan, M.P. Prediction is deduction but explanation is abduction. In Proc IJCAI 1989","title":"Prediction is deduction but explanation is abduction","authors":"M P Shanahan","year":null,"venue":"Proc IJCAI 1989","doi":null,"url":null,"internal_url":"/proceedings/1989/169"},{"position":28,"raw":"Sripada, S.M. A logical framework for Temporal Deductive Databases. in Proc. VLDB'88, 1988","title":"A logical framework for Temporal Deductive Databases","authors":"S M Sripada","year":"1988","venue":"Proc. VLDB'88","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"Sripada, S.M. Temporal Reasoning in Deductive Databases, Ph.D. Thesis, Dept. of Computing, Imperial College, London, 1991","title":"Temporal Reasoning in Deductive Databases","authors":"S M Sripada","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":30,"raw":"Tamaki, H. & Sato, T . Unfold/Fold Transformation of Logic Programs, in Proceedings Second International Conference on Logic Programming, Uppsala, 1984, pp. 127-138","title":"Unfold/Fold Transformation of Logic Programs","authors":"H Tamaki, T Sato","year":"1984","venue":"Proceedings Second International Conference on Logic Programming","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"van Benthem 83]","title":null,"authors":"Van Benthem","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":32,"raw":"van Benthem, J.F.A.K. The Logic of Time, Reidel Publishing Company, Holland, 1983","title":"The Logic of Time","authors":"J F A K Van Benthem","year":"1983","venue":null,"doi":null,"url":null,"internal_url":null},{"position":33,"raw":"Weyhrauch, R. Prologomena to a theory of mechanized reasoning. Artificial Intelligence, 13, 1980, pp.133-17","title":"Prologomena to a theory of mechanized reasoning","authors":"R Weyhrauch","year":"1980","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}