Логика, знания и время. Проблемы и методы темпорально-логицеского представления знаний

Zdigitalizowano i udostępniono w ramach projektu pn. Rozbudowa otwartych zasobów naukowych Repozytorium Uniwersytetu w Białymstoku, dofinansowanego z programu „Społeczna odpowiedzialność nauki" Ministra Edukacji i Nauki na podstawie umowy SONB/SP/512497/2021.This monograph discusses the problems of implementing formaI logic apparatus to represent and investigate knowledge undergoing changes in time. By 'formal logic apparatus' we understand systems which are a combination of epistemic modal logic systems applied for the description of knowledge and temporal logic systems which enable the expression of the temporaI context. Therefore, we implement various systems of epistemic temporal logic to describe knowledge changing in time. The monograph is divided into seven chapters. Indicated in the title, the concept of knowledge is the subject of the First Chapter. We provide examples of designations of knowledge and point out basic differences in understanding knowledge in selected disciplines. In the case of a classical understanding of knowledge, we refer to Gettier's arguments which indicate the limitations of such reasoning. However, the first chapter does not consist of a full exposition of the theory of knowledge. It should rather be treated in categories signaling the main ideas and problems connected with understanding and defining knowledge. In the Second Chapter we deal with the formalization of the concept of knowledge. We mainly focus on questions connected with modal logies, in particular with the formaI apparatus of modal epistemic logies. Therefore, we discuss basic systems of epistemic logic. We supply a basic notional apparatus of modal epistemic logic concerning knowledge of a singular cognitive subject and the notional apparatus connected with issues of knowledge of groups of cognitive subjects. Formal languages considered here are appropriate for the description of static knowledge which is not subject to changes. In the Third Chapter basic systems of temporaI logic, the superstructure over classical sentence calculus, are called to mind and basic properties of these systems are discussed. These systems are employed for the temporalization of logical systems utilizing the method described in Chapter Four, as well as to build on their basis epistemic systems of temporal logic discussed in Chapter Five. In Chapter Four the problem of methods of temporalizing logical systems is considered. Two basic methods of temporalization are discussed: internal temporalization and outer temporalization. Due to its possibilities for implementation we concentrate on the method of outer temporalization. We describe the Finger-Gabbay method and indicate conditions which should be met so that when joining two logical systems using the mentioned method, the newly created logical system retains the metaproperties of the component systems. We have in mind here properties such as consistency, fullness, and decidability. We also discuss the generalization of the Finger-Gabbay method proposed by Finger and Weiss. In the Fifth Chapter we discuss selected systems of epistemic temporaI logic. We begin the review of selected systems of epistemic temporal logic by presenting systems whose languages possess lower expressive power. We discuss two systems of epistemic temporaI logic of linear time created as a result of the temporalization of system S5 using the method described in Chapter Four. We analyze classes of systems whose semantics is based on the interpreted systems and we investigate properties of epistemic temporaI logic of alternating time. Furthermore, in this Chapter, we provide exampIes of implementations of the discussed systems in philosophy, computer science, and game theory. In Chapter Six we discuss the possibilities of analyzing knowledge by means of the sentence language of temporal logic, superstructure over intuitive logic. We prove that intuitive temporal logic may be treated as epistemic temporaI logic. We analyze the system of minimaI intuitive temporaI logic suggested by EwaId. We prove that proposed axioms create a structure of dependent axioms. We suggest our own, reduced axiomatic system. We also suggest our own version of semantics for minimaI intuitive temporal logic. We examine basic properties of this system and indicate basic differences between the constructed system and its classical counterpart. In the Seventh Chapter we consider issues connected with temporal-epistemic formalization of algorithmic knowledge. This monograph may be placed at the intersection of philosophy and artificial intelligence. Philosophy attempts to render various aspects of knowledge and formalize them by the means of the logic apparatus. Artificial intelligence, on the other hand, makes efforts to implement these elements in artificial systems, in particular in systems based on information technology.Wydanie publikacji sfinansowano ze środków Wydziału Historyczno-Socjologicznego Uniwersytetu w BiałymstokuAJDUKIEWICZ K., Logika pragmatyczna, Warszawa, 1974.ACKERMANN R J., Belief and Knowledge, London, 1972.ALUR R., HENZINGER T . A., KUPFERMAN O., Alternating-time Temporal Logic, w: Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 1997; 100-9.ALUR R., HENZINGER T. A., KUPFERMAN O., Alternating-time Temporal Logic, Lecture Notes in Computer Science, 1998; 1536: 23-60.ALUR R., HENZINGER T . A., KUPFERMAN O., Alternating-time Temporal Logic, Journal of the ACM, 2002; 49: 672-713.ARYSTOTELES, Hermeneutyka, Warszawa, 1975.AUGUSTYNEK Z., Własności czasu, Warszawa, 1972.AUGUSTYNEK Z., Natura czasu, Warszawa, 1975.ACGUSTYNEK Z., Przeszłość, teraźniejszość, przyszłość, Warszawa, 1979.AUMANN R J., Agreeing to disagree, AnnaIs of Statistics, 1976; 4(6) : 1236-1239.AYER, A. J., The Problem of Knowledge, London, 1956.BARWISE J., Modelling shared understanding, nieopublikowany manuskrypt, 1985.BASCENT C., Stable Sets and Topology, http://www.canbaskent .net/logic/early/stable.pdf, 2006.BEALL J. C., Fitch's proof, verificationism, and the knower paradox. Australasian Journal of Philosophy, 2000; 78: 241-7.BECKMAN T., A methodology for Knowledge Management, International Association of Science and Technology for Development, Al and Soft Computing Conference, Banff, 1997BEN-ARI M., PNUELI A., MANNA Z., The tempoml logic of branching time, Acta Informatica, 1983; 20: 207-226.BENNETT B., DIXON C., FISHER M., FRANCONI E., HORROKS I., DE RIJKE M., Combination of modal logics, Artificial Intelligence Review, 2002; 17: 1-20VAN BENTHEM J. F. A. K. Tense logic and standard logic, w: Logique et Analyse. Nouvelle Série, 1977; 80: 395-437.VAN BENTHEM J. F. A. K., The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Dordrecht, 1983.VAN BENTHEM J. F. A. K., Reflections on epistemic logic w: Logique et Analyse, 1983; 34: 5-14.BLACKBCRN P., Representation, Reasoning and Relational Structures: a Hybrid Logic Manifesto, Logic Journal of the IGPL 2000; 8(3) : 339-365.BOLC L., DZIEWICKI K., RYCHLIK P., SZAŁAS A., Wnioskowanie w logikach nieklasycznych, Warszawa, 1993.BONANNO G., Branching time logic, perfect information games and backward induction, Games and Economic Behavior, 2001; 36(1): 57-73.BOOLOS G., SAMBIN G., Provability: The Emergence of a Mathematical Modality. Studia Logica, 1991; 50: 1-23.BORKOWSKI L., Studia Logiczne, Lublin, 1990.BÜCHI J. R., LANDWEBER L. H., Solving sequential conditions by finite state strategies, Transactions of the AMS , 1969; 138: 295-311.BURGES J. P., GUREVICH Y. , The decision Problem for Linear Logic, Notre Dame Journal of Formal Logic,1985: 26(2) : 566-582.BURGESS J. P., Logic and Time, The Journal of Symbolic Logic, 1979; 44(4) : 566-582.BURGESS J. P., Decadibility for branching time, Studia Logica, 1980; 39(2-3) : 203-218.BURGESS J. P., Axioms for tense logic: I. 'Since ' and ' Until ', Notre Dame Journal of Formal Logic, 1982; 23: 367- 374.BURGES J. P., Basic Tense Logic, w: D. Gabbay, F. Guenthner (eds.) , Handbook of Philosophical Logic, 1984, 89-133.CALARDO E., RYBAKOV V., An axiomatisation for the multimodal logic of knowledge and linear time LTK, Logic JournaI of IGPL, 2007; 15(3) : 239-254.CASANOWA M. A., FURTADO A. L., A Family of Temporal Languages for Description of Transition Constraints, Proceedings of the 3rd Workshop on Logical Bases for Databases, Toulouse, 1982.CHISHOLM, R. M., Perceiving: A Philosophical Study, New York, 1957.CHISHOLM R. M. Theory of knowledge, New York, 1966.CHOJNICKI Z., Wiedza dla gospodarki w perspektywie OECD, w: Gospodarka oparta na wiedzy. Wyzwanie dla Polski XXI wieku, Warszawa, 2001.CLARKE E. M., EMERSON E. A., Design and synthesis of synchronization skeletons using branching-time temporal logic, w: Proceedings of Workshop on Logic of Programs, Lecture Notes of Computer Science, 1981; 131: 52-71.COCCHIARELLA N. B., Tense logic: A study of temporal reference, Ph.D. dissertation, UCLA, 1966.CRESSWELL M. J., Logics and Languages, Methuen, 1973.VAN DALEN D., Intuitionistic Logic, w: D. Gabbay, F. Guenther (eds.) , Handbook of Philosophical Logic, 2nd edition, 2002; 5: 1-114.DUMMET M., Elements of Intuitionism, Oxford, 1977.EBERLE R. A., A logic of believing, knowing and inferring, Synthese, 1974; 26: 356-382.ELGOT-DRAPKIN J., MILLER M., PERLIS D., Memory, reason, and time: the step-logic approach, w: R. Cummins. J. Pollock (eds.) , In Philosophy and Al: Essays at the Interface, 1991; 79-104.EMERSON E. A., JUTLA C. S., The complexity of tree automata and logics of programs (extended abstract). Proceedings of IEEE Symposium on Foundations of Computer Science, 1988; 328-337.EMERSON, E. A., HALPERN J. Y., Decision procedures and expressiveness in the temporal logic of branching time, JournaI of Computer and System Sciences, 1985; 30(1): 1-24.EMERSON E. A., Temporal and modal logic, w: J. van Leeuwen, (ed.), Handbook of Theoretical Computer Science, FormaI Models and Semantics, 1990; (B) : 995-1072.ENGBERG U., Reasoning in Temporal Logic of Actions. The design and implementation of an interactive computer system, Basic Research in Computer Science, Dissertation Series, Aarhus, 1996.ENGELFRIET J., TREUR J., A temporal model theory for default logic, Proceedings of 2nd European Conference on Symbolic and Quantitaive Approaches to Reasoning an Uncertainty, w: M. Clarke, R. Kruse, S. Moral (eds.) , Lecture Notes in Computer Science. 1993; 747: 91-96.ENGELFRIET J., Minimal Temporal Epistemic Logic, Notre Dame Journal of FormaI Logic, 1996; (37) (2) : 233-259.EWALD W. B., Intuitionistic tense and modal logic, Journal of Symbolic Logic, 1986: 51(1) : 166-179.FAGIN R., HALPERN J. Y. , VARDI M. Y. , A model-theoretic analysis of knowledge, Proceedings of the 25th Annual IEEE Symposium on Foundations of Computer Science, 1984; 268-278.FAGIN R. , VARDI M. Y. , An internal semantics for modal logic, Proceedings of the 17th ACM Symposium on Theory of Computing, Providence, 1985; 305-315.FAGIN R. , VARDI M. Y. , Knowledge and implicit knowledge in a distributed environment, Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge, San Francisco, 1986, 187-206.FAGIN R. , HALPERN J. Y. , MOSES Y. , VARDI, M. Y. , Reasoning about Knowledge, Cambridge, 1995.FITCH F. B., Intuitionistic modal logic witch quantifiers, Potrugalia Mathematica, 1948; 7(2) : 113-118.FITCH F. B., A Logical Analysis of Some Value Concepts, The Journal of Symbolic Logic, 1963; 28: 135-142.FINE K., SCHURZ G., Transfer theorems for stratified modal logies, w: J. Copeland (ed.), Logic and Reality, Essays in Pure and Applied Logic. In memory of Arthur Prior, 1996: 169-213.FINGER M., Handling Database Updated in Two-dimensional Temporal Logic, Journal of Apllied Non-Classical Logic, 1993; 2(2) : 201-224.FINGER M., GABBAY D. M., Adding a temporal dimension to a logic system, Journal of Logic, Language and Information, 1993; 1 (3) : 203-233.FINGER M., WEISS M. A., The unrestricted Combination of Temporal Logic System, Logic Journal of the IGPL, 2002; 10(2) : 165-189.FISHER-SERVI G., On modal logic with intuitionistic base, Studia Logica, 1977; 36(3) : 141-9.FITTING M. C., Intuitionistic Logic Model Theory and Forcing, Amsterdam, 1969.FITTING M. C., Model Existence Theorems for Modal and Intuitionistic Logic, The Jurnal of Symbolic Logic, 1973; 38( 4) : 613-627.VAN FRAASSEN B. C., Formal semanties and logic, New York, 1971.VAN FRAASSEN B. C., Report On Tense Logie, w: E. Agazzi (ed.) , Modern Logic: A Survey, Dordrecht, 1980; 425- 438.GABBAY D. M., On Decidable, Finitely Axiomatizable, Modal and Tense Logic Without The Finite Model Property, lsrael Journal of Mathematics, 1971; 10: Part I: 478-495, Part II: 495-503.GABBAY D. M., PNUELLI A., SHELAH S., STAVI J., On temporal analysis of fairness, Proceedings of the 7th ACM Symposium on Principies of Programming Languages, 1980; 163-173.GABBAY D. M., GUENTHNER F., Handbook of Philosophical Logic, 2nd Edition, 2002; 3.GABBAY D. M., An irreflexivity lemma with applications to axiomatizations of conditions on linear frames, w: U. Monnich (ed.), Aspects of Philosophicai Logic, Dordrecht, 1981; 67-89.GABBAY Dov M. , HODKINSON I. M., An axiomatization of the temporal Logic with Until ans Since over the real numbers, Journal of Logic and Computation, 1990; 1 (2) : 229-259.GABBAY D. M., Theoretical Foundations for Non-monotonic Reasoning Part 2: Structured Non-monotonic Theories, In SCAl 91 - Third Scandinavian Conference on Al, 1991; 19-40.GABBAY D. M., Metalevel features in the object level: Modal and Temporal Logic Programming III, w: L. F. del Cerro, M. Penttonen (eds.) , lntensional Logic Programming, 1992; 85-123.GABBAY D. M., Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics. , The Journal of Symbolic Logic, 1996; 61 (4) : 1057-1120.GETTIER, E., Is justified true belief knowledge ? Analysis, 1963; 23: 121-123.GETTIER E., Is Justified True Belief Knowledge? (Czy prawdziwe i uzasadnione przekonanie jest wiedzą ?), tłum. J. Hartman, J. Rabus, Principia, 1990; 1: 93-99.GOLDBLATT R. , Logic of Time and Computation, Center for the Study of Language and Computation, Lecture Notes, 1992; 7.GORANKO W. , Coalition games and alternating temporal logics, TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge, San Francisco, CA, 2001.GORANKO W., VAN DRIMMELEN G . , Complete axiomatization and decidability of Alternating-time temporal logic, Theoretical Computer Science 2006; 353: 93-117.GORANKO W., JAMROGA W., Comparing semantics for multiagent systems, Synthese, 2004; 139 (2) : 241-280.GÖDEL K., Eine Interpretation des intuitionistischen Aussagenkalkuls, w: Ergebnisse eines mathematischen Kolloquiums, 1933; 4.GRANT J., KRAUS S., PERLIS D., A logic for characterizing multiple bounded agents, Autonomus Agents and Multi-Agents Systems, 2000; 4(3) : 351-387.GRZEGORCZYK A., Klasyczne, relatywistyczne i konstruktywistyczne sposoby uznawania twierdzeń, Studia Logica, 1971 ; 27(1) : 151-9.GRZEGORCZYK A., Zarys logiki matematycznej, Warszawa, 1984.HAJNICZ E. Reprezentacja wiedzy zmieniającej się w czasie, Warszawa, 1996.HALPERN J. Y, MOSES Y., A Guide to the Modal Logics of knowledge and Bielief, Proceedings of the 9th International Joint Conference on Artificial Intelligence, 1985; 480-490.HALPERN J. Y. , MOSES Y., Knowledge and common knowledge in a distributed environment, Proceedings of the 3rd ACM Conference on Principles of Distributed Computing, 1984; 50-61.HALPERN J. Y., Reasoning about knowledge. An overview, Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge, 1986; 1-17.HALPERN J. Y., VARDI M. Y. , The complexity of reasoning about knowledge and time: synchronous systems, Research Report RJ 6097, San Jose, 1988.HALPERN J. Y. , VARDI M. Y. , The complexity of reasoning about knowledge and time, I: lower bounds, Journal of Computer and System Sciences, 1989; 38(1): 195-237.HALPERN J. Y. , MOSES Y. A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, 1992; 54: 319-379.HALPERN J. Y., VAN DER MEYDEN R., VARDI M. Y., Complete axiomatozations for reasonong about knowledge and time, SIAM Journal on Computing, 2004; 33(3) : 674-703.HINTIKKA J., Knowledge and belief, New York, 1962.HINTIKKA J., Different Constructions in Terms of the Basic Epistemological Verbs, The Intention of Intentionality and Other New Models for Modalities, Dordrecht, 1975.HIRSCH R. , HODKINSON I., KURUCZ A., On modal logics between K x K x K and S5 x S5 x S5. Journal of Symbolic Logic, 2002; 67: 221-234.Ho D. N., Reasoning about rational, but not logically omniscient agents. Journal of Logic and Computation, 1997; 7(5) : 633-648.Ho D. N., On the epistemic foundations of agent theories, w: M. P. Singh, A. S. Rao, M. J. Wooldridge (eds.) , Intelligent Agents IV. Proceedings of ATAL-97, Lecture Notes in Artificial Intelligence, 1998; 1365: 275-279.Ho D. N. Knowledge, Logical Omniscience, and Resource¬ -bounded Reasoning, http://www.ist.cmu.ac.th/intech/paper/InTech0262.pdf.VAN DER HOEK W. MEYER J. J., TREUR J., Formal Semantics of Temporal Epistemic Reflection, w: L. Fribourg, F. Turini (eds.) , Logic Program Sytnthesis ans Transformation-Meta-Programming in Logic, Proceedings of 4th International Workshop on Meta-Programming in Logic, Lecture Notes in Computer Science, 1994; 883: 332-352.VAN DER HOEK W. , WOOLDRIDGE M., Cooperation, Knowledge and Time: Aletrnating-time Temporal epistemic Logic and its Applications, Studia Logica, 2003; 75 (1) : 125-157.HOWKING S., PENROSE R. , Natura czasu i przestrzeni, Poznań, 1998.IRANI K. D., Is Truth a Condition of Knowledge ?, Memorias deI XIII Congresso Internacional de Filosofia, 1964; 5: 491-497.INDRZEJCZAK A., Hybrydowe systemy dedukcyjne w logikach modalnych, Łódź, 2006.ISODA E., Kripke Bundle Semantics and C-Set Semantics, Studia Logica: An International Journal for Symbolic Logic, 1997; 58(3) : 395-401.JAMROGA W. , Using Multiple Models of Reality: On Agents who Know how to Play Safer, rozprawa doktorska, Twente, 2004.JORDAN Z., O logicznym determinizmie, Studia Logica, 1963; 14(1) : 59-93.KAMP J. A. W., Tense Logic and the Theory of Linear Order, rozprawa doktorska, Los Angeles, 1968.KAPLAN M., It 's Not What You Know That Counts, The Journal of Philosophy, 1985; 7: 350-363.KARPIENKO A. S., Fatalizm i sluczajność buduszczewo: łogiczeskij analiz, Moskwa, 1990.KATARZYNIAK R. P., Gruntowanie modalnego języka komunikacji w systemach agentowych, Problemy współczesnej nauki. Teoria i zastosowania, Warszawa, 2007.KLIMEK R., Wprowadzenie do logiki temporalnej, Kraków, 1999.KNEALE M. H., Implication in the Fourth Century B. C. , Mind, 1935; 44: 485-495.KNEALE M. H., Logical and metaphysical necessity, Proceedings of the Aristotelian Society, 1938; 38: 253-268.KRACHT M., WOLTER F., Properties of independly axiomatizable bimodal logics, Journal of Symbolic Logic, 1991; 56( 4: 1469-1485.KRIPKE S., Semantical Considerations on Modal Logic, Acta Philosophica Fenica, 1963; 16: 83-94.KONOLIGE K., Belief and incompleteness, SRI Artificial Intelligence Note 319, SRI International, Menlo Park, 1984.KONOLIGE K., A Deductive Model of Bielief, Research notes in Artificial Intelligence, Menlo Park, 1986.KOTARBIŃSKI T., Wybór pism, t. 1, Warszawa, 1957.KOTARBIŃSKI T., The problem of the existence of the future, The Polish Review, 1968; 13(3) : 7-22.KURUCZ A., Combining modal logics, w: J. F. A. K. van Benthem, P. Blackburn, F. Wolter (eds.) , Handbook of Modal Logic, Studies in Logic and Practical Reasoning, 2007; 3: 869-924.Lechniak M., Przekonania i zmiana przekonań. Analiza logiczna i filozoficzna, Lublin, 2011.LEMMON E. J. , An Introduction To Modal Logic, American Philosophical Quaterly, Oxford, 1977.LEMOS N., An Introduction to the Theory of Knowledge, Cambridge, 2007.LENZEN W., Recent work in epistemic logic, Acta Philosophica Fennica, 1978; 30: 1-219.LEWIS C. L, LANGFORD C. H., Symbolic Logic, New York and London, 1932.LEWIS D., Convention. A Philosophical Study, Boston, 1969.LEVESQUE H., A logic of implicit and explicit belief, Proceedings of the National Conference on Artificial Intelligence, 1984: 198-202.Łoś J., Podstawy Analizy Metodologicznej Kanonów Milla, Annales Universitatis Mariae Curie-Sklodowska, Sekcja F, 1948; 2(5) : 269-301.Łoś J., Logiki wielowartościowe a formalizacja funkcji intensjonalnych, Kwartalnik Filozoficzny, 1948; 17 (1-2) : 59-78.ŁUKASIEWICZ J., Aristotle's Syllogistic from the Standpoint of Modern Logic, 2nd edition, Oxford, 1957.ŁUKASIEWICZ J., On determinism, w: Selected Works, L. Borkowski, Warszawa, 1970.MARCISZEWSKI W., Podstawy logicznej teorii przekonań, Warszawa, 1972.MARCISZEWSKI W. , Logika formalna. Zarys encyklopedyczny z zastosowaniami do informatyki i lingwistyki, 'Warszawa, 1987.MARCISZEWSKI W., Mała Encyklopedia Logiki, Wrocław-Warszawa-Kraków, 1988.MATES B. Stoic Logic, Berkley, 1953.MCARTUR R. P., Factuality and modality in the future tense, Nous, 1974; 8(3) : 283-288.MCARTUR R. P., Tense Logic, Dordrecht, 1979.MCCALL S., Temporal flux, American Philosophical Quaterly, 1966; 3(4) : 270-281.MCCARTHY, J. M., HAYES P. J., Some Philosophical Problems From the Standpoint of Artificial Intelligence, Machine lntelligence, 1969; 443-502.McKINSEY J. C. C., TARSKI A., The algebra topology, Annals of Mathematics, 1944; 45: 141-191 .McTAGGART J. M. E., The unreality of time, Mind, 1908; 17: 457-473.VAN DER MEYDEN R. , Axioms for knowledge and time in distributed systems with perfect recall, Proceedings of the 9th lEE Symposium on Logic in Computer Science, 1994; 448-457.VAN DER MEYDEN R. , WONG K., Complete Axiomatization for Reasoning about Knowledge and Branching Time, Studia Logica 2003; 75(1): 93-123.MEYE