Satoshi Tojo Professor
School of Information Science（Department of Information Science・Artificial Intelligence）

■Degrees

B.E., M.E. and Ph.D.from the University of Tokyo (1981,1983,1995)

■Professional Career

Mitsubishi Research Institute (1983), Associate Professor of School of Information Science at JAIST (1995-2000)

■Specialties

Formal Semantics of Natural Language, Logic of Knowledge and Belief in Artificial Intelligence

■Research Interests

Grammar acquisition, grammar change and evolution
Why we human beings could acquire context-free grammar? Via computer simulation, we try to explain such hypotheses as efficient ambiguity resolution or innate language acquiring device.
Logic of Knowledge, Belief, Time and Negation
Knowledg and belief (uncertain knowledge) are represented by modal logic, as well as temporal logic. Considering those required axioms for each modal operator, we formalize the appropriate results of belief revision or agent communication. In addition to formal semantics of natural language, we apply the idea to the legal reasoining and the inspection of code soundness.
Grammatical analysis of music
A piece of music has a tree structure which includes long distance dependency. We apply the Generative Theory of Tonal Music and other linguistic knowledge, and analyze the stable structure of music scores.

■Publications

◇Published Papers

A Philosophy-driven Entity Classification and Enrichmentfor Ontology Mapping，Nwe Ni Tun, Jin Song Dong, Satoshi Tojo，Expert Systems: The Journal of Knowledge Engineering
Melody Extrapolation in GTTM Approach，Masatoshi Hamanaka, Keiji Hirata, Satoshi Tojo，ICMC (International Computer Music Conference)，2009/08
Interactive Gttm Analyzer，Masatoshi Hamanaka, Satoshi Tojo，ISMIR 2009 (10th International Society for Music Information Retrieval Conference)，2009/10

Display All

◇Lectures and Presentations

Is Grammar Theory Possible for Music，Satoshi Tojo，CIRMMT seminar series, McGill University，Montreal, Canada，2009/12/11
How Compositionality Emerges in Human Language，Satoshi Tojo，LENLS 2008，Asahikawa, Japan，2008/06/10
How possible world has contributed to formal semantics，Satoshi Tojo，Paclic 2007，Seoul, Korea，Nov, 2007