{"type":"ScholarlyArticle","title":"Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System","authors":[{"name":"Pierre Basso","slug":"pierre-basso","given":"Pierre","family":"Basso","affiliation":""}],"abstract":"The purpose of Conditional Causal Logic (CCL) is to constitute a formal theory of the process by which the representation of the world emerges in a cognitive system. CCL is presented as a two-level language; this article concerns the first, called the u-language. This u-language is a formal theory for the determination process by which a cognitive system constructs its objective knowledge. The internal dynamics of this construction do not belong to the world of the u-language, but to the £-language which constitutes the second level of CCL. This £-language is still being developed and it will only be referred to briefly in this article. The u-language in itself offers some original features such as the notions of identity and distinction by determination and also a type of negation, functional negation, which has no equivalent in other models of conventional logic or nonstandard 'logic. In conclusion, some words will be said about design of a connexionist system founded on this theory of u-language.","doi":null,"url":"https://ijcai.org/proceedings/1993/116","pdf":"https://ijcai.org/proceedings/1993/0116.pdf","markdown":"https://ijcai.org/proceedings/1993/116.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/116","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":116,"pages":{"first":845,"last":850},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}