Return to search

Predicate Calculus for Perception-led Automata

Artificial Intelligence is a fuzzy concept. My role, as I see it, is to put
down a working definition, a criterion, and a set of assumptions to set
up equations for a workable methodology. This research introduces the
notion of Artificial Intelligent Agency, denoting the application of Artificial
General Intelligence. The problem being handled by mathematics and
logic, and only thereafter semantics, is Self-Supervised Machine Learning
(SSML) towards Intuitive Vehicle Health Management, in the domain of
cybernetic-physical science.
The present work stems from a broader engagement with a major multinational
automotive OEM, where Intelligent Vehicle Health Management
will dynamically choose suitable variants only to realise predefined variation
points. Physics-based models infer properties of a model of the system,
not properties of the implemented system itself. The validity of their
inference depends on the models’ degree of fidelity, which is always an approximate
localised engineering abstraction. In sum, people are not very
good at establishing causality.
To deduce new truths from implicit patterns in the data about the physical
processes that generate the data, the kernel of this transformative technology
is the intersystem architecture, occurring in-between and involving the physical and engineered system and the construct thereof, through the communication core at their interface. In this thesis it is shown that the
most practicable way to establish causality is by transforming application models into actual implementation. The hypothesis being that the ideal source of training data for SSML, is an isomorphic monoid of indexical facts, trace-preserving events of natural kind.

Identiferoai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/19905
Date January 2023
CreatorsByrne, Thomas J.
ContributorsNeagu, Daniel, Campean, I. Felician
PublisherUniversity of Bradford, School of Engineering. Faculty of Engineering and Digital Technologies
Source SetsBradford Scholars
LanguageEnglish
Detected LanguageEnglish
TypeThesis, doctoral, PhD
Rights<a rel="license" href="http://creativecommons.org/licenses/by-nc-nd/3.0/"><img alt="Creative Commons License" style="border-width:0" src="http://i.creativecommons.org/l/by-nc-nd/3.0/88x31.png" /></a><br />The University of Bradford theses are licenced under a <a rel="license" href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Licence</a>.

Page generated in 0.0021 seconds