Title :
Cognitive modelling using a logic-based algebra
Author_Institution :
Dept. of Comput., Macquarie Univ., Sydney, NSW, Australia
Abstract :
We give an approach to cognitive modelling which allows for richer expression than the one based simply on the firing of sets of neurons. The object language of the approach is first-order logic augmented by operations of an algebra, PSEN. Some operations useful for this kind of modelling are postulated combination, comparison and inhibition of sets of sentences. It is shown how these operations can be realised using PSEN.
Keywords :
cognitive systems; neural nets; process algebra; PSEN; cognitive modelling; first-order logic; logic-based algebra; Algebra; Brain; Fires; Joining processes; Logic functions; Monitoring; Neural pathways; Neurons;
Conference_Titel :
Cognitive Informatics, 2005. (ICCI 2005). Fourth IEEE Conference on
Print_ISBN :
0-7803-9136-5
DOI :
10.1109/COGINF.2005.1532613
