本文へジャンプ

Language = Logic?, Intelligence = Computation?

TOJO Laboratory
Professor:TOJO Satoshi

E-mail:
[Research areas]Logic of Agent Communication
[Keywords]Logic, Language, Agent, Communication, Grammar, Music

Skills and background we are looking for in prospective students

Fundamental Discrete Mathematics (Logic, Algebra, Graph Theory, Set Theory), English, Programming

What you can expect to learn in this laboratory

  1. Philosophy of human intelligence: why can we think? Can computers simulate intelligence? In order to answer these questions, we need to get back to what is intelligence.
  2. Practical application of logic in AI
  3. Basic presentation and writing technique in English
  4. Advanced logic, mathematics, and programming
  5. Formal musicology

【Job category of graduates】Scientist, computer engineer, and other IT-related works

Research outline

Logic of Agent Communication: how can we formalize our knowledge and belief in logical forms? How can we formalize agent communication; or, how can each agent maintain the consistency of thought in her mind? In the following Figure. 1, we can find many issues of agent communication, such as:

  • Liar
  • Reliability of news source
  • Mutual belief
  • Pubiic/ private announcement
  • Communication channel

and so on.


Figure 1. Various Aspects of Agent Communication

Music as language: music and language are said to share one and the same origin. Then, we consider applying grammar theory to music, and try to find dependency in sequence of notes and to build a tree structure in music piece, as in Figure 2


Figure 2. Tree Structure in Music

Key publications

  1. Implementing A Generating Theory of Tonal Music, Journal of New Music Research, Vol.35, No.4, pp.249-277, 2007
  2. Teaching modallogic from linear algebraic viewpoints,Journal of Logics and Their Applications,4,1,2017
  3. Dynamic Logic of Belief Change in Legal Judgments, Journal of Artificial Intelligence and Law, vol.26, 2018

Equipment

Machine environment is supported by JAIST Research Center for Advanced Computing Infrastructure

Teaching policy

(1) Set up your own mile stones
(2) Stop and think at each mathematical formula in reading a paper
(3) Read and learn first, if you need to write a paper.
(4) Learn orthography

[Website] URL:http://www.jaist.ac.jp/is/labs/tojo-lab/

PageTop