The article discusses the problem of the unity of Ludwig Wittgenstein＇s philosophy. It is demonstrated that Wittgenstein applied two methods of study. Changes in his philosophy are correlated with modifications in hi...The article discusses the problem of the unity of Ludwig Wittgenstein＇s philosophy. It is demonstrated that Wittgenstein applied two methods of study. Changes in his philosophy are correlated with modifications in his method of thinking and investigation. In his Tractatus Logico-Philosophicus, the only correct method is logical proposition analysis. In the early 1930s, he transformed his philosophy into a phenomenological description of experience, defining its aim as the development of phenomenological language. After 1933, Wittgenstein recognised the grammatical dimension of language and created tools of grammatical analysis. He introduced the notions of language-games and life forms. His philosophy turned into morphology and a description of human language practice.展开更多
In this paper, the authors outline a formal system for reasoning about agents＇ knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents＇ actions involve an e...In this paper, the authors outline a formal system for reasoning about agents＇ knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents＇ actions involve an exchange of information with other agents in the game. The authors＇ system is modeled using Coq-a formal proof management system. To the best of the authors＂ knowledge, there are no papers in which knowledge games are considered using a Coq proof assistant. The authors use the dynamic logic of common knowledge, where they particularly focus on the epistemic consequences of epistemic actions carried out by agents. The authors observe the changes in the system that result from such actions. Those changes that can occur in such a system that are of interest to the authors take the form of agents＇ knowledge about the state of the system, knowledge about other agents＇ knowledge, higher-order agents＇ knowledge and so on, up to common knowledge. Besides an axiomatic ofepistemic logic, the authors use a known axiomatization of card games that is extended with some new axioms that are required for the authors＇ approach. Due to a deficit in implementations grounded in theory that enable players to compute their knowledge in any state of the game, the authors show how the authors＇ approach can be used for these purposes.展开更多
The fuzzy logic, which is a technique of the artificial intelligence, rises as a result of studies based on simulating the human brain. It is a type of logic that recognizes more than simple true and false values. Lin...The fuzzy logic, which is a technique of the artificial intelligence, rises as a result of studies based on simulating the human brain. It is a type of logic that recognizes more than simple true and false values. Linguistic variables can be represented with degrees of truthfulness and falsehood by using fuzzy logic. Like other artificial intelligence techniques, the fuzzy logic is used in many different areas. In computer game industry, it can be used to develop artificial intelligence based games. In this paper, the author discusses about usage of the fuzzy logic technique in computer games and developed a basic game based on the fuzzy logic. In this game, a computer controlled character can behave differently according to changing situations.展开更多
文摘The article discusses the problem of the unity of Ludwig Wittgenstein＇s philosophy. It is demonstrated that Wittgenstein applied two methods of study. Changes in his philosophy are correlated with modifications in his method of thinking and investigation. In his Tractatus Logico-Philosophicus, the only correct method is logical proposition analysis. In the early 1930s, he transformed his philosophy into a phenomenological description of experience, defining its aim as the development of phenomenological language. After 1933, Wittgenstein recognised the grammatical dimension of language and created tools of grammatical analysis. He introduced the notions of language-games and life forms. His philosophy turned into morphology and a description of human language practice.
文摘In this paper, the authors outline a formal system for reasoning about agents＇ knowledge in knowledge games-a special type of multi-agent system. Knowledge games are card games where the agents＇ actions involve an exchange of information with other agents in the game. The authors＇ system is modeled using Coq-a formal proof management system. To the best of the authors＂ knowledge, there are no papers in which knowledge games are considered using a Coq proof assistant. The authors use the dynamic logic of common knowledge, where they particularly focus on the epistemic consequences of epistemic actions carried out by agents. The authors observe the changes in the system that result from such actions. Those changes that can occur in such a system that are of interest to the authors take the form of agents＇ knowledge about the state of the system, knowledge about other agents＇ knowledge, higher-order agents＇ knowledge and so on, up to common knowledge. Besides an axiomatic ofepistemic logic, the authors use a known axiomatization of card games that is extended with some new axioms that are required for the authors＇ approach. Due to a deficit in implementations grounded in theory that enable players to compute their knowledge in any state of the game, the authors show how the authors＇ approach can be used for these purposes.
文摘The fuzzy logic, which is a technique of the artificial intelligence, rises as a result of studies based on simulating the human brain. It is a type of logic that recognizes more than simple true and false values. Linguistic variables can be represented with degrees of truthfulness and falsehood by using fuzzy logic. Like other artificial intelligence techniques, the fuzzy logic is used in many different areas. In computer game industry, it can be used to develop artificial intelligence based games. In this paper, the author discusses about usage of the fuzzy logic technique in computer games and developed a basic game based on the fuzzy logic. In this game, a computer controlled character can behave differently according to changing situations.
