@inproceedings{e7d0daa059334d91b485639046400a22,
title = "Dynamical logic driven by classified inferences including abduction",
abstract = "We propose a dynamical model of formal logic which realizes a representation of logical inferences, deduction and induction. In addition, it also represents abduction which is classified by Peirce as the third inference following deduction and induction. The three types of inference are represented as transformations of a directed graph. The state of a relation between objects of the model fluctuates between the collective and the distinctive. In addition, the location of the relation in the sequence of the relation influences its state.",
keywords = "Abduction, Directed graph, Formal logic, Implication, Inference",
author = "Koji Sawa and Gunji, {Yukio Pegio}",
year = "2010",
month = dec,
day = "1",
doi = "10.1063/1.3527185",
language = "English",
isbn = "9780735408586",
series = "AIP Conference Proceedings",
pages = "52--59",
booktitle = "Computing Anticipatory Systems - CASYS'09 - Ninth International Conference",
note = "9th International Conference on Computing Anticipatory Systems, CASYS'09 ; Conference date: 03-08-2009 Through 08-08-2009",
}