Year: 2024
Type: article
Abstract: We study intransitive temporal multi-agent logic with agents’ multi-valuations for formulas \nletters and relational models representing reliable states. This logic is defined in a semantic as a set of \nformulas which are true at linear models with multi-valued variables. We propose a background for such \napproach and a technique for computation truth values of formulas. Main results concerns solvability \nproblem, we prove that the resulting logic is decidable
Authors: Kiyatkin, Vladimir R., Rybakov, Vladimir V., Кияткин, Владимир Р., Рыбаков, Владимир В.
Institution: Siberian Federal University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7019969236
FWCI:
Cites:
Cited by:
Related to: