Automated Reasoning Researches

From Dataflow Computing Research to Abductive Procedure Research

Based on several technical contacts with the late Professor Park, and Dr Matthews at University of Warwick, UK, being supported by Yamada Science Foundation (1985/86), IJCAII Funds (1987), the British Council (1987), JSPS/RS (1989, 1992) and so on, I had been engaged in the research "dataflow and logic languages".

In abductive logic programming paradigm following Peirce's ideas, I had been concerned with an abduction research, supported by the Ministry of Education, Science, Sports and Culture Grant-in-Aid Scientific Research (B) (1994-1996), the Royal Society/JSPS (1996) and the Telecommunications Advancement Foundation (1997). I have been studying abductive proof procedures and the constraint in abduction framework, as well as the semantics for general logic programs as theories in abduction. I have made several papers as the publications for the research, and a Japanese book.